Istituto di Scienza e Tecnologie dell'Informazione     
Mazzini S., Latella D., Viva D. PRIDE: An Integrated Software Development Environment for Dependable Systems. In: DASIA 2004 DAta Systems In Aerospace (Nice, France, 28 June - 1 July 2004). Proceedings, vol. 570 R. A. Harris (ed.). ESA, 2004.
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.
Subject UML
Dependable Systems
Formal Verification and Validation
D.2.4 Software/Program Verification

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional