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

Imprint | Webmaster | Recent changes: 10.12.2010