Publication | Closed Access
Practical validation of model based code generation for automotive applications
12
Citations
4
References
2003
Year
Practical ValidationEngineeringVerificationSoftware EngineeringSystem-level DesignEmbedded SystemsModel VerificationSoftware AnalysisFormal VerificationControl SystemsModel-based TestingAutomated Software EngineeringSystems EngineeringModel-based Software DevelopmentAutomatic Code GenerationAutomatic ProgrammingHardware-in-the-loop SimulationCode GenerationSoftware ValidationComputer EngineeringComputer ScienceSoftware DesignCacsd ModelsProgram AnalysisSoftware TestingPractical ApproachFormal MethodsProcess ControlCode ValidationIndustrial Process Control
Computer Aided Control System Design (CACSD) tools are finding greater usage in the development of embedded control systems. Automatic code generation for CACSD models is of increasing interest. However, in order to introduce automatic code generation into high volume production applications, it is necessary to have a high degree of confidence in the automatic code generation tool reliability, robustness and efficiency. Validation of automatic code generation is complex and expensive. Theoretical approaches offer promise but do not necessarily scale well and address increasing complexity. Therefore, a more practical approach has been developed that addresses the complex and diverse nature of the problem. This paper discusses the practical approaches employed to help establish a high degree of confidence that automatic code generation can be successfully deployed in high volume production applications.
| Year | Citations | |
|---|---|---|
Page 1
Page 1