Integration of the code generation approach in the model-based development process by means of tool certification

Journal of Integrated Design and Process Science

Volumn 8, Issue 2, 2004, Pages 1-11

  Stürmer, Ingo ^a  

^a DAIMLER AG   (Germany)

Author keywords

Certification; Code generation; Graph transformation; Testing

Indexed keywords

AUTOMATIC PROGRAMMING; AVIONICS; CODES (SYMBOLS); COMPUTER AIDED LOGIC DESIGN; COMPUTER HARDWARE; COMPUTER SIMULATION; COMPUTER SOFTWARE; MATHEMATICAL MODELS; TESTING;

AUTOMATIVE SECTORS; CERTIFICATION; CODE GENERATION TECHNIQUES; GRAPH TRANSFORMATION; TOOL CERTIFICATION;

EMBEDDED SYSTEMS;

EID: 4344609541     PISSN: 10920617     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (21)

1. Assmann, U., 2000, "Graph Rewrite Systems for Program Optimization," In ACM Transactions on programming Languages and Systems (TOPLAS), Vol. 22 ( 4),. ACM Press, pp. 583-637.
2. Beizer,B., 1983, "Software Testing Techniques," New York, Van Nostrand Reinhold.
3. Boujarwah, A. and Saleh, K., 1995, "Correctness and Completeness of Compiler Test Suites," Proceedings of the 2nd Intern. Conf. on Electronics, Circuits and Systems (ICECS), pp. 272-277.
4. Broekman, B. and Notenboom, E., 2003, "Testing Embedded Software," Addison-Wesley.
5. Conrad, M., Dörr, H., Schürr, A. and Stürmer, I., 2002, "Graph-Transformations for Model-based Testing," GI-Lecture Notes in Informatics, P-12, pp. 39-50.
6. dSPACE, 2002, TargetLink Production Code Generation Guide, Vol. 1.3, dSPACE, Inc.
7. Emmelmann, H., 1992, "Code Selection by Regular Controlled Term Rewriting," In R. Giegerich and S.L. Graham, editors), Code Generation - Concepts, Tools, Techniques, Workshop in Computing, Springer-Verlag.
8. Glesner, S., Geiss, R. and Boesler, B., 2002, "Verified Code Generation for Embedded Systems," Electronic Notes in Theoretical Computer Science, Vol. 65 No. 2.
9. Grochtmann, M. and Grimm, K., 1993, "Classification-trees for partition testing," Software Testing, Verification and Reliability, 3 (2), pp. 63-82.
10. Hornof, L. and Jim, T., 1999, "Certifying Compilation and Run-time Code Generation," Higher Order and Symbolic Computation, Vol. 12(4), pp. 337-375.
11. MathWorks, 2002, RealTime-Workshop User Guide, The MathWorks, Inc.
12. Necula, G. C., 2000, "Translation Validation for an Optimizing Compiler," Proceedings, of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 83-95.
13. Nymeyer, A. and Katoen, J.-P., 1997, "Code Generation based on formal BURS theory and heuristic search," Acta Informatica 34, pp. 597-635.
14. O'Halloran, C.and Smith, A., 1999, "Verification of picture generated code," Proceedings of the 14th IEEE International Conference on Automated Software Engineering, IEEE Computer Society, pp. 127-136.
15. Pnueli, A., Shtrichman, O. and Siegel, M., 1998, "Translation Validation: from SIGNAL to C," in K.G. Larsen, S. Skyum, and G. Winskel, editors, Proc. of the 25th Int. Colloquium on Automata, Languages, and Programming (ICALP 1998), volume 1443 of Lecture Notes in Computer Science, page 235-246, Springer-Verlag.
16. Rau, A., 2000, "Potential and Challenges for Model-based Development in the Automotive Industry," in Business Briefing: Global Automotive Manufacturing and Technology, pp. 124-138, 2000.
17. Ranville, S., 2002, "Practical Application of Model-Based Software Design for Automotive," Vehicle Software, Society of Automotive Engineers (SAE), Inc. Sp-1660, pp.37-41.
18. RTCA, 1992, "Software Considerations in Airborne Systems and Equipment," DO-178B, Requirements and Technical Concepts for Aviation, Inc.
19. SCADE, 2003, Esterel Technologies, http://www.esterel-technologies.com.
20. th IEEE Int. Conference on Automated Software Engineering (ASE 2003), pp. 286-290.
21. Toeppe, S., Ranville, S., Bostic, D. and Wang, C., 1999, "Practical Validation of Model Based Code Generation for Automotive Applications," 18th AIAA/IEEE/SAE Digital Avionics System Conference.