Abstract
This position paper briefly revises the clock support in the Ada programming language, including execution time clocks and timers for tasks and interrupts. It is argued that the standard library would benefit from a more coherent handling of clocks, in particular with in the lack of a shared interface for clocks and timers, and that better support for high-precision real time (TAI/UTC) should be provided.
- K. N. Gregertsen and A. Skavhaug. Implementing the new Ada 2005 timing event and execution time control features on the AVR32 architecture. Journal of Systems Architecture, 56(10):509-522, oct 2010. Google Scholar
Digital Library
- K. N. Gregertsen and A. Skavhaug. Implementation and Usage of the new Ada 2012 Execution Time Control Features. Ada User Journal, 32(4):265-275, 2011.Google Scholar
- K. N. Gregertsen and A. Skavhaug. Execution time timers for interrupt handling. ACM SIGAda Ada Letters, 33(2):87-96, nov 2013. Google Scholar
Digital Library
- J. Serrano, M. Lipinski, T. Wlostowski, E. Gousiou, E. van der Bij, M. Cattin, and G. Daniluk. The White Rabbit project. Proceedings of IBIC2013, 2013.Google Scholar
- T. Vardanega and R. White. Session summary. ACM SIGAda Ada Letters, 33(2):126-130, nov 2013. Google Scholar
Digital Library
- A. Wellings and M. Schoeberl. User-Defined Clocks in the Real-Time Specification for Java. Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems - JTRES '11, page 74, 2011. Google Scholar
Digital Library
Index Terms
(auto-classified)Position paper: Clock support in Ada
Recommendations
Brief paper: Stabilizing switching design for switched linear systems: A state-feedback path-wise switching approach
This paper addresses the problem of switching stabilization for discrete-time switched linear systems. Based on the abstraction-aggregation methodology, we propose a state-feedback path-wise switching law, which is a state-feedback concatenation from a ...
Brief paper: Design of switching sequences for controllability realization of switched linear systems
In this paper, we study the problem of designing switching sequences for controllability of switched linear systems. Each controllable state set of designed switching sequences coincides with the controllable subspace. Both aperiodic and periodic ...
Brief paper: Synchronization of complex dynamical networks under recoverable attacks
In this paper, the synchronization of complex dynamical networks (CDNs) under 'successful' but recoverable attacks is studied by utilizing the framework of switching systems. 'Successful' attacks refer to a class of attacks that break a network into a ...






Comments