A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
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.doi:10.1145/2463596.2463600 dblp:conf/scopes/BouakazT13 fatcat:npyywwwryjc2xcdvkw44y7ynvy