The Community for Technology Leaders
Computer Science and Information Engineering, World Congress on (2009)
Los Angeles, California USA
Mar. 31, 2009 to Apr. 2, 2009
ISBN: 978-0-7695-3507-4
pp: 807-812
The increasing trend toward complex software systems has highlighted the need to incorporate quality requirements earlier in the development process. Reliability is one of the important quality indicators of such systems. This paper proposes a reliability analysis approach to measure reliability in the early development of real-time reactive systems (RTRS). The goal is to provide decision support and detect the first signs of low or decreasing reliability as the system design evolves. The analysis is conducted in a formal development environment for RTRS, formalized mathematically and illustrated using a train-gate-controller case study.
Real-Time Reactive Systems, Reliability Assessment, Markov Chains
Olga Ormandjieva, Mao Zheng, "Reliability Analysis in the Early Development of Real-Time Reactive Systems", Computer Science and Information Engineering, World Congress on, vol. 07, no. , pp. 807-812, 2009, doi:10.1109/CSIE.2009.297
97 ms
(Ver 3.3 (11022016))