Computer Science – Programming Languages
Scientific paper
2010-03-15
EPTCS 20, 2010, pp. 34-48
Computer Science
Programming Languages
15 pages, published in Workshop on Formal Methods for Aerospace (FMA'09), part of Formal Methods Week 2009.
Scientific paper
10.4204/EPTCS.20.4
This article presents a complete scheme for the development of Critical Embedded Systems with Multiple Real-Time Constraints. The system is programmed with a language that extends the synchronous approach with high-level real-time primitives. It enables to assemble in a modular and hierarchical manner several locally mono-periodic synchronous systems into a globally multi-periodic synchronous system. It also allows to specify flow latency constraints. A program is translated into a set of real-time tasks. The generated code (\C\ code) can be executed on a simple real-time platform with a dynamic-priority scheduler (EDF). The compilation process (each algorithm of the process, not the compiler itself) is formally proved correct, meaning that the generated code respects the real-time semantics of the original program (respect of periods, deadlines, release dates and precedences) as well as its functional semantics (respect of variable consumption).
Boniol Frédéric
Forget Julien
Lesens David
Pagetti Claire
No associations
LandOfFree
Implementing Multi-Periodic Critical Systems: from Design to Code Generation does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Implementing Multi-Periodic Critical Systems: from Design to Code Generation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Implementing Multi-Periodic Critical Systems: from Design to Code Generation will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-214154