Abstract
The domain of real-time, concurrent, and embedded software is becoming increasing complex. To effectively develop these systems, greater care must be taken to construct adequate models of the software and to effectively analyze these designs prior to code development. In this tutorial, we will discuss modeling and analysis issues specific to real-time, concurrent, and embedded software systems. Specifically, this tutorial will present guidelines for modeling these systems using the Unified Modeling Language (UML) version 2. A case study will be introduced to solidify the concepts and participant interaction will be encouraged in the construction of the models. Analytical methods will also be discussed to verify that the UML-based designs will produce the desired behavior. Finally, we will discuss how to proceed from the UML models into an Ada (2005) implementation.
Index Terms
Designing real-time, concurrent, and embedded software systems using UML and Ada
Recommendations
Designing real-time, concurrent, and embedded software systems using UML and Ada
SIGAda '10: Proceedings of the ACM SIGAda annual international conference on SIGAdaThe domain of real-time, concurrent, and embedded software is becoming increasing complex. To effectively develop these systems, greater care must be taken to construct adequate models of the software and to effectively analyze these designs prior to ...
An approach to schedulability analysis of UML-based real-time systems design
WOSP '02: Proceedings of the 3rd international workshop on Software and performanceThis paper presents an approach to analyzing the timing and schedulability performance of a system model designed with the Unified Modeling Language (UML). As demand grows for a better way of developing complex real-time (RT) software systems, object-...







Comments