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

Larissa Meinicke; Graeme Smith

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

Larissa Meinicke^*, Graeme Smith

^*Corresponding author for this work

Department of Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

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 language	English
Title of host publication	Integrated Formal Methods - 6th International Conference, IFM 2007, Proceedings
Editors	Jim Davies, Jeremy Gibbons
Pages	439-458
Number of pages	20
Volume	4591 LNCS
Publication status	Published - 2007
Event	6th International Conference on Integrated Formal Methods, IFM 2007 - Oxford, United Kingdom Duration: 2 Jul 2007 → 5 Jul 2007

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4591 LNCS
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Other

Other	6th International Conference on Integrated Formal Methods, IFM 2007
Country	United Kingdom
City	Oxford
Period	2/07/07 → 5/07/07

Keywords

Action systems
Probability
Real-time
Refinement
Reliability

Access to Document

Link to publication in Scopus

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).

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

@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",

}

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, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4591 LNCS, pp. 439-458, 6th International Conference on Integrated Formal Methods, IFM 2007, Oxford, United Kingdom, 2/07/07.

A stepwise development process for reasoning about the reliability of real-time systems. / Meinicke, Larissa; Smith, Graeme.

Integrated Formal Methods - 6th International Conference, IFM 2007, Proceedings. ed. / Jim Davies; Jeremy Gibbons. Vol. 4591 LNCS 2007. p. 439-458 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4591 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

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

AU - Meinicke, Larissa

AU - Smith, Graeme

PY - 2007

Y1 - 2007

N2 - 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.

AB - 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.

KW - Action systems

KW - Probability

KW - Real-time

KW - Refinement

KW - Reliability

UR - http://www.scopus.com/inward/record.url?scp=38149032846&partnerID=8YFLogxK

M3 - Conference proceeding contribution

AN - SCOPUS:38149032846

SN - 3540732098

SN - 9783540732099

VL - 4591 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 439

EP - 458

BT - Integrated Formal Methods - 6th International Conference, IFM 2007, Proceedings

A2 - Davies, Jim

A2 - Gibbons, Jeremy

T2 - 6th International Conference on Integrated Formal Methods, IFM 2007

Y2 - 2 July 2007 through 5 July 2007

ER -

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