Modular Design and Verification of Distributed Adaptive Real-Time Systems

Thomas Göthel; Björn Bartels

Nature of Computation and Communication. International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers

Research Article

Modular Design and Verification of Distributed Adaptive Real-Time Systems

Download

318 downloads

Cite: BibTeX Plain Text

@INPROCEEDINGS{10.1007/978-3-319-15392-6_1,
    author={Thomas G\o{}thel and Bj\o{}rn Bartels},
    title={Modular Design and Verification of Distributed Adaptive Real-Time Systems},
    proceedings={Nature of Computation and Communication. International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers},
    proceedings_a={ICTCC},
    year={2015},
    month={2},
    keywords={Adaptive Systems Modelling Verification Timed CSP},
    doi={10.1007/978-3-319-15392-6_1}
}

Thomas Göthel
Björn Bartels
Year: 2015
Modular Design and Verification of Distributed Adaptive Real-Time Systems
ICTCC
ICST
DOI: 10.1007/978-3-319-15392-6_1

Thomas Göthel¹^,*, Björn Bartels¹^,*

1: Technische Universität Berlin

*Contact email: thomas.goethel@tu-berlin.de, bjoern.bartels@tu-berlin.de

Abstract

We present and apply a design pattern for distributed adaptive real-time systems using the process calculus Timed CSP. It provides a structured modelling approach that is able to cope with the complexity of distributed adaptive real-time systems caused by the interplay of external stimuli, internal communication and timing dependencies. The pattern allows to differentiate between functional data and adaptive control data. Furthermore, we enable the modular verification of functional and adaptation behaviour using the notion of process refinement in Timed CSP. The verification of refinements and crucial properties is automated using industrial-strength proof tools.

Keywords: Adaptive Systems Modelling Verification Timed CSP

Published: 2015-02-05
Appears in: SpringerLink

: http://dx.doi.org/10.1007/978-3-319-15392-6_1