Software for Automotive Systems: Model-Integrated Computing

  • Sandeep Neema
  • Gabor Karsai
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4147)


Embedded Automotive systems are becoming increasingly complex, and as such difficult to design and develop. Model-based approaches are gaining foothold in this area, and increasingly the system design and development is being conducted with model-based tools, most notably Matlab® Simulink® and Stateflow® from Mathworks Inc., among others. However, these tools are addressing only a limited aspect of the system design. Moreover, there is a lack of integration between these tools, which makes overall system design and development cumbersome and error-prone. Motivated by these shortcomings we have developed an approach, based on Model-Integrated Computing, a technology matured over a decade of research at ISIS, Vanderbilt University. The center-piece of this approach is a graphical modeling language, Embedded Control Systems Language for Distributed Processing (ECSL-DP). A suite of translators and tools have been developed that facilitate the integration of ECSL-DP with industry standard Simulink and Stateflow tools, and open the possibility for integration of other tools, by providing convenient and extensible interfaces. A code generator has been developed that synthesizes implementation code, configuration and firmware glue-code from models. The approach has been prototyped and evaluated with a medium scale example. The results demonstrate the promise of the approach, and points to interesting directions for further research.


Modeling Language Functional Design Automotive System Component Port Embed Control System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Karsai, G., Sztipanovits, J., Ledeczi, A., Bapty, T.: Model-Integrated Development of Embedded Software. Proceedings of the IEEE 91(1), 145–164 (2003)CrossRefGoogle Scholar
  2. 2.
    Generic Modeling Environment: a metaprogrammable modeling environment. The downloadable package includes detailed documentation and tutorial for modeling and metamodeling in GME, For details see,
  3. 3.
    Mathworks web-site,
  4. 4.
    Model-based Synthesis of Generators,
  5. 5.
    Lee, E.A., Messerschmidt, D.G.: Static scheduling of synchronous data flow programs for digital signal processing. Transactions on Computers C36(1), 24–35 (1987)MATHCrossRefGoogle Scholar
  6. 6.
    Harel, D.: StateCharts: A visual Formalism for Complex Systems. Science of Computer Programming 8, 231–278 (1987)MATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    Magyari, E., Bakay, A., Lang, A., Paka, T., Vizhanyo, A., Agrawal, A., Karsai, G.: UDM: An Infrastructure for Implementing Domain-Specific Modeling Languages. In: The 3rd OOPSLA Workshop on Domain-Specific Modeling, OOPSLA 2003, Anahiem, California, October 26 (2003)Google Scholar
  8. 8.
    Agrawal, A., Karsai, G., Ledeczi, A.: An End-to-End Domain-Driven Software Development Framework, Domain-Driven Development track. In: 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Anaheim, California, October 26 (2003)Google Scholar
  9. 9.
    Neema, S., Karsai, G.: Embedded Control Systems Language for Distributed Processing. ISIS Technical Report (2004)Google Scholar
  10. 10.
    Neema, S., Sztipanovits, J., Karsai, G., Butts, K.: Constraint-based Design-Space Exploration and Model Synthesis. In: Alur, R., Lee, I. (eds.) EMSOFT 2003. LNCS, vol. 2855, pp. 290–305. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  11. 11.
    Neema, S.: Analysis of Matlab Simulink and Stateflow Data Model, Technical Report, ISIS-01-204 (March 2001)Google Scholar
  12. 12.
    Neema, S., Karsai, G., Lang, A.: Tool integration patterns. In: Proceedings of Workshop on Tool Integration in System Development, European Software Engineering Conference, pp. 33–38 (2003)Google Scholar
  13. 13.
  14. 14.
  15. 15.
    Karsai, G., Neema, S., Abbott, B., Sharp, D.: A Modeling Languageand Its Supporting Tools for Avionics Systems. In: Proceedings of 21st Digital Avionics Systems Conf. (August 2002)Google Scholar
  16. 16.
  17. 17.
    Schurr, A.: PROGRES: A Visual Language and Environment for PROgramming with Graph REwrite Systems. Aachener Informatik Bericht 94-11, RWTH Aachen, Fachgruppe Informatik (1994)Google Scholar
  18. 18.
    Nagl, M., Schürr, A., Münch, M. (eds.): AGTIVE 1999. LNCS, vol. 1779. Springer, Heidelberg (2000)Google Scholar
  19. 19.
    Varró, D., Varró, G., Pataricza, A.: Designing the Automatic Transformation of Visual Languages. In: Science of Computer Programming, vol. 44, pp. 205–227. Elsevier, Amsterdam (2002)Google Scholar
  20. 20.
    Nickel, U., Niere, J., Zündorf, A.: Tool demonstration: The FUJABA environment. In: Proc. ICSE: The 22nd International Conference on Software Engineering, Limerick, Ireland, ACM Press, New York (2000)Google Scholar
  21. 21.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Sandeep Neema
    • 1
  • Gabor Karsai
    • 1
  1. 1.Institute for Software Integrated SystemsVanderbilt UniversityNashvilleUSA

Personalised recommendations