PRIDE: an integrated software development environment for dependable systems
Mazzini S., Latella D., Viva D.
UML Dependable Systems Formal Verification and Validation
This paper presents the PRIDE research project, developed by Intecs and co-funded by the Italian Space Agency. The project aims at providing an integrated software development environment for dependable systems based on UML, which integrates design activities with selected methods for formal verification and validation (V&V) and quantitative dependability attributes assessment, supported by appropriate tools. The PRIDE environment is built as an extension of the already existing environment for the modeling of Hard Real Time systems, HRT-UML, based on the Unified Modeling Language (UML) notation. The outcome is an advanced and integrated methodological solution for the design of complex embedded real-time systems and for their evaluation and verification, according to rigorous techniques based on formal theories, such as formal verification, model based dependability evaluation and schedulability analysis.
Source: 8th DASIA 2004 DAta Systems In Aerospace, Nice, France, 28 June - 1 July 2004
Publisher: ESA, Noordwijk, NLD
Back to previous page
@inproceedings{oai:it.cnr:prodotti:91097,
title = {PRIDE: an integrated software development environment for dependable systems},
author = {Mazzini S. and Latella D. and Viva D.},
publisher = {ESA, Noordwijk, NLD},
booktitle = {8th DASIA 2004 DAta Systems In Aerospace, Nice, France, 28 June - 1 July 2004},
year = {2004}
}
0000-0002-3257-9059