---
_id: '20794'
abstract:
- lang: eng
  text: Cyber-physische Systeme (CPSs) sind die nächste Generation von eingebetteten
    Systemen, die fortwährend ihre Zusammenarbeit koordinieren, um anspruchsvolle
    Funktionen zu erfüllen. Die Koordination zwischen ihnen kann in Software mittels
    asynchroner Nachrichtenkommunikation realisiert werden. Um die funktionale Korrektheit
    der Software zu gewährleisten, ist aufgrund der Kritikalität dieser Systeme eine
    formale Verifikation wie z.B. Model Checking notwendig. Die Eingabesprache eines
    Model Checkers unterstützt jedoch domänenspezifische Aspekte wie asynchrone Kommunikation
    nicht direkt, wodurch diese vom Softwareingenieur mittels zahlreicher Modellelemente
    spezifiziert werden müssen. Dies ist hochgradig komplex und somit fehleranfällig.
    Im Rahmen dieser Arbeit wird eine modellgetriebene Methode zur domänenspezifischen
    Spezifikation und vollautomatischen Verifikation der nachrichtenbasierten Koordination
    von CPSs präsentiert. Mit Hilfe dieser Methode kann der Softwareingenieur die
    Koordination kompakt modellieren und muss nicht länger verstehen, wie seine Spezifikation
    auf der Ebene des Model Checkers ausgedrückt wird. Insgesamt wird die Komplexität
    für den Softwareingenieur somit deutlich handhabbarer. Bezüglich der Spezifikation
    einer solchen Koordination definiert die Arbeit eine domänenspezifische Sprache
    namens Real-Time Coordination Protocols (RTCPs). Darüber hinaus wird eine domänenspezifische
    Sprache zur Spezifikation von Verifikationseigenschaften eingeführt und Entwurfsmuster
    für RTCPs präsentiert, um die Anzahl der Modellierungsfehler zu senken.
author:
- first_name: Stefan
  full_name: Dziwok, Stefan
  id: '3901'
  last_name: Dziwok
  orcid: http://orcid.org/0000-0002-8679-6673
citation:
  ama: Dziwok S. <i>Specification and Verification for Real-Time Coordination Protocols
    of Cyber-Physical Systems</i>. Paderborn University; 2017.
  apa: Dziwok, S. (2017). <i>Specification and Verification for Real-Time Coordination
    Protocols of Cyber-physical Systems</i>. Paderborn University.
  bibtex: '@book{Dziwok_2017, title={Specification and Verification for Real-Time
    Coordination Protocols of Cyber-physical Systems}, publisher={Paderborn University},
    author={Dziwok, Stefan}, year={2017} }'
  chicago: Dziwok, Stefan. <i>Specification and Verification for Real-Time Coordination
    Protocols of Cyber-Physical Systems</i>. Paderborn University, 2017.
  ieee: S. Dziwok, <i>Specification and Verification for Real-Time Coordination Protocols
    of Cyber-physical Systems</i>. Paderborn University, 2017.
  mla: Dziwok, Stefan. <i>Specification and Verification for Real-Time Coordination
    Protocols of Cyber-Physical Systems</i>. Paderborn University, 2017.
  short: S. Dziwok, Specification and Verification for Real-Time Coordination Protocols
    of Cyber-Physical Systems, Paderborn University, 2017.
date_created: 2020-12-17T13:32:52Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '76'
- _id: '241'
language:
- iso: eng
publisher: Paderborn University
status: public
title: Specification and Verification for Real-Time Coordination Protocols of Cyber-physical
  Systems
type: dissertation
user_id: '5786'
year: '2017'
...