Experience assessing an architectural approach to large-scale systematic reuse
Proceedings of the 18th international conference on Software engineering
Understanding ActiveX and OLE: a guide for developers and managers
Understanding ActiveX and OLE: a guide for developers and managers
Package-oriented programming of engineering tools
ICSE '97 Proceedings of the 19th international conference on Software engineering
Inside COM
IEEE Transactions on Software Engineering
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
Formal Specification in Collaborative Design of Critical Software Tools
HASE '98 The 3rd IEEE International Symposium on High-Assurance Systems Engineering
The Galileo Fault Tree Analysis Tool
FTCS '99 Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing
Dependability Assessment Using Binary Decision Diagrams (BDDs)
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Fault Tree Analysis for Software Design
SEW '02 Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02)
Extending Fault Trees with an AND-THEN Gate
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
A new component concept for fault trees
SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
Analysis of software test item generation: comparison between high skilled and low skilled engineers
Journal of Computer Science and Technology
A software fault tree key node metric
Journal of Systems and Software
Software failure analysis in requirement phase
Proceedings of the 5th India Software Engineering Conference
Hi-index | 0.00 |
Sophisticated dependability analysis techniques are being developed in academia and research labs, but few have gained wide acceptance in industry. To be valuable, such techniques must be supported by usable, reliable software tools. We present our approach to developing Galileo, a dynamic fault tree analysis tool we are developing to address these concerns. Galileo is designed to support efficient system-level analysis by automatically decomposing fault trees into modules that are solved separately using appropriate techniques. Usability is addressed by a software architecture based on a component-based design technique that we call package-oriented programming: we use a tightly integrated set of shrink-wrapped software packages to provide the bulk of the tool superstructure. To address tool dependability, we are developing natural language and partial formal specifications of fault tree elements, and we exploit the inherent redundancy associated with multiple analysis techniques as an aid in testing.