Software reliability: measurement, prediction, application
Software reliability: measurement, prediction, application
Theoretical Computer Science
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Software engineering for safety: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Towards integrated safety analysis and design
ACM SIGAPP Applied Computing Review - Special issue on saftey-critical software
Dependability: Basic Concepts and Terminology
Dependability: Basic Concepts and Terminology
Packaging Predictable Assembly
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
Counterexample-Guided Abstraction Refinement
CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
Model-Based Synthesis of Fault Trees from Matlab-Simulink Models
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
SaveCCM - A Component Model for Safety-Critical Real-Time Systems
EUROMICRO '04 Proceedings of the 30th EUROMICRO Conference
A new component concept for fault trees
SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Identifying "good" architectural design alternatives with multi-objective optimization strategies
Proceedings of the 28th international conference on Software engineering
Modular Architectural Representation and Analysis of Fault Propagation and Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-Driven safety evaluation with state-event-based component failure annotations
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Safety interfaces for component-based systems
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
Specification and evaluation of safety properties in a component-based software engineering process
Component-Based Software Development for Embedded Systems
Integrating Safety Analyses and Component-Based Design
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
FPTC: Automated Safety Analysis for Domain-Specific Languages
Models in Software Engineering
Component-Based Abstraction in Fault Tree Analysis
SAFECOMP '09 Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security
Generalizable safety annotations for specification of failure patterns
Software—Practice & Experience
Component deployment optimisation with bayesian learning
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
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
Vertical safety interfaces: improving the efficiency of modular certification
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Architecture-Driven reliability and energy optimization for complex embedded systems
QoSA'10 Proceedings of the 6th international conference on Quality of Software Architectures: research into Practice - Reality and Gaps
Architecture-driven reliability optimization with uncertain model parameters
Journal of Systems and Software
| Hi-index | 0.00 |
To deliver complex functionalities in a cost effective manner, embedded software should ideally be developed with standardized interoperable components. At the same time, most of these embedded systems must be demonstrably safe and reliable. This paper aims to extend SaveCCM, a modelling language for component-based embedded systems, with standard safety evaluation models. Based on this extension, failure and hazard probabilities can be estimated early in the development process and can be used to check if a system can fulfil its safety requirements. The procedure of the safety evaluation is demonstrated with the case study of a computer assisted braking system.