For most systems, especially dependable, real-time systems for critical applications, an effective design process requires an early validation of the concepts and architectural choices, without wasting time and resources prior of checking whether the system fulfils its objectives or needs some re-design. Although a thorough system specification surely increases the level of confidence that can be put on a system, it is insufficient to guarantee that the system will adequately perform its tasks during its entire life-cycle. The early evaluation of system characteristics like dependability, timeliness, and correctness, is thus necessary to assess the conformance of the system under development to its targets. This paper presents some activities currently performed towards an integrated environment for the design and the validation of dependable systems.
High-level integrated design environment for dependability (HIDE)
Latella D;
2000
Abstract
For most systems, especially dependable, real-time systems for critical applications, an effective design process requires an early validation of the concepts and architectural choices, without wasting time and resources prior of checking whether the system fulfils its objectives or needs some re-design. Although a thorough system specification surely increases the level of confidence that can be put on a system, it is insufficient to guarantee that the system will adequately perform its tasks during its entire life-cycle. The early evaluation of system characteristics like dependability, timeliness, and correctness, is thus necessary to assess the conformance of the system under development to its targets. This paper presents some activities currently performed towards an integrated environment for the design and the validation of dependable systems.File | Dimensione | Formato | |
---|---|---|---|
prod_190794-doc_141922.pdf
accesso aperto
Descrizione: High-level integrated design environment for dependability (HIDE)
Tipologia:
Versione Editoriale (PDF)
Dimensione
21.46 kB
Formato
Adobe PDF
|
21.46 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.