Computer-controlled systems (3rd ed.)
Computer-controlled systems (3rd ed.)
Real-Time Systems: Design Principles for Distributed Embedded Applications
Real-Time Systems: Design Principles for Distributed Embedded Applications
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications
What's Ahead for Embedded Software?
Computer
Giotto: A Time-Triggered Language for Embedded Programming
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Generating embedded software from hierarchical hybrid models
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
On task schedulability in real-time control systems
RTSS '96 Proceedings of the 17th IEEE Real-Time Systems Symposium
Dispatch Sequences for Embedded Control Models
RTAS '05 Proceedings of the 11th IEEE Real Time on Embedded Technology and Applications Symposium
Quantifying the Gap between Embedded Control Models and Time-Triggered Implementations
RTSS '05 Proceedings of the 26th IEEE International Real-Time Systems Symposium
Survey Invariant representations of discrete-time periodic systems
Automatica (Journal of IFAC)
Communications of the ACM - Security in the Browser
Time-Triggered Implementations of Dynamic Controllers
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on CAPA'09, Special Section on WHS'09, and Special Section VCPSS' 09
Control-quality driven design of cyber-physical systems with robustness guarantees
Proceedings of the Conference on Design, Automation and Test in Europe
Hi-index | 0.00 |
Bridging the gap between model-based design and platform-based implementation is one of the critical challenges for embedded software systems.In the context of embedded control systems that interact with an environment, a variety of errors due to quantization, delays, and scheduling policies may generate executable code that does not faithfully implement the model-based design. In this paper, we show that the performance gap between the model-level semantics of proportional-integral-derivative (PID) controllers and their implementation-level semantics can be rigorously quantified if the controller implementation is executed on a predictable time-triggered architecture. Our technical approach uses lifting techniques for periodic, time-varying linear systems in order to compute the exact error between the model semantics and the execution semantics. Explicitly computing the impact of the implementation on overall system performance allows us to compare and partially order different implementations with various scheduling or timing characteristics.