De SIRE De FINE workshop Dependability CASE tools

De. SIRE – De. FINE workshop Dependability CASE tools (some desire from De. SIRE) Pisa, 25 -27 November 2002

INTECS Ø INTECS is a software-house that provides high-level technological support to electronic industries on ü Real-time embedded systems ü Infrastructures ü Middelware software ü Software Enginnering ü Quality Assurance and for different application domains ü Space ü Transport ü Automotive ü Telecommunications ü Defense Ø INTECS has actively participated to a number of R&D projects ü GUARDS ü SCALE ü BEST ü. . . Pisa, 25 -27 November 2002 De. SIRE – De. FINE workshop 1

Dependability Case Support Ø Quoting from: “De. SIRE (Dependable Systems and Information infrastructures – Research and Exploitation) Dependability Case Support: The concept of a safety case readily generalizes to that of a dependability case, i. e. the set of arguments and evidence justifying any claims that are made about a given system’s future dependability. Tool support is needed for the creation, maintenance and analysis of such dependability cases, and in particular for assessing trade-offs between the various dependability attributes (e. g. availability and confidentiality), and for ensuring design traceability between dependability cases and system design decisions. Pisa, 25 -27 November 2002 De. SIRE – De. FINE workshop 2

Dependability Case Support The development of dependable systems includes a number of tasks Functional decomposition Physical decomposition Modeling Dependable System Timing analysis Performance verification Dependability analysis Dependability verification Functional verification These tasks are usually supported by methods, techniques and tools Pisa, 25 -27 November 2002 De. SIRE – De. FINE workshop 3

Dependability Case Support The development tasks, and their outcomes, are correlated Functional decomposition Physical decomposition Modeling Timing analysis Dependability analysis Performance verification Dependability verification Functional verification The supporting methods, techniques and tools need to be integrated Pisa, 25 -27 November 2002 De. SIRE – De. FINE workshop 4

Dependability Case Support Let’s consider, for example, hard-real-time aspects HRT design method Functional decomposition Physical decomposition Modeling Schedulability analysis Timing analysis Performance verification Measurements Dependability analysis Dependability verification Functional verification integrated toolsets : GUARDS A. D. E. , HRT-Hood. NICE, HRT-Uml. NICE Pisa, 25 -27 November 2002 De. SIRE – De. FINE workshop 5

Dependability Case Support Let’s consider, now, Dependability aspects e. g. UML Functional decomposition Physical decomposition Modeling Timing analysis Dependability analysis e. g. FTA, FMECA, … Performance verification Dependability verification Functional verification e. g. “PRIDE” Methods (and tools) for specification and design to be integrated with techniques (and tools) for dependability analysis Pisa, 25 -27 November 2002 De. SIRE – De. FINE workshop 6

Dependability Case Support Finally, let’s consider Verification aspects e. g. UML Functional decomposition Physical decomposition Modeling Timing analysis Dependability analysis Performance verification Dependability verification Functional verification Test scenarios and cases to be derived from specification and/or design models Pisa, 25 -27 November 2002 De. SIRE – De. FINE workshop testing 7

Conclusion INTECS proposal is to: define methods, techniques and build-up a development environment composed by integrated or inter-operable tools supporting the analysis, design and verification of dependability issues (hazard analysis, formal specification, timing analysis, verification, etc. ) along the development phases in a coherent way, in order to afford the consistent implementation of dependability requirements. Pisa, 25 -27 November 2002 De. SIRE – De. FINE workshop 8