@inproceedings{Gez2013,
Author = {Gezgin, Tayfun and Henkler, Stefan and Rettberg, Achim and Stierand, Ingo},
Title = {Contract-Based Compositional Scheduling Analysis for Evolving Systems},

Year = {2013},
Volume = {403},
Pages = {272-282},
Month = {06},
Publisher = {Springer Berlin Heidelberg},
Series = {IFIP Advances in Information and Communication Technology},
Isbn = {978-3-642-38852-1},
Booktitle = {Embedded Systems: Design, Analysis and Verification},
Doi = {10.1007/978-3-642-38853-8_25},
Url = {http://dx.doi.org/10.1007/978-3-642-38853-8_25},
type = {inproceedings},
note = {The objective of this work is the analysis and verification of distributed 
real-time systems. Such systems have to work in a timely manner in order to deliver 
the desired services. We consider a system architecture with multiple computation 
resource},
Abstract = {The objective of this work is the analysis and verification of distributed 
real-time systems. Such systems have to work in a timely manner in order to deliver 
the desired services. We consider a system architecture with multiple computation 
resources. The aim is to work out a compositional state-based analysis technique to determine exact response times and to validate end-to-end deadlines. 
Further, we consider such systems in a larger context, where a set of 
systems work in a collaborative and distributed fashion. 
A major aspect of such collaborative systems is 
the dynamic evolution. New systems can participate, 
existing systems may leave because of failures, or properties may change. 
We use contracts to encapsulate systems which work in a collaborative manner. These contracts define sound
timing bounds on services offered to the environment. When some systems evolve, only those parts which changed need to be
re-validated.}
}
@COMMENT{Bibtex file generated on }