Verimag

bibtex

@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.},
}

URL

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.25 + AHUNTSIC [CC License]

info visites 790336