Design of Safety-Critical Java Level 1 Applications Using Affine Abstract Clocks - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2013

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

Résumé

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.

Dates et versions

hal-00916487 , version 1 (10-12-2013)

Identifiants

Citer

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⟩
153 Consultations
0 Téléchargements

Altmetric

Partager

More