Matthias Güdemann, Frank Ortmeier, Wolfgang Reif: Formal Modeling and Verification of Systems with Self-x Properties. Proceedings of the 3rd International Conference on Autonomic and Trusted Computing (ATC-06), 4158 , Lecture Notes in Computer Science Springer, Berlin/Heidelberg, 2006, ISBN: 978-3-540-38619-3.

Abstract

In this paper we present a case study in formal modeling and verification of systems with self-x properties. The example is a flexible robot production cell reacting to system failures and changing goals. The self-x mechanisms make the system more flexible and robust but endanger its functional correctness or other quality guarantees. We show how to verify such adaptive systems with a restore-invariant'' approach.

BibTeX (Download)

@conference{selfxGOR2006full,
title = {Formal Modeling and Verification of Systems with Self-x Properties},
author = { Matthias G\"{u}demann and Frank Ortmeier and Wolfgang Reif},
editor = {Laurence T. Yang and Hai Jin and Jianhua Ma and Theo Ungerer},
url = {https://cse.cs.ovgu.de/cse-wordpress/wp-content/uploads/2017/10/Formal_Modeling_and_Verification_of_Systems_with_Self-x_Properties.pdf},
isbn = {978-3-540-38619-3},
year  = {2006},
date = {2006-09-01},
booktitle = {Proceedings of the 3rd International Conference on Autonomic and Trusted Computing (ATC-06)},
volume = {4158},
pages = {38--47},
publisher = {Springer},
address = {Berlin/Heidelberg},
series = {Lecture Notes in Computer Science},
abstract = {In this paper we present a case study in formal modeling and verification of systems with self-x properties. The example is a flexible robot production cell reacting to system failures and changing goals. The self-x mechanisms make the system more flexible and robust but endanger its functional correctness or other quality guarantees. We show how to verify such adaptive systems with a restore-invariant'' approach.},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}