Abstract
This paper looks at two features of Ada that support synchronisation between tasks. First, an ambiguity with Synchronous Task Control is outlined. Second, the question of whether Synchronous Barriers should be allowed in the Ravenscar profile is addressed.
- ISO/IEC. Information technology -- programming languages -- guide for the use of the Ada Ravenscar Profile in high integrity systems. Technical Report TR 24718, ISO/IEC, 2005.Google Scholar
Index Terms
(auto-classified)Synchronous Task Control and Synchronous Barriers
Recommendations
Globally Asynchronous, Locally Synchronous Circuits: Overview and Outlook
For more than 20 years, significant research effort was concentrated on globally asynchronous, locally synchronous (GALS) design methodologies. But despite several successful implementations, GALS has had little impact on industry products. This article ...
An Analysis of the Composition of Synchronous Systems
Safety-critical embedded applications are often distributed. For example, software in an automotive control or in avionics control are distributed over a large number of distributed processors which are connected over some domain specific buses. ...
Synchronous Handshake Circuits
ASYNC '01: Proceedings of the 7th International Symposium on Asynchronous Circuits and SystemsWe present the synchronous implementation of hand-shake circuits as an extra feature in the otherwise asynchronous design flow based on Tangram. This synchronous option can be used in the mapping onto FPGAs or as a fall-back option to provide a circuit ...






Comments