@article{OGY+08,
title = { Timing analysis and validation with {UML}: the case of the embedded {MARS} bus manager },
author = {Ober, Iulian and Graf, Susanne and Yushtein, Yuri and Ober, Ileana},
month = {sep},
year = {2008},
note = {or here: http://www-verimag.imag.fr/~graf/PAPERS/GrafOberYushtein-STTT08.pdf},
journal = {Innovations in Systems and Software Engineering},
number = {3},
volume = {4},
team = {DCS},
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. This work has been partially funded by the European OMEGA project (IST-2001-33522). Iulian Ober and Ileana Ober: performed work while at VERIMAG, Grenoble, France. Y. Yushtein: at the moment of writing in National Aerospace Laboratory NLR. },
}
