@inproceedings{f614f6dbb9684a66996406d2d7349771,
title = "A stepwise development process for reasoning about the reliability of real-time systems",
abstract = "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.",
keywords = "Action systems, Probability, Real-time, Refinement, Reliability",
author = "Larissa Meinicke and Graeme Smith",
year = "2007",
language = "English",
isbn = "3540732098",
volume = "4591 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "439--458",
editor = "Jim Davies and Jeremy Gibbons",
booktitle = "Integrated Formal Methods - 6th International Conference, IFM 2007, Proceedings",
note = "6th International Conference on Integrated Formal Methods, IFM 2007 ; Conference date: 02-07-2007 Through 05-07-2007",
}