Distributed Ada and real-time (session summary)
IRTAW '99 Proceedings of the ninth international workshop on Real-time Ada
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
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
Modeling and schedulability analysis in the development of real-time distributed Ada systems
IRTAW '02 Proceedings of the 11th international workshop on Real-time Ada workshop
| Hi-index | 0.00 |
The paper proposes a methodology for modeling distributed real-time applications written in Ada 95 and its Annexes D and E. The real-time model obtained is analyzable with a set of tools that includes multiprocessor priority assignment and worst-case schedulability analysis for checking hard-time requirements. This methodology models independently the platform (processors, communication networks, operating systems, or peripheral drivers), the logical components used (processing requirments, shared resources or remote components), and the real-time situations of the application itself (real-time transactions, workload or timing-requirements). It automates the modeling of local and remote access to distributed services. The methodology is formulated with UML, and therefore the software logic design as well as its real-time model may be represented inside any UML CASE tool. The real-time model obtained is analyzable with a set of tools that includes multiprocessor priority assignment and worst-case schedulability analysis for checking hard real-time requirements.