CRaG Systems Modelling Training
and Consultancy

sales@cragsystems.co.uk    +44 (0)845 003 9358
UML, BPMN, SysML and Sparx Enterprise Architect (EA) Resources

Embedded and Real-Time UML Case Studies

The following is a list of references to case studies of the use of UML for real-time and embedded systems development:


Updating the Royal Navy's Submarine Communications System

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.

Designing the Large Synoptic Survey Telescope with Enterprise Architect

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.

UML-based specifications of an embedded system oriented to HW/SW partitioning

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.

Digital Sound Recorder: A case study on designing embedded systems using the UML notation

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

Supporting UML-based development of embedded systems by formal techniques

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"

UML, BPMN, SysML and the corresponding logos are trademarks of the Object Management Group

Enterprise Architect, Sparx Systems and the corresponding logos are trademarks of Sparx Systems

CRaG Systems (UK)    sales@cragsystems.co.uk    +44 (0)845 003 9358

   Privacy policy    Site Map    HTML

Embedded and Real-Time UML Case Studies