Design of safety-critical Java level 1 applications using affine abstract clocks

Adnan Bouakaz, Jean-Pierre Talpin
2013 Proceedings of the 16th International Workshop on Software and Compilers for Embedded Systems - M-SCOPES '13  
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 lockfree channels. We provide the necessary tools that compute scheduling parameters of tasks (i.e.
more » ... iods, 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/overflowfree communications. The scheduling approach consists in constructing an abstract affine schedule of the dataflow graph and then concretizing it.
doi:10.1145/2463596.2463600 dblp:conf/scopes/BouakazT13 fatcat:npyywwwryjc2xcdvkw44y7ynvy