Lecture Notes in Computer Science, 2007, Volume 4591/2007, 439-458, DOI: 10.1007/978-3-540-73210-5_23

A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems

Larissa Meinicke and Graeme Smith

View Related Documents

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 - refinement - probability - real-time - reliability

Fulltext Preview

Image of the first page of the fulltext document