从给定的论述中，可以总结出以下20字中文标题：图语法技术在代码生成工具中的应用与验证

理论计算机科学www.elsevier.com/locate/entcs图语法技术对代码生成工具英戈·施图尔默戴姆勒-克莱斯勒股份公司研究与技术部，柏林，英国，代码UK{ingo.Stuermer}@ daimlerchrysler.com摘要航空电子和汽车领域的安全关键嵌入式系统的软件和硬件质量目前通过广泛的保证程序（例如认证）得到保证。在这一应用领域，模型在嵌入式系统开发中的使用变得越来越重要。这些模型从早期开发阶段一直用到实现阶段验证所需的软件行为（基于模型的开发）。新方法允许通过所谓的代码生成器直接从软件模型自动生成紧凑的控制器代码。然而，验证代码生成器（以及编译器）的前提是从模型到生成代码的转换过程的完整和可理解的描述。本文提出使用不同的图形语法技术作为转换过程的规范和验证的基础，作为对代码生成工具认证的贡献。1571-066157cElsevierB.V. 操作访问和C CB Y-NC-ND许可证。10.1016/S1571-0661（05）80533-X80