A proposed approach for safety management in medical software design

Journal of Medical Systems

Volumn 37, Issue 1, 2013, Pages

  Rafeh, Reza ^a  

^a ARAK UNIVERSITY   (Iran)

Author keywords

Hazard; Medical software; Safety; Software development

Indexed keywords

ARTICLE; CHANGE MANAGEMENT; COMPUTER PROGRAM; COMPUTER SECURITY; COMPUTER SYSTEM; DISASTER PLANNING; EQUIPMENT DESIGN; HAZARD ASSESSMENT; HUMAN; MEDICAL INFORMATION SYSTEM; PREVENTION; RISK ASSESSMENT; SAFETY; HEALTH SERVICE; PROCEDURES;

HEALTH SERVICES ADMINISTRATION; HUMANS; SAFETY MANAGEMENT; SOFTWARE DESIGN;

EID: 84872104674     PISSN: 01485598     EISSN: 1573689X     Source Type: Journal    
DOI: 10.1007/s10916-012-9925-0     Document Type: Article

References (20)

1. Slagle, J., and Shankar, S., Theorem proving. John Wiley and Sons Ltd, Chichester, 2003.
2. Baier, C. and Katoen, J., Principles of model checking. MIT Press: London, England; Cambridge, 2008.
3. Leucker, M., Checking and enforcing safety: Runtime verification and runtime reflection. ERCIM News. Vol. 75, pp. 35-36. Sophia Antipolis Cedex, France: ERCIM EEIG, 2008.
4. Smetsers, S. and Eekelen, M., LaQuSo: Using formal methods for analysis, verification and improvement of safety-critical software. ERCIM News. Vol. 75, pp. 36-37. Sophia Antipolis Cedex, France: ERCIM EEIG, 2008
5. Fischmeister, S., and Azim, A design choices for high-confidence distributed real-time software. Leveraging Appl. Formal Methods, Verification, Validation, Lect. Notes. Comput. Sci. 6416:97-111, 2010. Springer.
6. Mery, D., and Singh, N. K., Trustable formal specification for software certification. Leveraging Appl. Formal Methods, Verification, Validation, Lect. Notes. Comput. Sci. 6416:312-326, 2010. Springer.
7. Sommerville, I., Software engineering, 8th edition. Pearson Education, China, 2007.
8. Babamir, S. M. and Borhani, M., Formal verification of medical monitoring software using Z language: A representative sample. J. Med. Syst. Springer, doi: 10.1007/s10916-011-9739-5, 2011.
9. Gabriele, S. and Werner, W., Practical ways of improving product safety in industry. Improvements in System Safety. no. 6:177-193, Springer, doi: 10.1007/978-1-84800-100-8-11, 2008.
10. Firesmith, D. G., Engineering safety- and security-related requirements: Tutorial. In: 15" IEEE International Requirements Engineering Confencee, New Delhi, India, 2007.
11. Firesmith, D. G., Engineering safety-related requirements for software-intensive systems: Tutorial. In: 27th International Conference on Software Engineering (ICSE'2005) in, Louis, Missouri, USA, 2005.
12. Tucker, S. and Halbert, M., Risk assessment for M42 active traffic management. Dev.Risk-Based Approaches Saf. no. 2, pp. 25-45. Springer, doi: 10.1007/1-84628-447-3-2, 2006.
13. Ericson, C. A., Hazard analysis techniques for system safety. Wiley-Interscience, Hoboken, 2005.
14. Swarup, M. B., and Ramaiah, P. S., An approach to modeling software safety in safety-critical systems. J. Comput. Sci. 5 (4):311-322, 2009.
15. Sohn, S., and Seong, P., A comprative study of formal methods for safety critical software in nuclear power plant. J. Korean Nucl. Soc 32(6):537-548, 2000.
16. Spivey, J. M., The Z notation: A reference manual, 2nd edition. Prentice Hall, Oxford, 2001.
17. National Aeronautics and Space Administration, NASA software safety guidebook, NASA-GB-8719.13B. NASA, USA, 2004.
18. Gahl, J. D., DijKstra, J. E., and Hoare, C. A. R., Notes on structured programming. Academic Press London, London, 1972.
19. Patton, R., Software testing. Sams, Indianapolis, 2001.
20. Office of Government Commerce, Intruduction to ITIL. TSO, London, 2006.