I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Optimizing Automatic Deployment Using Non-functional Requirement Annotations


Stefan Kugele, Wolfgang Haberl, Michael Tautschnig, and Martin Wechs. Optimizing automatic deployment using non-functional requirement annotations. In Tiziana Margaria and Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation, volume 17 of CCIS, pages 400–414. Springer, 2008.


Model-driven development has become common practice in the design of safety-critical real-time systems. High-level modeling constructs help to reduce the overall system complexity apparent to developers. This abstraction caters for less implementation faults included in the resulting systems. In order to retain the correctness of the model down to the software executed on a concrete platform, human faults during implementation must be avoided. This demands for an automatic, unattended deployment process including allocation, scheduling, and platform configuration. In this paper, we introduce the concept of a systems compiler using non-functional requirements (NFR) as a guidance for deployment of real-time systems. The postulated requirements are then used to optimize the allocation decision, i.e., the process of mapping model entities to available computing nodes, as well as the subsequent generation of schedules.

Suggested BibTeX entry:

    author = {Stefan Kugele and Wolfgang Haberl and Michael Tautschnig and Martin Wechs},
    booktitle = {Leveraging Applications of Formal Methods, Verification and Validation},
    editor = {Tiziana Margaria and Bernhard Steffen},
    pages = {400--414},
    publisher = {Springer},
    series = {CCIS},
    title = {Optimizing Automatic Deployment Using Non-functional Requirement Annotations},
    volume = {17},
    year = {2008}

PDF (221 kB)