The following is a list of references to case studies of the use of UML for real-time and embedded systems development:
The BAE Systems project team undertook migration of the Royal Navy's legacy Command and Control system to an entirely new platform. The modernisation effort required detailed visual models of both the architecture and database schema of the legacy system, which consisted of over 250,000 lines of code. Enterprise Architect equipped the project with advanced UML 2.1 modelling support in addition to built-in C# round-trip code engineering, database schema visualisation and team collaboration capabilities.
Apart from a critical design challenge to accommodate high-intensity processing of massive data sets, the LSST project team had to manage the complexity of widely distributed development across 10 locations, while maintaining end-to end traceability of requirements at the science, system and sub-system levels. Using Enterprise Architect together with the ICONIX Process, the LSST team has been able to move rapidly from requirements to design to functional prototype implementation, resulting in 90,000 lines of code and a shared, easy-to-understand view of the system.
The Unified Modelling Language (UML) is a language for specifying, visualizing, constructing, and documenting the artefacts of software systems, as well as for modeling business and other non-software systems. The UML represents a collection of best engineering practices that succeeded in modelling large and complex systems; it is interesting to envision its extension for specification and modelling of hardware-software systems as well, starting with the first design phases, i.e. prior to hardware-software partitioning. This paper analyses the development of a solution able to define the hardware/software partitioning of an embedded system starting from its UML system specifications. The case study chosen is a Wireless Meter Reader (WMR) dedicated to the measurement of energy consumption. The designers evaluated the hardware/software partitioning solution in terms of cost, performance, size and consumption.
This document is an example of the object-oriented analysis and design of an embedded system using the Unified Modelling Language (UML). The analysed system is a digital sound recorder, or Dictaphone. The design has been implemented using an embedded processor and the C++ programming language. - Programming Methodology Research Group - Abo Akademi University, Department of Computer Science, Turku, Finland
We describe an approach to support UML based development of embedded systems by formal techniques. A subset of UML is extended with timing annotations and given a formal semantics. UML models are translated, via XMI, to the input format of formal tools, to allow timed and non-timed model checking and interactive theorem proving. Moreover, the Play-Engine tool is used to execute and analyze requirements by means of live sequence charts. We apply the approach to a part of an industrial case study, the MARS system, and report about the experiences, results and conclusions - EU-project IST 33522 - OMEGA "Correct Development of Real-Time Embedded Systems in UML"