From Requirements to Code: Model Based Development of a Medical Cyber Physical System

The advanced use of technology in medical devices has improved the way health care is delivered to patients. Unfortunately, the increased complexity of modern medical devices poses challenges for development, assurance, and regulatory approval. In an effort to improve the safety of advanced medical devices, organizations such as FDA have supported exploration of techniques to aid in the development and regulatory approval of such systems. In an ongoing research project, our aim is to provide effective development techniques and exemplars of system development artifacts that demonstrate state of the art development techniques.

[1]  Gregory Gay,et al.  On the Danger of Coverage Directed Test Case Generation , 2012, FASE.

[2]  Lian Duan,et al.  Modeling and requirements on the physical side of cyber-physical systems , 2013, 2013 2nd International Workshop on the Twin Peaks of Requirements and Architecture (TwinPeaks).

[3]  Sanjai Rayadurgam,et al.  Modes, features, and state-based modeling for clarity and flexibility , 2013, 2013 5th International Workshop on Modeling in Software Engineering (MiSE).

[4]  John C. Knight,et al.  Safety critical systems: challenges and directions , 2002, Proceedings of the 24th International Conference on Software Engineering. ICSE 2002.

[5]  Darren D. Cofer,et al.  Software model checking takes off , 2010, Commun. ACM.

[6]  Anthony Hall,et al.  Will it work? [Requirements engineering] , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.

[7]  Sanjai Rayadurgam,et al.  Auto-generating Test Sequences Using Model Checkers: A Case Study , 2003, FATES.

[8]  Lui Sha,et al.  Compositional Verification of Architectural Models , 2012, NASA Formal Methods.

[9]  Lui Sha,et al.  Cyber-Physical Systems: A New Frontier , 2008, 2008 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (sutc 2008).

[10]  Bashar Nuseibeh,et al.  Weaving Together Requirements and Architectures , 2001, Computer.

[11]  Kim G. Larsen,et al.  A Tutorial on Uppaal , 2004, SFM.

[12]  S.P. Miller,et al.  Mode confusion analysis of a flight guidance system using formal methods , 2003, Digital Avionics Systems Conference, 2003. DASC '03. The 22nd.

[13]  Insup Lee,et al.  Model-Driven Safety Analysis of Closed-Loop Medical Systems , 2014, IEEE Transactions on Industrial Informatics.

[14]  Sanjai Rayadurgam,et al.  Your "What" Is My "How": Iteration and Hierarchy in System Design , 2013, IEEE Software.

[15]  Anitha Murugesan,et al.  Using Models to Address Challenges in Specifying Requirements for Medical Cyber-Physical Systems ∗ , 2013 .

[16]  Michael W. Whalen,et al.  Proving the Shalls Early Validation of Requirements Through Formal Methods , 2004 .

[17]  Michael Jackson,et al.  A Reference Model for Requirements and Specifications , 2000, IEEE Softw..

[18]  Sanjai Rayadurgam,et al.  Structuring simulink models for verification and reuse , 2014, MiSE 2014.

[19]  Sanjai Rayadurgam,et al.  Compositional verification of a medical device system , 2013, HILT '13.

[20]  Insup Lee,et al.  Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety , 2014, 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

[21]  Yi Zhang,et al.  Safety-assured development of the GPCA infusion pump software , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

[22]  L. McMillanmcmillan.  Circular Compositional Reasoning about Liveness , 1999 .

[23]  Jon Damon Reese,et al.  Analyzing Software Specifications for Mode Confusion Potential , 1998 .