Modernlarge real-time systems are becoming more com-plex. Whilst Ada 2005 provides a comprehensive set of pro-gramming mechanisms that allow these systems to be imple-mented, the abstractions are low level. This paper argues that there is a need for a standardised library of real-time utilities that address common real-time problems.
Current Programming Languages are not able to cope up with the modern software problems. ADA develop...
Abstract Whilst Ada 2005 provides extensive support for the creation of real-time systems in general...
http://deepblue.lib.umich.edu/bitstream/2027.42/4215/5/bac0399.0001.001.pdfhttp://deepblue.lib.umich...
This paper is an extended summary of the tutorial given at Ada-Europe 2012. In the 2005 and 2012 rev...
Presented at Work in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 3, Dec, 20...
Abstract The Ada language has for long provided supportfor the development of reliable real-time sys...
http://deepblue.lib.umich.edu/bitstream/2027.42/8133/5/bad3609.0001.001.pdfhttp://deepblue.lib.umich...
Michigan is currently developing a real-time distributed computing capability based upon the premise...
For the development of mission-critical software, the choice of programming language makes a signifi...
The implementation phase of the software development process requires techniques for the transformat...
© ACM, 2013. This is the author's version of the work. It is posted here by permission of ACM for yo...
Two independent recent efforts have defined extensions to the Java platform that intend to satisfy r...
Ada is unique as a software engineering language, facilitating the development of reliable and ...
This position paper briefly revises the clock support in the Ada programming language, including exe...
Abstract. Hard real-time systems have stringent deadline requirements, which can be guaranteed at sy...
Current Programming Languages are not able to cope up with the modern software problems. ADA develop...
Abstract Whilst Ada 2005 provides extensive support for the creation of real-time systems in general...
http://deepblue.lib.umich.edu/bitstream/2027.42/4215/5/bac0399.0001.001.pdfhttp://deepblue.lib.umich...
This paper is an extended summary of the tutorial given at Ada-Europe 2012. In the 2005 and 2012 rev...
Presented at Work in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 3, Dec, 20...
Abstract The Ada language has for long provided supportfor the development of reliable real-time sys...
http://deepblue.lib.umich.edu/bitstream/2027.42/8133/5/bad3609.0001.001.pdfhttp://deepblue.lib.umich...
Michigan is currently developing a real-time distributed computing capability based upon the premise...
For the development of mission-critical software, the choice of programming language makes a signifi...
The implementation phase of the software development process requires techniques for the transformat...
© ACM, 2013. This is the author's version of the work. It is posted here by permission of ACM for yo...
Two independent recent efforts have defined extensions to the Java platform that intend to satisfy r...
Ada is unique as a software engineering language, facilitating the development of reliable and ...
This position paper briefly revises the clock support in the Ada programming language, including exe...
Abstract. Hard real-time systems have stringent deadline requirements, which can be guaranteed at sy...
Current Programming Languages are not able to cope up with the modern software problems. ADA develop...
Abstract Whilst Ada 2005 provides extensive support for the creation of real-time systems in general...
http://deepblue.lib.umich.edu/bitstream/2027.42/4215/5/bac0399.0001.001.pdfhttp://deepblue.lib.umich...
DOI
Add to ORKG