Modeling guidelines and model analysis tools in embedded automotive software development

Tagungsband - Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, MBEES 2008

Volumn , Issue , 2008, Pages 28-39

  Stürmer, Ingo ^a   Dziobek, Christian ^b   Pohlheim, Hartmut ^b  

^a Model Engineering Solutions   (Germany)

^b DAIMLER AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC CODE GENERATIONS; AUTOMOTIVE SOFTWARE; CODE GENERATION; MODEL ANALYSIS; MODEL BASED DEVELOPMENT;

EMBEDDED SOFTWARE; EMBEDDED SYSTEMS;

SOFTWARE DESIGN;

EID: 84873281347     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. Ameluxen, C., Legros, E., Schürr, A., Stürmer, I.: Checking and Enforcement of Modeling Guidelines with Graph Transformations, to appear in Proc. of Application of Graph Transformations with Industrial Relevance (AGTIVE), 2007.
2. Beine, M., Otterbach, R. and Jungmann, M. Development of Safety-Critical Software Using Automatic Code Generation. SAE Paper 2004-01-0708, Society of Automotive Engineers, 2004.
3. Daimler Model-based Development Guidelines (DCX:2007). http://www.eguidelines.de, internal, 2007.
4. MathWorks Automotive Advisory Board, Control Algorithm Modeling Guidelines Using MATLAB, Simulink, and Stateflow, Version 2.0", 2007.
5. Model Engineering Solutions Berlin, http://www.model-engineers.com/ products, 2008.
6. Model Engineering Solutions, MTest-classic, http://mtest-classic.com, 2008.
7. Ricardo, Inc., MINT, http:/www.ricardo.com/mint, 2007.
8. Stürmer, I., Conrad, M., Fey, I. Dörr, H.: 'Experiences with Model and Autocode Reviews in Model-based Software Development', Proc. of 3rd Intl. ICSE Workshop on Software Engineering for Automotive Systems (SEAS 2006), Shanghai, 2006.
9. Stürmer, I., Travkin, D.: Automated Transformation of MATLAB Simulink and Stateflow Models, to appear in Proc. of 4th Workshop on Object-oriented Modeling of Embedded Real-time Systems, 2007.
10. dSPACE. TargetLink 2.2.1: Production Code Generator. http://www.dspace. com, 2008.
11. The MathWorks Inc (product information), www.mathworks.com/products, 2007.
12. Piketec GmbH Berlin, Time Partition Testing (TPT), http://www.piketec. com/, 2007.