A stepwise development process for reasoning about the reliability of real-time systems

Meinicke, L. and Smith, G. (2007). A stepwise development process for reasoning about the reliability of real-time systems. In: J. Davies and J. Gibbons, Integrated Formal Methods 2007. 6th International Conference: IFM 2007 - Integrated Formal Methods, Oxford, U.K., (439-458). 2-5 July 2007. doi:10.1007/978-3-540-73210-5_23


Author Meinicke, L.
Smith, G.
Title of paper A stepwise development process for reasoning about the reliability of real-time systems
Conference name 6th International Conference: IFM 2007 - Integrated Formal Methods
Conference location Oxford, U.K.
Conference dates 2-5 July 2007
Proceedings title Integrated Formal Methods 2007   Check publisher's open access policy
Journal name Integrated Formal Methods, Proceedings   Check publisher's open access policy
Place of Publication Berlin, Germany
Publisher Springer-Verlag
Publication Year 2007
Sub-type Fully published paper
DOI 10.1007/978-3-540-73210-5_23
ISBN 978-3-540-73209-9
ISSN 0302-9743
1611-3349
Editor J. Davies
J. Gibbons
Volume 4591
Start page 439
End page 458
Total pages 20
Collection year 2008
Language eng
Abstract/Summary This paper investigates the use of the probabilistic and continuous extensions of action systems in the development and calculation of reliability of continuous, real-time systems. Rather than develop a new semantics to formally combine the existing extensions, it investigates a methodology for using them together, and the conditions under which this methodology is sound. A key feature of the methodology is that it simplifies the development process by separating the probabilistic calculations of system reliability from the details of the system’s real-time, continuous behaviour.
Subjects 280302 Software Engineering
E1
700199 Computer software and services not elsewhere classified
Keyword Action systems
Refinement
Probability
Real-time
Reliability
Q-Index Code E1
Q-Index Status Confirmed Code

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 1 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Fri, 02 May 2008, 17:11:03 EST by Donna Clark on behalf of School of Information Technol and Elec Engineering