Formal methods @ runtime

Radu Calinescu; Shinji Kikuchi

doi:10.1007/978-3-642-21292-5_7

Formal methods @ runtime

Radu Calinescu^*, Shinji Kikuchi

^*Corresponding author for this work

Research output: Chapter in Book/Published conference output › Conference publication

Abstract

Heuristics, simulation, artificial intelligence techniques and combinations thereof have all been employed in the attempt to make computer systems adaptive, context-aware, reconfigurable and self-managing. This paper complements such efforts by exploring the possibility to achieve runtime adaptiveness using mathematically-based techniques from the area of formal methods. It is argued that formal methods @ runtime represents a feasible approach, and promising preliminary results are summarised to support this viewpoint. The survey of existing approaches to employing formal methods at runtime is accompanied by a discussion of their challenges and of the future research required to overcome them.

Original language	English
Title of host publication	Foundations of computer software. Modeling, development, and verification of adaptive systems
Subtitle of host publication	16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, revised selected papers
Place of Publication	Berlin (DE)
Publisher	Springer
Pages	122-135
Number of pages	14
ISBN (Electronic)	978-3-642-21292-5
ISBN (Print)	978-3-6422-1291-8
DOIs	https://doi.org/10.1007/978-3-642-21292-5_7
Publication status	Published - 2011
Event	16th Monterey Workshop 2010 on Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems - Redmond, WA, United States Duration: 31 Mar 2010 → 2 Apr 2010

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	6662
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Workshop

Workshop	16th Monterey Workshop 2010 on Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems
Country/Territory	United States
City	Redmond, WA
Period	31/03/10 → 2/04/10

Access to Document

10.1007/978-3-642-21292-5_7

Cite this

Calinescu, R., & Kikuchi, S. (2011). Formal methods @ runtime. In Foundations of computer software. Modeling, development, and verification of adaptive systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, revised selected papers (pp. 122-135). (Lecture Notes in Computer Science; Vol. 6662). Springer. https://doi.org/10.1007/978-3-642-21292-5_7

@inproceedings{13e4b85cd504422d87d9449be21d133e,

title = "Formal methods @ runtime",

abstract = "Heuristics, simulation, artificial intelligence techniques and combinations thereof have all been employed in the attempt to make computer systems adaptive, context-aware, reconfigurable and self-managing. This paper complements such efforts by exploring the possibility to achieve runtime adaptiveness using mathematically-based techniques from the area of formal methods. It is argued that formal methods @ runtime represents a feasible approach, and promising preliminary results are summarised to support this viewpoint. The survey of existing approaches to employing formal methods at runtime is accompanied by a discussion of their challenges and of the future research required to overcome them.",

author = "Radu Calinescu and Shinji Kikuchi",

year = "2011",

doi = "10.1007/978-3-642-21292-5_7",

language = "English",

isbn = "978-3-6422-1291-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "122--135",

booktitle = "Foundations of computer software. Modeling, development, and verification of adaptive systems",

address = "Germany",

note = "16th Monterey Workshop 2010 on Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems ; Conference date: 31-03-2010 Through 02-04-2010",

}

Calinescu, R & Kikuchi, S 2011, Formal methods @ runtime. in Foundations of computer software. Modeling, development, and verification of adaptive systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, revised selected papers. Lecture Notes in Computer Science, vol. 6662, Springer, Berlin (DE), pp. 122-135, 16th Monterey Workshop 2010 on Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems, Redmond, WA, United States, 31/03/10. https://doi.org/10.1007/978-3-642-21292-5_7

Formal methods @ runtime. / Calinescu, Radu; Kikuchi, Shinji.
Foundations of computer software. Modeling, development, and verification of adaptive systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, revised selected papers. Berlin (DE): Springer, 2011. p. 122-135 (Lecture Notes in Computer Science; Vol. 6662).

Research output: Chapter in Book/Published conference output › Conference publication

TY - GEN

T1 - Formal methods @ runtime

AU - Calinescu, Radu

AU - Kikuchi, Shinji

PY - 2011

Y1 - 2011

N2 - Heuristics, simulation, artificial intelligence techniques and combinations thereof have all been employed in the attempt to make computer systems adaptive, context-aware, reconfigurable and self-managing. This paper complements such efforts by exploring the possibility to achieve runtime adaptiveness using mathematically-based techniques from the area of formal methods. It is argued that formal methods @ runtime represents a feasible approach, and promising preliminary results are summarised to support this viewpoint. The survey of existing approaches to employing formal methods at runtime is accompanied by a discussion of their challenges and of the future research required to overcome them.

AB - Heuristics, simulation, artificial intelligence techniques and combinations thereof have all been employed in the attempt to make computer systems adaptive, context-aware, reconfigurable and self-managing. This paper complements such efforts by exploring the possibility to achieve runtime adaptiveness using mathematically-based techniques from the area of formal methods. It is argued that formal methods @ runtime represents a feasible approach, and promising preliminary results are summarised to support this viewpoint. The survey of existing approaches to employing formal methods at runtime is accompanied by a discussion of their challenges and of the future research required to overcome them.

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

UR - http://link.springer.com/chapter/10.1007%2F978-3-642-21292-5_7

U2 - 10.1007/978-3-642-21292-5_7

DO - 10.1007/978-3-642-21292-5_7

M3 - Conference publication

AN - SCOPUS:79960010485

SN - 978-3-6422-1291-8

T3 - Lecture Notes in Computer Science

SP - 122

EP - 135

BT - Foundations of computer software. Modeling, development, and verification of adaptive systems

PB - Springer

CY - Berlin (DE)

T2 - 16th Monterey Workshop 2010 on Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems

Y2 - 31 March 2010 through 2 April 2010

ER -

Formal methods @ runtime

Abstract

Publication series

Workshop

Access to Document

Other files and links

Fingerprint

Cite this