Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Keyword
-
- Medical Device Software and Systems (9)
- Model-based development (4)
- Composition of Real-Time Systems (3)
- Medical cyber-physical systems (3)
- Code generation (2)
-
- Verification (2)
- AADL (1)
- Alert service (1)
- Architectural Modeling of Embedded Systems (1)
- Assurance Cases (1)
- Assurance cases (1)
- Attack-resilient control systems (1)
- Autonomous systems (1)
- Blood glucose control (1)
- Border Gateway Protocol (1)
- Cache-aware (1)
- Certification (1)
- Closed-Loop Systems (1)
- Closed-loop physiological control (1)
- Closed-loop verification (1)
- Collaboration (1)
- Compositional analysis (1)
- Compositional schedulability analysis (1)
- Compositional verification (1)
- Cyber-physical system security (1)
- Cyber-physical systems (1)
- Data-driven modeling and analysis (1)
- Data-driven verification (1)
- Defense strategies (1)
- Design (1)
- File Type
Articles 31 - 33 of 33
Full-Text Articles in Physical Sciences and Mathematics
Compositional Analysis Of Multi-Mode Systems, Linh T.X. Phan, Insup Lee, Oleg Sokolsky
Compositional Analysis Of Multi-Mode Systems, Linh T.X. Phan, Insup Lee, Oleg Sokolsky
Oleg Sokolsky
The paper presents a model for multi-mode realtime applications and develops new techniques for the compositional analysis of systems that contain multiple such applications. An algorithm for constructing an interface for a single multimode application is presented. Then, a method for computing an interface of a composite application is presented, which uses only the interfaces of constituent applications. A case study of an adaptive streaming system demonstrates that multi-mode analysis offers more precise results compared to a unimodal worst-case analysis.
Safety-Critical Medical Device Development Using The Upp2sf Model, Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam
Safety-Critical Medical Device Development Using The Upp2sf Model, Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam
Oleg Sokolsky
Software-based control of life-critical embedded systems has become increasingly complex, and to a large extent has come to determine the safety of the human being. For example, implantable cardiac pacemakers have over 80,000 lines of code which are responsible for maintaining the heart within safe operating limits. As firmware-related recalls accounted for over 41% of the 600,000 devices recalled in the last decade, there is a need for rigorous model-driven design tools to generate verified code from verified software models. To this effect we have developed the UPP2SF model-translation tool, which facilitates automatic conversion of verified models (in UPPAAL) to …
A Safety Argument Strategy For Pca Closed-Loop Systems: A Preliminary Proposal, Lu Feng, Andrew L. King, Sanjian Chen, Anaheed Ayoub, Junkil Park, Nicola Bezzo, Oleg Sokolsky, Insup Lee
A Safety Argument Strategy For Pca Closed-Loop Systems: A Preliminary Proposal, Lu Feng, Andrew L. King, Sanjian Chen, Anaheed Ayoub, Junkil Park, Nicola Bezzo, Oleg Sokolsky, Insup Lee
Oleg Sokolsky
The emerging network-enabled medical devices impose new challenges for the safety assurance of medical cyber-physical systems (MCPS). In this paper, we present a case study of building a high-level safety argument for a patient-controlled analgesia (PCA) closed-loop system, with the purpose of exploring potential methodologies for assuring the safety of MCPS.