Handbook of theoretical computer science (vol. B)
Real-Time Systems: Design Principles for Distributed Embedded Applications
Real-Time Systems: Design Principles for Distributed Embedded Applications
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
Scheduling for Embedded Real-Time Systems
IEEE Design & Test
Interface Theories for Component-Based Design
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
A Framework for Scheduling in Safety-Critical Embedded Control Systems
RTCSA '99 Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications
Control tasks delay reduction under static and dynamic scheduling policies
RTCSA '00 Proceedings of the Seventh International Conference on Real-Time Systems and Applications
Information and Computation
Compositional Real-Time Scheduling Framework
RTSS '04 Proceedings of the 25th IEEE International Real-Time Systems Symposium
RTComposer: a framework for real-time components with scheduling interfaces
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Specification and Analysis of Network Resource Requirements of Control Systems
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Bounded and Unbounded Safety Verification Using Bisimulation Metrics
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Robustness analysis for the certification of digital controller implementations
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
A proposal for real-time interfaces in SPEEDS
Proceedings of the Conference on Design, Automation and Test in Europe
Reasoning about finite-state switched systems
HVC'09 Proceedings of the 5th international Haifa verification conference on Hardware and software: verification and testing
The earlier the better: a theory of timed actor interfaces
Proceedings of the 14th international conference on Hybrid systems: computation and control
Resource constrained LQR control under fast sampling
Proceedings of the 14th international conference on Hybrid systems: computation and control
Performance-aware scheduler synthesis for control systems
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Interfaces for control components
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Verification of Safety and Liveness Properties of Metric Transition Systems
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on CAPA'09, Special Section on WHS'09, and Special Section VCPSS' 09
Model-based development and verification of control software for electric vehicles
Proceedings of the 50th Annual Design Automation Conference
| Hi-index | 0.00 |
We propose the use of formal languages of infinite words over the alphabet of task identifiers as an interface between control designs and software implementations. We argue that this approach is more flexible than the classical real-time scheduling framework based on periodic tasks, and allows composition of interfaces by language-theoretic operations. We show that finite automata over infinite words offer analyzable representation and can capture many interesting interface specifications such as exponential stability of switched linear systems.