Quality assurance and certification of software modules in safety critical automotive electronic control units using a CASE-tool integration platform

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4147 LNCS, Issue , 2006, Pages 15-30

  Mueller Glaser, Klaus D ^a   Reichmann, Clemens ^a   Kuehl, Markus ^b   Benz, Stefan ^c  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b FZI RESEARCH CENTER FOR INFORMATION TECHNOLOGY   (Germany)

^c ROBERT BOSCH GMBH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CLOSED LOOP CONTROL SYSTEMS; CODES (SYMBOLS); COMPUTER SIMULATION; CONSTRAINT THEORY; QUALITY ASSURANCE; REAL TIME SYSTEMS;

AUTOMOTIVE ELECTRONIC CONTROL; REAL TIME CONSTRAINTS; SOFTWARE INTENSIVE SYSTEMS;

COMPUTER SOFTWARE;

EID: 33750073512     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11823063_2     Document Type: Conference Paper

References (42)

1. Agrawal, A., Karsai, G., Ledeczi, A.: An End-to-End Domain-Driven Software Development Framework, 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Domain-Driven Development Track, Anaheim, CA, October, 2003.
2. Artisan homepage: http://www.artisansw.com
3. Automotive buses: http://www.interfacebus.com/ Design_Connector_Automotive.html
4. Belschner, R., Freess, J., Mroko, M.: Ganzheitlicher Entwicklungsansatz für Entwurf, Dokumentation und Bewertung von E/E-Architekturen. In Tagungsband des 12. Internationalen Kongresses Elektronik im Kraftfahrzeug, VDI Berichte, 1907, 225-235, Düsseldorf, 2005.
5. Bertram T., Dominke P., Müller B.: The Safety-Related Aspect of Cartronic. SAE World Congress, Session Code PC26, 1999
6. Bluetooth homepage: http://www.bluetooth.com
7. Bortolazzi, J.: Systems Engineering for Automotive Electronics. Lecture Notes, Dep. of EEIT, University of Karlsruhe, Germany, 2003
8. CAN homepage: http://www.can.bosch.com
9. Department of Defense. MIL-Handbook 21: Reliability Prediction of Electronic Equipment. 1995
10. Dörr, H.; Schürr, A.; Altheide, F.: Requirements to a Framework for sustainable Integration of System, EuSEC, Toulouse, 2002.
11. dSPACE Inc. homepage: http://www.dspaceinc.com/ww/en/inc/home.htm
12. E. Gamma et al.: Design Patterns - elements of reusable object-oriented software; Addison-Wesley, 1994
13. Edler, F., Frese, Th.: Systematic Safety Design Process for Distributed Vehicle Systems. In Tagungsband des 12. Internationalen Kongresses Elektronik im Kraftfahrzeug, VDI Berichte, 1907, 225-235, Düsseldorf, 2005.
14. ETAS homepage: http://en.etasgroup.com
15. Hauser, J.: Development of Highly complex Control Systems at BMW Group, Competence Exchange Symposium 2004, Juni 2004.
16. Hörner, H., Raisch, A., Meili, O.: Basic Software Components in AUTOSAR - a Solid Foundation. In Tagungsband des 12. Internationalen Kongresses Elektronik im Kraftfahrzeug, VDI Berichte, 1907, 225-235, Düsseldorf, 2005.
17. http://www.iee.org/oncomms/pn/functionalsafety/HLD.pdf
18. http://www.sae.org/servlets/productDetail?PROD_TYP=STD&PROD_CD= ARP4754
19. I-Logix homepage: http://www.ilogix.com
20. Kalnins, A., Barzdins, J., et al.: Business Modeling Language GRAPES-BM and Related CASE Tools. Proceedings of Baltic DB&IS'96, Institute of Cybernetics, Tallinn, 1996.
21. Karsai, G., Agrawal, A., Shi, F., Sprinkle, J.: On the Use of Graph Transformations for the Formal Specification of Model Interpreters, Journal of Universal Computer Science, Special issue on Formal Specification of CBS, 2003.
22. Karsai, G.: A Challenge and Opportunity for Model-based Software Development, Institute for Software Integrated Systems, Vanderbilt University, Automotive Software Workshop, San Diego, 2004
23. Kleppe, A.; Warmer, J.; Blast, W.: MDA Explained - The Model Driven Architecture: Practice and Promise; Addison-Wesley; ISBN 0-321-19442-X, 2003
24. Knepper, R.: The Safety and Reliability Process in the Civil Aircraft Industry. TechnicalReport, DaimlerChrysler Aerospace Airbus GmbH, Hamburg.
25. LIN homepage: http://www.lin-subbus.org
26. Moser, W.: Motronic-Software / the key to a high performing engine management, ETAS Symposium 2004, BOSCH Gasoline Systems, 2004.
27. MOST homepage: http://www.mostcooperation.com
28. Object Management Group: OMG/Meta Object Facility (MOF) V1.4, 2001
29. Object Management Group: OMG/Unified Modeling Language (UML) V1.4, 2001
30. Object Management Group: OMG /XML Metadata Inter-change (XMI) V1.0, 2000
31. OSEK/VDX homepage: http://www.osek-vdx.org
32. Petrov, I., Jablonski, S.: An OMG MOF based Repository System with Querying Capability - the iRM Project. iiWAS 2004, Jakarata, Indoesien, 27-29 September 2004
33. Polyspace homepage http://www.polyspace.com
34. Porres, I.: A Toolkit for Manipulating UML Models. Software and Systems Modeling, Springer Verlag, 2(4):262-277, Dec. 2003
35. Sussman, D., Kay, M.: XSLTProgrammer's Reference, WROX, 2001.
36. Telelogic Inc. homepage: http://www.telelogic.com/
37. The Mathworks homepage: http://mathworks.com
38. Union Technique de L'Electricite: RDF2000: Reliability Data Handbook 2000
39. Velocity template engine: http://jakarta.apache.org/velocity/
40. V-Model homepage: http://www.v-modell.iabg.de/vm97.htm#ENGL
41. World Wide Web Consortium (W3C) homepage: http://www.w3.com/Consortium
42. World Wide Web homepage AUTOSAR http://www.autosar.org