Model-based development of medical devices

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5775 LNCS, Issue , 2009, Pages 4-17

  Becker, Uwe ^a  

^a Architecture of Drägerwerk AG and Co KGaA   (Germany)

Author keywords

Design process; MDRE; Medical devices; Model driven analysis; Model driven design; Model driven safety analysis; Model driven test

Indexed keywords

DESIGN PROCESS; MDRE; MEDICAL DEVICES; MODEL-DRIVEN ANALYSIS; MODEL-DRIVEN DESIGN; MODEL-DRIVEN SAFETY ANALYSIS; MODEL-DRIVEN TEST;

DESIGN; SECURITY SYSTEMS;

SYSTEMS ANALYSIS;

EID: 70350440686     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04468-7_2     Document Type: Conference Paper

References (18)

1. Cepin, M., de Lemos, R., Mavko, B., Riddle, S., Saeed, A.: An Object-Based Approach to Modelling and Analysis of Failure Properties. In: Daniel, P. (ed.) Proceedings of the 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP 1997), September 1997, pp. 281-294. Springer, Berlin (1997)
2. Cepin, M., Riddle, S.: Object Modelling and Safety Analysis of Engineered Safety Features Actuation System, Technical Report TR ISAT 96/11 University of Newcastle upon Tyne (December 1996)
3. de Lemos, R., Saeed, A., Anderson, T.: On the Integration of Requirements Analysis and Safety Analysis for Safety-Critical Software, Department of Computing Science, University of Newcastle upon Tyne. Technical Report Series No. 630 (May 1998)
4. de Lemos, R., Saeed, A.: Validating Formal Verification using Safety Analysis Techniques, Computing Science, Technical Report Series, No. 668 (March 1999)
5. de Lemos, R., Saeed, A., Anderson, T.: On the Safety Analysis of Requirements Specifications. In: Maggioli, V. (ed.) Proceedings of the 13th International Conference on Computer Safety, Reliability and Security (SAFECOMP 1994), October 1994, pp. 217-227 (1994)
6. Heitemeyer, C., Kirby, J., Labaw, B., Archer, M., Bharadwaj, R.: Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications. IEEE Transactions on Software Engineering 24(11) (November 1998)
7. Holcombe, M., Ipate, F., Groundoudis, A.: Complete Functional Testing of Safety Critical Systems. In: Proceedings of the IFAC Workshop on Safety Reliabity in Emerging Control Technologies, November 1995, pp. 199-204. Pergamon Press, Oxford (1996)
8. Hussey, A.: HAZOP Analysis of Formal Models of Safety-Critical Interactive Systems. In: Koornneef, F., van der Meulen, M.J.P. (eds.) SAFECOMP 2000. LNCS, vol. 1943, pp. 371-381. Springer, Heidelberg (2000)
9. Ortmeier, F., Reif, W.: Failure-sensitive specification: A formal method for finding failure modes, Technical Report 3, Institut fuer Informatik, University Augsburg (2004)
10. Ortmeier, F., Reif, W.: Safety optimization: A combination of fault tree analysis and optimization techniques. In: Proceedings of the Conference on Dependable Systems and Networks (DSN 2004). IEEE Computer Society, Los Alamitos (2004)
11. Ortmeier, F., Schellhorn, G., Thums, A., Reif, W., Hering, B., Trappschuh, H.: Safety Analysis of the Height Control System for the Elbtunnel. In: Anderson, S., Bologna, S., Felici, M. (eds.) SAFECOMP 2002. LNCS, vol. 2434, pp. 296-308. Springer, Heidelberg (2002)
12. Ortmeier, F., Thums, A., Schellhorn, G., Reif, W.: Combining formal methods and safety analysis - the forMoSA approach. In: Ehrig, H., Damm, W., Desel, J., Grobe-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 474-493. Springer, Heidelberg (2004)
13. Saeed, A., de Lemos, R., Anderson, T.: An Approach for the Risk Analysis of Safety Specifications, In: Proceedings of the 9th Annual Conference on Computer Assurance (COMPASS 1994), pp. 209-221 (June 1994)
14. Saeed, A., de Lemos, R., Anderson, T.: Safety Analysis for Requirements Specifications: Methods and Techniques. In: Proceedings of the 15th International Conference on Computer Safety, Reliability and Security (SAFECOMP 1995), October 1995, pp. 27-41 (1995)
15. Telelogic, A.B.: Writing Effective User Requirements; Education Material
16. Thums, A., Ortmeier, F.: Formale Methoden und Sicherheitsanalyse, Technical Report, University Augsburg, Institut fuer Informatik (2002)
17. Thums, A., Schellhorn, G., Ortmeier, F., Reif, W.: Interactive verification of statecharts. In: Ehrig, H., Damm, W., Desel, J., Grobe-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 355-373. Springer, Heidelberg (2004)
18. Chan, W.: Model Checking Large Software Specifications. IEEE Transactions on Software Engineering 27(7), 498-520 (1998)