2006 | OriginalPaper | Chapter
Formal Modeling and Verification of Systems with Self-x Properties
Authors : Matthias Güdemann, Frank Ortmeier, Wolfgang Reif
Published in: Autonomic and Trusted Computing
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.