Refinement-Based Development of Software-Controlled Safety-Critical Active Medical Devices-Reference-Cited by-同舟云学术

Refinement-Based Development of Software-Controlled Safety-Critical Active Medical Devices

Published:2015 Issue: Volume: Page:120-132
ISSN:1865-1348
Container-title:Lecture Notes in Business Information Processing
language:
Short-container-title:

Author:

Mashkoor Atif,Biro Miklos,Dolgos Marton,Timar Peter

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-13251-8_8

Reference24 articles.

1. EU: Council Directive 93/42/EEC. Official Journal of the European Union, June 1993

2. EU: Directive 2007/47/EC of the European Parliament and of the Council. Official Journal of the European Union, September 2007

3. IEC 60601–1:2005: Medical electrical equipment Part 1: General requirements for basic safety and essential performance (2005)

4. IEC 62304:2006: Medical device software - Software life cycle processes (2006)

5. IEC 61508–3 Ed 2.0: Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 3: Software requirements (2010)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A systematic literature review of the use of formal methods in medical software systems;Journal of Software: Evolution and Process;2018-02-27

2. Model-Driven Re-engineering of a Pressure Sensing System: An Experience Report;Modelling Foundations and Applications;2018

3. Graceful Integration of Process Capability Improvement, Formal Modeling and Web Technology for Traceability;Communications in Computer and Information Science;2017

4. Refinement-based Validation of Event-B Specifications;Software & Systems Modeling;2016-02-08