Abstract
Model driven development (MDD) is well established as a means of tackling the complexity involved in designing such distributed embedded systems. The complexity of the modeled system not only necessitates proper abstractions, but also calls for automation to take a model to an executable object, and later to a functional integrated system. An automated translation reduces errors, guarantees reproducible results, and thus improves overall quality. We focus on automation of the translation steps. Using COLA, we need not handle a multitude of heterogeneous models, but rather benefit from the consistent modeling formalism and start with a single, behavioral, model. It provides a clustering of application components which define the tasks that must be allocated to hardware nodes contained in the platform model. The obtained executables are tailored towards the specific platform and require no further manual intervention before effective installation (flashing) onto the target hardware system.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
References
Bauer, A., Broy, M., Romberg, Jan, S., Bernhard, B., Peter, F., Ulrich, M., Núria, S., Robert, and Ziegenbein, D. (2005). AutoMoDe — Notations, Methods, and Tools for Model-Based Development of Automotive Software. In Proceedings of the SAE 2005 World Congress. Society of Automotive Engineers.
Booch, G., Rumbaugh, J., and Jacobson, I. (1998). The Unified Modeling Language User Guide. Addison-Wesley, New York.
Broy, M. (2005). Automotive software and systems engineering (panel). In Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), pages 143–149. IEEE.
Haberl, W., Birke, J., and Baumgarten, U. (2008). A Middleware for Model-Based Embedded Systems. In Proceedings of the 2008 International Conference on Embedded Systems and Applications, ESA 2008, Las Vegas, Nevada, USA.
Henzinger, T. A. and Sifakis, J. (2007). The discipline of embedded systems design. IEEE Computer, 40(10):32–40.
Kopetz, H. (1998). The time-triggered architecture. In ISORC ’98: Proceedings of the The 1st IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, page 22, Washington, DC, USA. IEEE Computer Society.
Kugele, S. and Haberl, W. (2008). Mapping Data-Flow Dependencies onto Distributed Embedded Systems. In Proceedings of the 2008 International Conference on Software Engineering Research & Practice, SERP 2008, Las Vegas, Nevada, USA.
Kugele, S., Haberl, W., Tautschnig, M., and Wechs, M. (2008). Optimizing automatic deployment using non-functional requirement annotations. In Proceedings of International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Springer, New York To appear.
Kugele, S., Tautschnig, M., Bauer, A., Schallhart, C., Merenda, S., Haberl, W., Kühnel, C., Müller, F., Wang, Z., Wild, D., Rittmann, S., and Wechs, M. (2007). COLA – The component language. Technical Report TUM-I0714, Institut für Informatik, Technische Universität München.
Kühnel, C., Bauer, A., and Tautschnig, M. (2007). Compatibility and reuse in component-based systems via type and unit inference. In Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA). IEEE Computer Society Press.
Moore, E. F. (1956). Gedanken-experiments on sequential machines. In Shannon, Claude E. and MacCarthy, J., editors, Automata Studies, pages 129–153. Princeton University Press, Princeton, NJ
Reuter, J. W. (2004). Analysis and comparison of 3 code generation tools. In Proceedings of the SAE 2004 World Congress. Society of Automotive Engineers.
Robert Bosch GmbH (2007). Kraftfahrtechnisches Taschenbuch. Vieweg, 26th edition.
Sangiovanni-Vincentelli, A. and Natale, M. D. (2007). Embedded system design for embedded automotive applications. Computer, 40(10):42–51.
Schulz, S., Rozenblit, J. W., and Buchenrieder, K. (2002). Multilevel testing for design verification of embedded systems. IEEE Design & Test of Computers, 19(2):60–69.
Whalen, M. W. and Heimdahl, M. P. E. (1999). An approach to automatic code generation for safety-critical systems. In Proceedings of the 14th IEEE International Conference on Automated Software Engineering, pages 315–318.
Wybo, D. and Putti, D. (1999). A qualitative analysis of automatic code generation tools for automotive powertrain applications. In Proceedings of the 1999 IEEE International Symposium on Computer Aided Control System Design, pages 225–230.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer Science+Business Media B.V
About this chapter
Cite this chapter
Haberl, W., Tautschnig, M., Baumgarten, U. (2009). Generating Distributed Code from Cola Models. In: Wai, PK., Huang, X., Ao, SI. (eds) Trends in Communication Technologies and Engineering Science. Lecture Notes in Electrical Engineering, vol 33. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-9532-0_20
Download citation
DOI: https://doi.org/10.1007/978-1-4020-9532-0_20
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-9492-7
Online ISBN: 978-1-4020-9532-0
eBook Packages: EngineeringEngineering (R0)