A Component-Based Approach to Hybrid Systems Safety Verification

Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer

Research output: Chapter in Book/Report/Conference proceedingsConference contributionpeer-review

14 Citations (Scopus)

Abstract

We study a component-based approach to simplify the challenges of verifying large-scale hybrid systems. Component-based modeling can be used to split large models into partial models to reduce modeling complexity. Yet, verification results also need to transfer from components to composites. In this paper, we propose a component-based hybrid system verification approach that combines the advantages of component-based modeling (e.g., reduced model complexity) with the advantages of formal verification (e.g., guaranteed contract compliance). Our strategy is to decompose the system into components, verify their local safety individually and compose them to form an overall system that provably satisfies a global contract, without proving the whole system. We introduce the necessary formalism to define the structure and behavior of components and a technique how to compose components such that safety properties provably emerge from component safety.

Original languageEnglish (American)
Title of host publicationIntegrated Formal Methods - 12th International Conference, IFM 2016, Proceedings
EditorsErika Ábrahám, Marieke Huisman
Pages441 - 456
Number of pages16
DOIs
Publication statusPublished - 2016

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9681
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Keywords

  • Component-based development
  • Formal verification
  • Hybrid systems

Fingerprint

Dive into the research topics of 'A Component-Based Approach to Hybrid Systems Safety Verification'. Together they form a unique fingerprint.

Cite this