@inproceedings{OGY05,
title = { Timing analysis and validation of the embedded {MARS} bus manager },
author = {Ober, Iulian and Graf, Susanne and Yushtein, Yuri},
month = {oct},
year = {2005},
booktitle = {Intl Workshop on Modeling and Analysis of Real Time Embedded Systems, MARTES 2005, associated with MoDELS 2005},
team = {DCS},
abstract = {This paper presents a case study in UML-based modelling and validation of the intricate timing aspects arising in a small but complex component of the airborne Medium Altitude Reconaissance System produced by NLR. 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 a UML profile with intuitive features for modeling timing and related properties.},
}
