Handbook of software reliability engineering
Handbook of software reliability engineering
Software engineering (6th ed.)
Software engineering (6th ed.)
Compositional Verification of Probabilistic Processes
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Analysing the behaviour of distributed software architectures: a case study
FTDCS '97 Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computing Systems
Software Architecture Directed Behaviour Analysis
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software Reliability Engineering: A Roadmap
FOSE '07 2007 Future of Software Engineering
Early prediction of software component reliability
Proceedings of the 30th international conference on Software engineering
Hi-index | 0.00 |
Quantifying software reliability, such as performance and dependability, through stochastic behavior models (or labeled transition systems) is already a common practice in the software analysis community. However, those models are usually too fine grained to represent an accurate view of the software system by its stakeholders. Scenarios, on the other hand, are capable not only to describe the system traces as behavior models do but also depict very clearly the system components designed to provide the intended system behavior as well as to outline a high level architecture view of the system being described. In this paper, we introduce a case study of a safety critical computer based system that is running in an Indian Nuclear Power Plant. We define clear component interfaces, from which we analyze its software reliability.