2015 | OriginalPaper | Buchkapitel
Modular Design and Verification of Distributed Adaptive Real-Time Systems
verfasst von : Thomas Göthel, Björn Bartels
Erschienen in: Nature of Computation and Communication
Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.