Overhead-Aware Compositional Analysis of Real-Time Systems
Over the past decade, interface-based compositional schedulability analysis has emerged as an effective method for guaranteeing real-time properties in complex systems. Several interfaces and...
View ArticleController Synthesis for Autonomous Systems Interacting With Human Operators
We propose an approach to synthesize control protocols for autonomous systems that account for uncertainties and imperfections in interactions with human operators. As an illustrative example, we...
View ArticleA Data-Driven Behavior Modeling and Analysis Framework for Diabetic Patients...
About 30%-40% of Type 1 Diabetes (T1D) patients in the United States use insulin pumps. Current insulin infusion systems require users to manually input meal carb count and approve or modify the...
View ArticleRequirement Engineering for Functional Alarm System for Interoperable Medical...
This paper addresses the problem of high-assurance operation for medical cyber-physical systems built from interoperable medical devices. Such systems are diferent from most cyber-physical systems due...
View ArticleReal-Time Multi-Core Virtual Machine Scheduling in Xen
Recent years have witnessed two major trends in the development of complex real-time embedded systems. First, to reduce cost and enhance flexibility, multiple systems are sharing common computing...
View ArticleVerified ROS-Based Deployment of Platform-Independent Control Systems
The paper considers the problem of model-based deployment of platform-independent control code on a specific platform. The approach is based on automatic generation of platform-specific glue code from...
View ArticlePlatform-Specific Code Generation from Platform-Independent Timed Models
Many safety-critical real-time embedded systems need to meet stringent timing constraints such as preserving delay bounds between input and output events. In model-based development, a system is often...
View ArticleDetecting Covert Timing Channels with Time-Deterministic Replay
This paper presents a mechanism called timedeterministic replay (TDR) that can reproduce the execution of a program, including its precise timing. Without TDR, reproducing the timing of an execution...
View ArticleFault Tolerance and the Five-Second Rule
We propose a new approach to fault tolerance that we call bounded-time recovery (BTR). BTR is intended for systems that need strong timeliness guarantees during normal operation but can tolerate short...
View ArticleMixed-Criticality Scheduling on Multiprocessors using Task Grouping
Real-time systems are increasingly running a mix of tasks with different criticality levels: for instance, unmanned aerial vehicle has multiple software functions with different safety criticality...
View ArticleRobust Localization Using Context-Aware Filtering
In this paper we develop a robot localization technique that incorporates discrete context measurements, in addition to standard continuous state measurements. Context measurements provide binary...
View ArticlePartitioned Scheduling of Multi-Modal Mixed-Criticality Real-Time Systems on...
Real-time systems are becoming increasingly complex. A modern car, for example, requires a multitude of control tasks, such as braking, active suspension, and collision avoidance. These tasks not only...
View ArticleAutomatic Verification of Linear Controller Software
We consider the problem of verification of software implementations of linear time-invariant controllers. Commonly, different implementations use different representations of the controller’s state,...
View ArticleA Causality Analysis Framework for Component-Based Real-Time Systems
We propose an approach to enhance the fault diagnosis in black-box component-based systems, in which only events on component interfaces are observable, and assume that causal dependencies between...
View ArticleA Hybrid Approach to Causality Analysis
In component-based safety-critical systems, when a system safety property is violated, it is necessary to analyze which components are the cause. Given a system execution trace that exhibits component...
View ArticleExecuting Model-Based Tests on Platform-Specific Implementations
Model-based testing of embedded real-time systems is challenging because platform-specific details are often abstracted away to make the models amenable to various analyses. Testing an implementation...
View ArticleFrom Requirements to Code: Model Based Development of a Medical Cyber...
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...
View ArticleRobust Estimation Using Context-Aware Filtering
This paper presents the context-aware filter, an estimation technique that incorporates context measurements, in addition to the regular continuous measurements. Context measurements provide binary...
View ArticleAn Intraoperative Glucose Control Benchmark for Formal Verification
Diabetes associated complications are affecting an increasingly large population of hospitalized patients. Since glucose physiology is significantly impacted by patient-specific parameters, it is...
View ArticleTowards Assurance for Plug & Play Medical Systems
Traditional safety-critical systems are designed and integrated by a systems integrator. The system integrator can asses the safety of the completed system before it is deployed. In medicine, there is...
View Article
