Software engineering for safety: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Multiple mass-market applications as components
Proceedings of the 22nd international conference on Software engineering
Galileo: a tool built from mass-market applications
Proceedings of the 22nd international conference on Software engineering
Sound methods and effective tools for engineering modeling and analysis
Proceedings of the 25th International Conference on Software Engineering
Developing a High-Quality Software Tool for Fault Tree Analysis
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Software assurance by bounded exhaustive testing
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Software Assurance by Bounded Exhaustive Testing
IEEE Transactions on Software Engineering
Cut Sequence Set Generation for Fault Tree Analysis
ICESS '07 Proceedings of the 3rd international conference on Embedded Software and Systems
Non deterministic repairable fault trees for computing optimal repair strategy
Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools
DFTSim: a simulation tool for extended dynamic fault trees
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
A Methodology and Framework for Creating Domain-Specific Development Infrastructures
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Architecting dependable systems IV
A hierarchical method for the reduction of temporal expressions in Pandora
Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems
Symbolic fault tree analysis for reactive systems
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Situation monitoring and analysis of security risk for networked services
MILCOM'06 Proceedings of the 2006 IEEE conference on Military communications
Retrenchment, and the generation of fault trees for static, dynamic and cyclic systems
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Expert Systems with Applications: An International Journal
Trace queries for safety requirements in high assurance systems
REFSQ'12 Proceedings of the 18th international conference on Requirements Engineering: foundation for software quality
A safety-focused verification using software fault trees
Future Generation Computer Systems
A2thOS: availability analysis and optimisation in SLAs
International Journal of Network Management
Combining static/dynamic fault trees and event trees using Bayesian networks
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
DFT and DRBD in computing systems dependability analysis
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
| Hi-index | 0.00 |
We present Galileo, a dynamic fault tree modeling and analysis tool that combines the innovative DIF-Tree analysis methodology with a rich user interface built using package-oriented programming. DIFTree integrates binary decision diagram and Markov meth-ods under the common notation of dynamic fault trees, allowing the user to exploit the benefits of both tech-niques while avoiding the need to learn additional no-tations and methodologies. Package-oriented pro-gramming (POP) is a software architectural style in which large-scale software packages are used as com-ponents, exploiting their rich functionality and famili-arity to users. Galileo can be obtained for free under license for evaluation, and can be downloaded from the World-Wide Web.