Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications
IEEE Transactions on Software Engineering
Model Checking Large Software Specifications
IEEE Transactions on Software Engineering
HAZOP Analysis of Formal Models of Safety-Critical Interactive Systems
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Safety Analysis of the Height Control System for the Elbtunnel
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
On the Integration of Requirements Analysis and Safety Analysis for Safety-Critical Systems
On the Integration of Requirements Analysis and Safety Analysis for Safety-Critical Systems
Safety Optimization: A Combination of Fault Tree Analysis and Optimization Techniques
DSN '04 Proceedings of the 2004 International Conference on Dependable Systems and Networks
Arguing for software quality in an IEC 62304 compliant development process
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
| Hi-index | 0.00 |
Model-based development can offer many advantages compared to other techniques. This paper will demonstrate how models are used to develop safe systems in a medical devices company. The approach described uses a combination of model-driven analysis, model-driven design, model-driven test and model-driven safety analysis. Different approaches have been developed and followed in the past. The approach presented has been developed in an evolutionary manner and by combining approaches described in literature. It turned out to be well suited for the medical device domain and is considered to be a best practice approach. As such it is part of the development process that must be followed when developing new medical devices. The development process has to be defined in a written way and is checked by TÜV and FDA auditors on a yearly base. It is considered to be well above-average and thus may be adopted by other companies developing safety-relevant devices. During the audit process it is verified that the documentation of the process is as expected and that the actual development process is performed according to the defined process. This assures for companies adopting the approach that it is authenticated by daily practice and its use requires only modest overhead.