Towards Verifiable Deeply Embedded Systems

Provided by: University of Vigo
Topic: Hardware
Format: PDF
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 are needed are platforms capable of precise monitoring and enforcement of diverse execution constraints, and techniques to verify system correctness.

Find By Topic