On the development of reactive systems
Logics and models of concurrent systems
Metric framework for object-oriented real-time systems specification languages
Journal of Systems and Software
Architecture-based approach to reliability assessment of software systems
Performance Evaluation
Formal Methods for Real-Time Computing
Formal Methods for Real-Time Computing
User-perceptions of Embedded Software Quality
STEP '97 Proceedings of the 8th International Workshop on Software Technology and Engineering Practice (STEP '97) (including CASE '97)
Identifying High-Risk Scenarios of Complex Systems using Input Domain Partitioning
ISSRE '98 Proceedings of the The Ninth International Symposium on Software Reliability Engineering
A Bayesian Approach to Reliability Prediction and Assessment of Component Based Systems
ISSRE '01 Proceedings of the 12th International Symposium on Software Reliability Engineering
Deriving new measurements for real-time reactive systems
Deriving new measurements for real-time reactive systems
Assessing Uncertainty in Reliability of Component-Based Software Systems
ISSRE '03 Proceedings of the 14th International Symposium on Software Reliability Engineering
A Mathematical Theory of Communication
A Mathematical Theory of Communication
Experiments on quality evaluation of embedded software in Japan robot software design contest
Proceedings of the 28th international conference on Software engineering
Adequate and Precise Evaluation of Quality Models in Software Engineering Studies
PROMISE '07 Proceedings of the Third International Workshop on Predictor Models in Software Engineering
Using scenarios to predict the reliability of concurrent component-based software systems
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
| Hi-index | 0.00 |
The increasing trend toward complex software systems has highlighted the need to incorporate quality requirements earlier in the development cycle. We propose a new methodology for monitoring quality in the earliest phases of real-time reactive system (RTRS) development. The targeted quality characteristics are functional complexity, performance, reliability, architectural complexity, maintainability, and test coverage. All these characteristics should be continuously monitored throughout the RTRS development cycle, to provide decision support and detect the first signs of low or decreasing quality as the system design evolves. The ultimate goal of this methodology is to assist developers in dealing with complex user requirements and ensure that the formal development process yields a high-quality application. Each aspect of quality monitoring is formalized mathematically and illustrated using a train-gate-controller case study.