Publications
Details for G03b_ag
| Title: A Formal Calculus for the Compositional Pattern-Based Design of Correct Real-Time Systems. |
| Booktitle: |
| Written by: H. Giese: |
| in: July 2003 |
| Volume: Number: tr-ri-03-240 |
| on pages: |
| Chapter: |
| Editor: |
| Publisher: |
| Series: |
| Address: Paderborn, Deutschland |
| Edition: |
| ISBN: |
| how published: |
| Organization: |
| School: |
| Institution: Lehrstuhl für Softwaretechnik, Universität Paderborn |
| ISSN: |
| Doi: |
| File: tr-ri-03-240.pdf |
| URL: |
Note:
Abstract: The trend towards more complex software within today's technical systems results in an increasing demand for dependable high quality software for real-time systems. In this report the foundations for the compositional pattern-based design of correct high level designs and architectures for real-time systems are presented. A formal calculus including a notion of discrete-time automata, a deadlock preserving refinement notion, and a class of supported compositional constraints is developed. It permits to design the required complex cooperation between the system components using verified patterns and includes support to derived the related correct component behavior in a systematic manner, such that the components itself do not invalidate the verified cooperation patterns.
Eintrag als Bibtex exportieren