Research Article
Modular Design and Verification of Distributed Adaptive Real-Time Systems
365 downloads
@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
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.
Copyright © 2014–2024 ICST
