Overview of existing safeguarding techniques for automatically generated code

ABSTRACT

Code generators are increasingly used in an industrial context to translate graphical models into executable code. Since the code is often deployed in safety-related environments, the quality of the code generators is of paramount importance. In this paper, we will present and discuss state-of-the-art techniques for safeguarding automatic code generation applied in model-based development.

REFERENCES

• 1: Stürmer, I. and Conrad, M. Test Suite Design for Code Generation Tools. 18th Int. IEEE Conf, on Automated Software Engineering, pp. 286--290, 2003.
• 2: Burnard, A. Verifying and Validating Automatically Generated Code, Int. Automotive Conference (IAC), pp. 71--78, 2004.
• 3: Beine, M., Otterbach, R. and Jungmann, M. Development of Safety-Critical Software Using Automatic Code Generation, Society of Automotive Engineers (SAE), 2004-01-0708, 2004
• 4: dSPACE. TargetLink 2.0: Production Code Generator. <u>http://www.dspace.com</u>, 2004.
• 5: The Math Works. RealTimeWorkshop/Embedded Coder, <u>http://www.mathworks.com</u>, 2004.
• 6: Edwards, P. D. The Use of Automatic Code Generation Tools in the Development of Safety-Related Embedded Systems. Vehicle Electronic Systems, European Conference and Exhibition, 9-10. June, 1999.
• 7: Thomsen, T. Integration of International Standards for Production Code Generation, Society of Automotive Engineers, Doc.-No.: 2003-01-0855, 2003.
• 8: Conrad, M., Dörr, H., Fey, I., Pohlheim, H., Stürmer, I. Guidelines und Reviews in der Modell-basierten Entwicklung von Steuergeräte-Software (in German), 2. Tagung Simulation und Test in der Funktionsund Softwareentwicklung für die Automobilelektronik, March 14-15, 2005.
• 9: Maulik A. Dave, Compiler verification: a bibliography, ACM SIGSOFT Software Engineering Notes, v.28 n.6, November 2003 [doi>10.1145/966221.966235]
• 10: Gerhard Goos , Wolf Zimmermann, Verifying Compilers and ASMs, Proceedings of the International Workshop on Abstract State Machines, Theory and Applications, p.177-202, March 19-24, 2000
• 11: Michael Tonndorf, Ada conformity assessments: a model for other programming languages?, ACM SIGAda Ada Letters, v.XIX n.3, p.89-99, Sept. 1999
• 12: Stürmer, I., Conrad, M. Code Generator Testing in Practise, 2nd Workshop Automotive Software Engineering, 2004.
• 13: Junker, F., Glöe, G. Guaranteed Product Safety According to the IEC 61508 Standard. RealTime, Vol. 1, pp. 28--29, 2003.
• 14: Wegener, J., Stahmer H. and Baresel, A. Evolutionary Test Environment for Automatic Structural Testing. Special Issue of Information and Software Technology, Vol. 43, pp. 851--854, 2001.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING

General Terms:
Design, Human Factors, Languages, Reliability, Standardization, Verification

Keywords:
automatic code generation, model-based development, modelling guidelines, testing