Innovations in Systems and Software Engineering

, Volume 4, Issue 3, pp 301–308

Timing analysis and validation with UML: the case of the embedded MARS bus manager

  • Iulian Ober
  • Susanne Graf
  • Yuri Yushtein
  • Ileana Ober
Original Paper

Abstract

This paper presents a case study in UML-based modeling and validation of the intricate timing aspects arising in a small but complex component of the airborne Medium-Altitude Reconnaissance System produced by the Netherlands National Aerospace Laboratory. The purpose is to show how automata-based timing analysis and verification tools can be used by field engineers for solving isolated hard points in a complex real-time design, even if the press-button verification of entire systems remains a remote goal. We claim that the accessibility of such tools is largely improved by the use of an UML profile with intuitive features for modeling timing and related properties.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag London Limited 2008

Authors and Affiliations

  • Iulian Ober
    • 1
  • Susanne Graf
    • 2
  • Yuri Yushtein
    • 3
    • 4
  • Ileana Ober
    • 1
  1. 1.Université Toulouse, IRITToulouseFrance
  2. 2.CNRS, VERIMAGGièresFrance
  3. 3.National Aerospace Laboratory NLR, Embedded System DepartmentAmsterdamThe Netherlands
  4. 4.Systems, Software and Technology DepartmentEuropean Space Agency/ESTECNoordwijkThe Netherlands

Personalised recommendations