Generating distributed code from cola models

Lecture Notes in Electrical Engineering

Volumn 33 LNEE, Issue , 2009, Pages 265-279

  Haberl, Wolfgang ^a   Tautschnig, Michael ^a   Baumgarten, Uwe ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

Automated translation; Code generation; Component language; Distributed code; Hardware system

Indexed keywords

AUTOMATED TRANSLATION; CODE GENERATION; COMPONENT LANGUAGE; DISTRIBUTED CODE; HARDWARE SYSTEM;

AUTOMATION; EMBEDDED SYSTEMS; INTEGRATED OPTICS; LINGUISTICS; NETWORK COMPONENTS;

TRANSLATION (LANGUAGES);

EID: 78651589397     PISSN: 18761100     EISSN: 18761119     Source Type: Book Series    
DOI: 10.1007/978-1-4020-9532-0_20     Document Type: Conference Paper

References (17)

1. Bauer, A., Broy, M., Romberg, Jan, S., Bernhard, B., Peter, F., Ulrich, M., Nuria, 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.
2. Booch, G., Rumbaugh, J., and Jacobson, I. (1998). The Unified Modeling Language User Guide. Addison-Wesley, New York.
3. 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.
4. 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.
5. Henzinger, T. A. and Sifakis, J. (2007). The discipline of embedded systems design. IEEE Computer, 40(10):32-40.
6. 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.
7. 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.
8. 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.
9. Kugele, S., Tautschnig, M., Bauer, A., Schallhart, C., Merenda, S., Haberl, W., Kuhnel, C., Muller, F., Wang, Z., Wild, D., Rittmann, S., and Wechs, M. (2007). COLA - The component language. Technical Report TUM-I0714, Institut fur Informatik, Technische Universität Munchen.
10. Kuhnel, 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.
11. 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
12. Reuter, J. W. (2004). Analysis and comparison of 3 code generation tools. In Proceedings of the SAE 2004 World Congress. Society of Automotive Engineers.
13. Robert Bosch GmbH (2007). Kraftfahrtechnisches Taschenbuch. Vieweg, 26th edition.
14. Sangiovanni-Vincentelli, A. and Natale, M. D. (2007). Embedded system design for embedded automotive applications. Computer, 40(10):42-51.
15. 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.
16. 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.
17. 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.