Abstract
Model-driven development has become common practice in 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 fewer implementation errors in the resulting systems. In order to retain correctness of the model down to the software executed on a concrete platform, human faults during implementation must be avoided. This calls 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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Broy, M.: Automotive software and systems engineering (panel). In: MEMOCODE, pp. 143–149 (2005)
Pretschner, A., Broy, M., Krüger, I.H., Stauner, T.: Software engineering for automotive systems: A roadmap. In: FOSE 2007, pp. 55–71 (2007)
Henzinger, T.A., Sifakis, J.: The discipline of embedded systems design. IEEE Computer 40(10), 32–40 (2007)
Dinkel, M., Baumgarten, U.: Modeling nonfunctional requirements: a basis for dynamic systems management. SIGSOFT Softw. Eng. Notes 30(4), 1–8 (2005)
Kugele, S., Tautschnig, M., Bauer, A., Schallhart, C., Merenda, S., Haberl, W., Kühnel, C., Müller, F., Wang, Z., Wild, D., Rittmann, S., Wechs, M.: COLA – The component language. Technical Report TUM-I0714, Institut für Informatik, Technische Universität München (September 2007)
Wuyts, R., Ducasse, S.: Non-functional requirements in a component model for embedded systems. In: SAVCBS 2001 (2001)
Object Management Group: Uml profile for modeling and analysis of real-time and embedded systems (marte). OMG document: ptc/07-08-04 (2007)
Espinoza, H., Dubois, H., Gérard, S., Pasaje, J.L.M., Petriu, D.C., Woodside, C.M.: Annotating UML models with non-functional properties for quantitative analysis. In: MoDELS Satellite Events, pp. 79–90 (2005)
Matic, S., Goraczko, M., Liu, J., Lymberopoulos, D., Priyantha, B., Zhao, F.: Resource modeling and scheduling for extensible embedded platforms. Technical Report MSR-TR-2006-176, Microsoft Reasearch, One Microsoft Way, Redmond, WA, USA (2006)
Kopetz, H., Obermaisser, R., Peti, P., Suri, N.: From a federated to an integrated architecture for dependable embedded real-time systems. Technical Report 22, Technische Universität Wien, Institut für Technische Informatik, Austria (2004)
The MathWorks Inc.: Using Simulink (2000)
Berry, G., Gonthier, G.: The esterel synchronous programming language: design, semantics, implementation. Sci. Comput. Program 19(2), 87–152 (1992)
Bauer, A., Broy, M., Romberg, J., Schätz, B., Braun, P., Freund, U., Mata, N., Sandner, R., Ziegenbein, D.: AutoMoDe — Notations, Methods, and Tools for Model-Based Development of Automotive Software. In: Proceedings of the SAE 2005 World Congress, Detroit, MI. Society of Automotive Engineers (April 2005)
Caspi, P., Curic, A., Maignan, A., Sofronis, C., Tripakis, S., Niebert, P.: From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications. In: LCTES, pp. 153–162. ACM, New York (2003)
Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous data-flow programming language LUSTRE. Proceedings of the IEEE 79(9), 1305–1320 (1991)
Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1998)
IEEE: IEEE Std 830-1998: IEEE Recommended Practice for Software Requirements Specifications. Institute of Electrical and Electronics Engineers (1998)
Maraninchi, F., Rémond, Y.: Mode-automata: a new domain-specific construct for the development of safe critical systems. Science of Computer Programming 46(3), 219–254 (2003)
Kugele, S., Haberl, W.: Mapping Data-Flow Dependencies onto Distributed Embedded Systems. In: SERP 2008, Las Vegas, Nevada, USA (July 2008)
Zheng, W., Zhu, Q., Natale, M.D., Vincentelli, A.S.: Definition of task allocation and priority assignment in hard real-time distributed systems. In: RTSS 2007, Washington, DC, USA, pp. 161–170. IEEE Computer Society Press, Los Alamitos (2007)
Metzner, A., Herde, C.: Rtsat–an optimal and efficient approach to the task allocation problem in distributed architectures. In: RTSS, pp. 147–158 (2006)
Schild, K., Würtz, J.: Off-line scheduling of a real-time system. In: Proceedings of the 1998 ACM symposium on Applied Computing (January 1998)
Haberl, W., Tautschnig, M., Baumgarten, U.: Running COLA on Embedded Systems. In: IMECS 2008 (March 2008)
Haberl, W., Baumgarten, U., Birke, J.: A Middleware for Model-Based Embedded Systems. In: ESA 2008, Las Vegas, Nevada, USA (July 2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kugele, S., Haberl, W., Tautschnig, M., Wechs, M. (2008). Optimizing Automatic Deployment Using Non-functional Requirement Annotations. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. ISoLA 2008. Communications in Computer and Information Science, vol 17. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88479-8_28
Download citation
DOI: https://doi.org/10.1007/978-3-540-88479-8_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-88478-1
Online ISBN: 978-3-540-88479-8
eBook Packages: Computer ScienceComputer Science (R0)