Hierarchically Performed Hazard Origin and Propagation Studies
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Dependability analysis in HW-SW codesign
IPDS '95 Proceedings of the International Computer Performance and Dependability Symposium on Computer Performance and Dependability Symposium
BPM Based Robust E-business Application Development (Practical Experience Report)
EDCC-4 Proceedings of the 4th European Dependable Computing Conference on Dependable Computing
Model-Based On-Line Monitoring Using a State Sensitive Fault Propagation Model
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
Evolving car designs using model-based automated safety analysis and optimisation techniques
Journal of Systems and Software - Special issue: Computer software & applications
SCS '04 Proceedings of the 9th Australian workshop on Safety critical systems and software - Volume 47
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Deriving Safety Software Requirements from an AltaRica System Model
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Generalizable safety annotations for specification of failure patterns
Software—Practice & Experience
Systematic model-based safety assessment via probabilistic model checking
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Failure-dependent execution time analysis
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS
Integration of component fault trees into the UML
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Computer-aided PHA, FTA and FMEA for automotive embedded systems
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Designing safe, reliable systems using scade
ISoLA'04 Proceedings of the First international conference on Leveraging Applications of Formal Methods
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
Towards a unified model-based safety assessment
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Towards an integration of standard component-based safety evaluation techniques with SaveCCM
QoSA'06 Proceedings of the Second international conference on Quality of Software Architectures
Model-Driven safety evaluation with state-event-based component failure annotations
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Model-based safety analysis of simulink models using SCADE design verifier
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
A safety-focused verification using software fault trees
Future Generation Computer Systems
Hi-index | 0.00 |
Abstract: In this paper, we outline a new approach to safety analysis in which concepts of computer HAZOP are fused with the idea of software fault tree analysis to enable a continuous assessment of an evolving programmable design developed in Matlab-Simulink. We also discuss the architecture of a tool that we have developed to support the new method and enable its application in complex environments. We show that the method and the tool enable the integrated hardware and software analysis of a programmable system and that in the course of that analysis they automate and simplify the development of fault trees for the system. Finally, we propose a demonstration of the method and the tool and we outline the experimental platform and aims of that demonstration.