Dynamic scheduling of real-time tasks under precedence constraints
Real-Time Systems
Synchronous programming with events and relations: the SIGNAL language and its semantics
Science of Computer Programming
Comparing models of computation
Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Types and programming languages
Types and programming languages
The synchronous approach to reactive and real-time systems
Readings in hardware/software co-design
About the Design of Distributed Control Systems: The Quasi-Synchronous Approach
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
A Multi-Periodic Synchronous Data-Flow Language
HASE '08 Proceedings of the 2008 11th IEEE High Assurance Systems Engineering Symposium
Specification and verification of time requirements with CCSL and Esterel
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Model-Based Design of Embedded Control Systems by Means of a Synchronous Intermediate Model
ICESS '09 Proceedings of the 2009 International Conference on Embedded Software and Systems
Theory of latency-insensitive design
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Deterministic execution model on COTS hardware
ARCS'12 Proceedings of the 25th international conference on Architecture of Computing Systems
| Hi-index | 0.00 |
This paper presents a language dedicated to the description of the software architecture of complex embedded control systems. The language relies on the synchronous approach but extends it to support efficiently systems with multiple real-time constraints, such as deadline constraints or periodicity constraints. It provides a high-level of abstraction and benefits from the formal properties of synchronous languages. The language defines a small set of rate transition operators, which enable the description of user-defined deterministic multi-rate communication patterns between components of different rates. The compiler of the language automatically translates a program into a set of communicating real-time tasks implemented as concurrent C threads that can be executed on a standard real-time operating system.