Abstract
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.
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
Karsai, G., Sztipanovits, J., Ledeczi, A., Bapty, T.: Model-Integrated Development of Embedded Software. Proceedings of the IEEE 91(1), 145–164 (2003)
Generic Modeling Environment: a metaprogrammable modeling environment. The downloadable package includes detailed documentation and tutorial for modeling and metamodeling in GME, For details see, http://www.isis.vanderbilt.edu/projects/GME/
Mathworks web-site, http://www.mathworks.com
Model-based Synthesis of Generators, http://www.isis.vanderbilt.edu/projects/MoBIES
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)
Harel, D.: StateCharts: A visual Formalism for Complex Systems. Science of Computer Programming 8, 231–278 (1987)
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)
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)
Neema, S., Karsai, G.: Embedded Control Systems Language for Distributed Processing. ISIS Technical Report (2004)
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)
Neema, S.: Analysis of Matlab Simulink and Stateflow Data Model, Technical Report, ISIS-01-204 (March 2001)
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)
ESCHER Web-site, http://escher.isis.vanderbilt.edu
Meta Object Facility, http://www.omg.org/technology/documents/formal/mof.htm
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)
Blanc, X.: ModelBus: A ModelWare White Paper, http://www.modelware-ist.org/public_documents/ModelBusWhitePaper_MDDI.pdf
Schurr, A.: PROGRES: A Visual Language and Environment for PROgramming with Graph REwrite Systems. Aachener Informatik Bericht 94-11, RWTH Aachen, Fachgruppe Informatik (1994)
Nagl, M., Schürr, A., Münch, M. (eds.): AGTIVE 1999. LNCS, vol. 1779. Springer, Heidelberg (2000)
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)
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)
http://www.vector-informatik.com/english/index.html?./products?davinci.html
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Neema, S., Karsai, G. (2006). Software for Automotive Systems: Model-Integrated Computing. In: Broy, M., Krüger, I.H., Meisinger, M. (eds) Automotive Software – Connected Services in Mobile Networks. ASWSD 2004. Lecture Notes in Computer Science, vol 4147. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11823063_9
Download citation
DOI: https://doi.org/10.1007/11823063_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-37677-4
Online ISBN: 978-3-540-37678-1
eBook Packages: Computer ScienceComputer Science (R0)