Towards verifiable deeply embedded systems

Authors:
Terry Tidwell;Christopher Gill
Affiliations:
CSE Department, Washington University, St. Louis, MO;CSE Department, Washington University, St. Louis, MO
Venue:
ACM SIGBED Review - Special issue on the RTSS forum on deeply embedded real-time computing
Year:
2008

Citing 8
Cited 0

A theory of timed automata

Theoretical Computer Science
Decidable integration graphs

Information and Computation
Evolving real-time systems using hierarchical scheduling and concurrency analysis

RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
CAMRIT: Control-based Adaptive Middleware for Real-time Image Transmission

RTAS '04 Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium
Compositional Real-Time Scheduling Framework

RTSS '04 Proceedings of the 25th IEEE International Real-Time Systems Symposium
Design and Performance of Configurable Endsystem Scheduling Mechanisms

RTAS '05 Proceedings of the 11th IEEE Real Time on Embedded Technology and Applications Symposium
An Interface Algebra for Real-Time Components

RTAS '06 Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium
Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems

EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software

Quantified Score

Hi-index	0.00

Visualization

Abstract

An important class of deeply embedded systems (DES) involves interlocking cyber-physical control loops, each with its own dynamics and correctness constraints. For instance, in medical systems which monitor a patient's vital signs and control drug infusion rates, multiple sensing and control systems may be implicitly coupled. These systems present new challenges for control theory, scheduling and verification. What is needed are platforms capable of precise monitoring and enforcement of diverse execution constraints, and techniques to verify system correctness.