Prioritizing remote procedure calls in Ada distributed systems
IRTAW '99 Proceedings of the ninth international workshop on Real-time Ada
Towards a real-time distributed systems annex in Ada
IRTAW '00 Proceedings of the 10th international workshop on Real-time Ada workshop
Inside the Distributed Systems Annex
Ada-Europe '98 Proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies
Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
Schedulability Analysis for Tasks with Static and Dynamic Offsets
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
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
MAST Real-Time View: A Graphic UML Tool for Modeling Object-Oriented Real-Time Systems
RTSS '01 Proceedings of the 22nd IEEE Real-Time Systems Symposium
Session on real-time, fault tolerance, and distribution
IRTAW '02 Proceedings of the 11th international workshop on Real-time Ada workshop
Ada-Europe'11 Proceedings of the 16th Ada-Europe international conference on Reliable software technologies
Hi-index | 0.00 |
The paper proposes a model for specific Ada structures that can be integrated into our methodology for modeling and performing schedulability analysis in the development phases of distributed real-time applications written in Ada 95 and using its Annexes D and E. This methodology is based on independently modeling the platform, the logical components used, and the real-time situations of the application itself (real-time transactions, workload or timing requirements). The specific models presented in the paper provide support for the automated analysis of local and remote access to distributed services; hence, if a procedure of a remote call interface is invoked from a component assigned to a remote node, the corresponding communication model (with marshalling, transmission, dispatching, and unmarshalling of messages) is implicitly integrated into the overall model that is being analyzed.