A practitioner's handbook for real-time analysis
A practitioner's handbook for real-time analysis
Holistic schedulability analysis for distributed hard real-time systems
Microprocessing and Microprogramming - Parallel processing in embedded real-time systems
Distributed Ada and real-time (session summary)
IRTAW '99 Proceedings of the ninth international workshop on Real-time Ada
Issues with using Ravenscar and the Ada distributed systems annex for high-integrity systems
IRTAW '00 Proceedings of the 10th international workshop on Real-time Ada workshop
The Java Language Specification
The Java Language Specification
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
The Ravenscar Tasking Profile for High Integrity Real-Time Programs
Ada-Europe '98 Proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies
Exploiting Precedence Relations in the Schedulability Analysis of Distributed Real-Time Systems
RTSS '99 Proceedings of the 20th IEEE Real-Time Systems Symposium
GLADE: A Framework for Building Large Object-Oriented Real-Time Distributed Systems
ISORC '00 Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
MAST: Modeling and Analysis Suite for Real Time Applications
ECRTS '01 Proceedings of the 13th Euromicro Conference on Real-Time Systems
Revisiting COTS middleware for DRE systems
ISORC '05 Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Building high-integrity distributed systems with Ravenscar restrictions
IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
Implementing the new Ada 2005 real-time features on a bare board kernel
IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
Can We Increase the Usability of Real Time Scheduling Theory? The Cheddar Project
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Real-Time Distribution Middleware from the Ada Perspective
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
| Hi-index | 0.01 |
High-integrity computer systems are usually required to go through a strict verification and validation process, often leading to certification according to some safety or security standard. Verification activities may include some kind of static analysis because some types of errors cannot be removed just with testing. Temporal analysis techniques are available for systems with hard real-time requirements, but they are limited to systems complying with a well-defined computational model and with a restricted semantics that ensures a predictable temporal behaviour. The Ravenscar profile implements such a model for Ada programs running on single processor platforms, but it cannot be used in distributed high-integrity real-time systems, which are becoming more and more common. This papers discusses the feasibility of designing a real-time middleware for distributed high-integrity Ada programs with an statically analysable behaviour, and the necessary language restrictions that should be used in order to enable the required predictability and timeliness properties.