Skip to Main content Skip to Navigation
Conference papers

Design of Safety-Critical Java Level 1 Applications Using Affine Abstract Clocks

Adnan Bouakaz 1, * Jean-Pierre Talpin 1
* Corresponding author
1 ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Safety-critical Java (SCJ) is designed to enable development of applications that are amenable to certification under safety-critical standards. However, its shared-memory concurrency model causes several problems such as data races, deadlocks, and priority inversion. We propose therefore a dataflow design model of SCJ applications in which periodic and aperiodic tasks communicate only through lock- free channels. We provide the necessary tools that compute scheduling parameters of tasks (i.e. periods, phases, priorities, etc) so that uniprocessor/multiprocessor preemptive fixed-priority schedulability is ensured and the throughput is maximized. Furthermore, the resulted schedule together with the computed channel sizes ensure underflow/overflow- free communications. The scheduling approach consists in constructing an abstract affine schedule of the dataflow graph and then concretizing it.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00916487
Contributor : Adnan Bouakaz <>
Submitted on : Tuesday, December 10, 2013 - 12:49:50 PM
Last modification on : Tuesday, June 15, 2021 - 4:28:00 PM

Links full text

Identifiers

Citation

Adnan Bouakaz, Jean-Pierre Talpin. Design of Safety-Critical Java Level 1 Applications Using Affine Abstract Clocks. International Workshop on Software and Compilers for Embedded Systems, Jun 2013, St. Goar, Germany. pp.58-67, ⟨10.1145/2463596.2463600⟩. ⟨hal-00916487⟩

Share

Metrics

Record views

416