@inproceedings{42acfab8b7bc4dfa80fe692b59afd886,
title = "A hierarchical approach for designing dependable systems",
abstract = "New constraints, such as the need for reducing the cost and the time-to-market, are forcing designers of safety-critical systems to exploit commercial-off-the-shelf (COTS) components. To effectively deal with the specification and evaluation of such a kind of systems new design methodologies are required. We propose a new approach where COTS components building a safety critical system are first characterized through a detailed analysis process. The extracted information can then be exploited by a high-level analysis environment that allows evaluating a whole system with good accuracy and high efficiency.",
keywords = "Application software, Costs, Design methodology, Engines, Hardware, Mission critical systems, Petri nets, Throughput, Time to market, Timing",
author = "{Sonza Reorda}, M. and M. Violante and N. Mazzoca and S. Venticinque and A. Bobbio and G. Franceschinis",
note = "Publisher Copyright: {\textcopyright} 2002 IEEE.; 7th IEEE International High-Level Design Validation and Test Workshop, HLDVT 2002 ; Conference date: 27-10-2002 Through 29-10-2002",
year = "2002",
doi = "10.1109/HLDVT.2002.1224430",
language = "English",
series = "Proceedings - IEEE International High-Level Design Validation and Test Workshop, HLDVT",
publisher = "IEEE Computer Society",
pages = "63--68",
booktitle = "Proceedings - 7th IEEE International High-Level Design Validation and Test Workshop, HLDVT 2002",
address = "United States",
}