Software reliability: measurement, prediction, application
Software reliability: measurement, prediction, application
Measuring software design complexity
Journal of Systems and Software
A mathematical perspective for software measures research
Software Engineering Journal
Real-time object-oriented modeling
Real-time object-oriented modeling
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Validation of Object-Oriented Design Metrics as Quality Indicators
IEEE Transactions on Software Engineering
Software metrics for reliability assessment
Handbook of software reliability engineering
Software metrics (2nd ed.): a rigorous and practical approach
Software metrics (2nd ed.): a rigorous and practical approach
Elements of Software Science (Operating and programming systems series)
Elements of Software Science (Operating and programming systems series)
Software Reliability Engineered Testing
Software Reliability Engineered Testing
The measurement of software design quality
Annals of Software Engineering
A Critical Analysis of Current OO Design Metrics
Software Quality Control
Predicting Source-Code Complexity at the Design Stage
IEEE Software
A Metrics Suite for Object Oriented Design
IEEE Transactions on Software Engineering
Physical Programming: Beyond Mere Logic
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
AutoFocus: A Tool for Distributed Systems Specification
FTRTFT '96 Proceedings of the 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Using UML for Modeling Complex Real-Time Systems
LCTES '98 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
Orientations in Verification Engineering of Avionics Software
Informatics - 10 Years Back. 10 Years Ahead.
Modeling Safety-Critical Systems with Z and Petri Nets
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Checking General Safety Criteria on UML Statecharts
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Quantifying the Reliability of Embedded Systems by Automated Analysis
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Safety and Security Analysis of Object-Oriented Models
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
A Model of Noninterference for Integrating Mixed Criticality Software Components
DCCA '99 Proceedings of the conference on Dependable Computing for Critical Applications
Component-Based Software Quality
Component-Based Software Quality
One evaluation of model-based testing and its automation
Proceedings of the 27th international conference on Software engineering
IEEE Transactions on Software Engineering
Software Structure Metrics Based on Information Flow
IEEE Transactions on Software Engineering
Secure Systems Development with UML
Secure Systems Development with UML
A dependability profile within MARTE
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
Dependable systems have to be developed carefully to prevent loss of life and resources due to system failures. Some of their mechanisms (for example, providing fault-tolerance) can be complicated to design and use correctly in the system context and are thus error-prone. This chapter gives an overview of reliability-related analyzes for the design of component-based software systems. This enables the identification of failure-prone components using complexity metrics and the operational profile, and the checking of reliability requirements using stereotypes. We report on the implementation of checks in a tool inside a framework for tool-supported development of reliable systems with UML and two case studies to validate the metrics and checks.