This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2009 WRI World Congress on Computer Science and Information Engineering
Reliability Analysis in the Early Development of Real-Time Reactive Systems
Los Angeles, California USA
March 31-April 02
ISBN: 978-0-7695-3507-4
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.
Index Terms:
Real-Time Reactive Systems, Reliability Assessment, Markov Chains
Citation:
Mao Zheng, Olga Ormandjieva, "Reliability Analysis in the Early Development of Real-Time Reactive Systems," csie, vol. 7, pp.807-812, 2009 WRI World Congress on Computer Science and Information Engineering, 2009
Usage of this product signifies your acceptance of the Terms of Use.