Closed-loop verification of medical devices with model abstraction and refinement-Reference-Cited by-同舟云学术

Closed-loop verification of medical devices with model abstraction and refinement

Published:2013-09-24 Issue:2 Volume:16 Page:191-213
ISSN:1433-2779
Container-title:International Journal on Software Tools for Technology Transfer
language:en
Short-container-title:Int J Softw Tools Technol Transfer

Author:

Jiang Zhihao,Pajic Miroslav,Alur Rajeev,Mangharam Rahul

Publisher

Springer Science and Business Media LLC

Subject

Information Systems,Software

Link

http://link.springer.com/content/pdf/10.1007/s10009-013-0289-7.pdf

Reference31 articles.

1. List of Device Recalls, U.S. Food and Drug Admin., (last visited Jul. 19, 2010)

2. Sandler, K., Ohrstrom, L., Moy, L., McVay R.: Killed by Code: Software Transparency in Implantable Medical Devices. Software Freedom Law Center (2010)

3. AUTOSAR. http://www.autosar.org/

4. AVSI. http://www.avsi.aero

5. Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126, 183–235 (1994)

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

1. Human-heart-model for hardware-in-the-loop testing of pacemakers;Computers in Biology and Medicine;2024-09

2. Model checking-based decision support system for fault management: A comprehensive framework and application in electric power systems;Expert Systems with Applications;2024-08

3. Cycle encoding-based parameter synthesis for timed automata safety;Acta Informatica;2024-07-30

4. Semi-formal and formal specification of a telerehabilitation system for chronic respiratory diseases: methodology and feedback;2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW);2023-10-09

5. Formal verification of a telerehabilitation system through an abstraction and refinement approach using Uppaal;IET Software;2023-06-22