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

Larissa Meinicke*, Graeme Smith

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

3 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationIntegrated Formal Methods - 6th International Conference, IFM 2007, Proceedings
EditorsJim Davies, Jeremy Gibbons
Pages439-458
Number of pages20
Volume4591 LNCS
Publication statusPublished - 2007
Event6th International Conference on Integrated Formal Methods, IFM 2007 - Oxford, United Kingdom
Duration: 2 Jul 20075 Jul 2007

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4591 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other6th International Conference on Integrated Formal Methods, IFM 2007
CountryUnited Kingdom
CityOxford
Period2/07/075/07/07

Keywords

  • Action systems
  • Probability
  • Real-time
  • Refinement
  • Reliability

Fingerprint Dive into the research topics of 'A stepwise development process for reasoning about the reliability of real-time systems'. Together they form a unique fingerprint.

  • Cite this

    Meinicke, L., & Smith, G. (2007). A stepwise development process for reasoning about the reliability of real-time systems. In J. Davies, & J. Gibbons (Eds.), Integrated Formal Methods - 6th International Conference, IFM 2007, Proceedings (Vol. 4591 LNCS, pp. 439-458). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4591 LNCS).