DocumentCode :
1993768
Title :
High-level Integrated Design Environment for dependability (HIDE)
Author :
Bondavalli, Andrea ; Cin, M.D. ; Latella, Diego ; Pataricza, Andras
Author_Institution :
Ist. CNUCE, CNR, Pisa, Italy
fYear :
1999
fDate :
1999
Firstpage :
87
Lastpage :
92
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 being performed towards an integrated environment for the design and the validation of dependable systems
Keywords :
fault tolerant computing; formal verification; project support environments; real-time systems; systems analysis; HIDE; architectural choices; concept validation; correctness; critical applications; dependability; dependable real-time systems; dependable systems design; dependable systems validation; high-level integrated design environment; integrated environment; system characteristics evaluation; system conformance assessment; system specification; timeliness; Bonding; Continuous wavelet transforms; Control systems; Design methodology; Information systems; Redundancy; Software systems; Time measurement; Unified modeling language; Visualization;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Object-Oriented Real-Time Dependable Systems, 1999. WORDS 1999 Fall. Proceedings. Fifth International Workshop on
Conference_Location :
Monterey, CA
Print_ISBN :
0-7695-0616-X
Type :
conf
DOI :
10.1109/WORDSF.1999.842338
Filename :
842338
Link To Document :
بازگشت