Early quality monitoring in the development of real-time reactive systems

Journal of Systems and Software

Volumn 81, Issue 10, 2008, Pages 1738-1753

  Ormandjieva, O ^a   Alagar, V S ^a   Zheng, M ^b  

^a Dept of Electrical and Computer Engineering   (Canada)

^b UNIVERSITY OF WISCONSIN LA CROSSE   (United States)

Author keywords

Complexity; Early reliability assessment; Information theory; Maintainability; Markov chains; Performance; Quality measurement model; Real time reactive systems

Indexed keywords

CHLORINE COMPOUNDS; COMPUTER SOFTWARE; DECISION SUPPORT SYSTEMS; MAINTAINABILITY;

A-TRAIN; CASE STUDIES; COMPLEX SOFTWARE SYSTEMS; COMPLEXITY; DECISION SUPPORTS; DEVELOPMENT CYCLES; EARLY RELIABILITY ASSESSMENT; FORMAL DEVELOPMENT; FUNCTIONAL COMPLEXITY; HIGH-QUALITY; INFORMATION THEORY; MARKOV CHAINS; PERFORMANCE; QUALITY CHARACTERISTICS; QUALITY MEASUREMENT MODEL; QUALITY MONITORING; QUALITY REQUIREMENTS; REACTIVE SYSTEMS; REAL-TIME REACTIVE SYSTEMS; SYSTEM DESIGNS; TEST-COVERAGE; USER REQUIREMENTS;

REAL TIME SYSTEMS;

EID: 48849093123     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2007.12.808     Document Type: Article

References (23)

1. Abu Talib M., Ormandjieva O., Abran A., Khelifi A., and Buglione L. Scenario-based black-box testing in COSMIC-FFP: a case study. ASQ Software Quality Professional Journal 8 3 (2006) 23-33
2. Alagar V.S., 2001. TROMLAB: A Software Development Environment for Real-Time Reactive Systems, Technical Report, Concordia University, Montreal, Canada.
3. Asling Microsystems, Inc., 2007. Tools for Software Quality Assurance in Embedded Systems, (last visited in October 2007).
4. Cukic, B., Ammar H.H., Leteef, K., 1998. Identifying high-risk scenarios of complex systems using input domain partitioning. In: The Ninth International Symposium on Software Reliability Engineering, 4-7 November 1998, pp. 164-173.
5. Fenton N., and Pleefeger S. Software Metrics: A Rigorous & Practical Approach 2/e (1998), Chapman & Hall
6. Gosseva-Popstojanova K., Kamavaram, S., 2003. Assessing uncertainty in reliability of component-based software systems. In: 14th International Symposium Software Reliability Engineering, November 2003, pp. 307-320.
7. Gosseva-Popstojanova K., and Triveli K. Architecture-based approach to reliability assessment of software systems. Performance Evaluation Journal 45 2-3 (2001) 179-204
8. Harel, D., Pnueli, A., 1985. On the development of reactive systems, In: Logic and Models of Concurrent Systems, NATO, Advanced Study Institute on Logics and Models for Verification and Specification of Concurrent Systems, Springer Verlag. Prentice-Hall, Englewood Cliffs, New Jersey.
9. Heitmeyer C., and Mandrioli D. Formal Methods for Real-Time Computing (1996), John Wiley & Sons
10. IBM, 2004. IBM rational system testing family. Available form: .
11. IEEE Std 1061-1998, 1998. Software Quality Factor-Criteria-Metrics Framework.
12. International Standard ISO/IEC 9126-1, 2007. Software engineering - Product quality - Part 1: quality model. ISO/IEC 9126-1:2007.
13. Kusters, R., Van Solingen, V., Trienekens J.J.M., 1997. User-perceptions of embedded software quality. In: Eighth International Workshop on Software Technology and Engineering Practice (September 97), pp. 184-197.
14. Liu S.H., 2003. Simulated Validation of Real-Time Reactive Systems with Parameterized Events, Master's Thesis, Concordia University, Computer Science Department, Montreal, Canada.
15. Nesi P., and Campanai M. Metric framework for object-oriented real-time systems specification languages. Journal of Systems and Software 34 (1996) 43-65
16. Ormandjieva, O., 2002. Quality Measurements for Real-Time Reactive Systems, Ph.D Thesis, Concordia University, Montreal, Canada.
17. Ormandjieva O., Kuang H., and Vassev E. Reliability self-assessment in reactive autonomic systems: autonomic system-time reactive model approach. International Transactions on Systems Science and Applications 2 1 (2006) 99-104
18. Rodrigues G., Rosenblum D., and Uchitel S. Using scenarios to predict the reliability of concurrent component-based software systems. Lecture Notes in Computer Science 3442 (2005) 111-126
19. Shannon C.E. Weaver and Warren, The Mathematical Theory of Communication (1969), University of Illinois Press, Urbana, Chicago
20. Singh, H., Cortellessa, V., Cukic, B., Gunel, E., Bharadwaj, V., 2001. A Bayesian approach to reliability prediction and assessment of component based systems. In: Twelth International Symposium on Software Reliability Engineering(ISSRE'01), 2001, pp. 12-21.
21. Washizaki, H., Kobayashi, Y., Watanabe, H., 2006. Experiments on quality evaluation of embedded software in japan robot software design contest. In: Proceedings of the 28th international conference on Software engineering (ICSE'06), pp. 551-560.
22. Yacoub S., Cukic B., and Ammar H. A scenario based reliability analysis approach for component based software. IEEE Transactions on Reliability 53 4 (2004) 465-480
23. Yan M., and Cukic B. Adequate and precise evaluation of quality models in software engineering studies. International Workshop on Predictor Models in Software Engineering (2007) 1