Key considerations in the translation of legacy embedded control software to Model Based Executable Specifications

作者: Michael Baloh , Gopal Raghav , Shiva Sivashankar

DOI: 10.1109/CACSD-CCA-ISIC.2006.4776703

关键词:

摘要: Traditionally, control algorithms were explored using analytical approaches and limited computational methods while they implemented as hand-written C-code by software engineers. This gap between algorithm exploration implementation is being bridged graphical modeling tools such Simulink®. Models in Simulink® serve Executable Specifications. They can be simulated to verify against requirements used the basis for embedded code generation. The benefits of this approach have prompted many organizations undertake fairly large effort migrate their existing Legacy Embedded Software Model Based Specifications order reuse leverage know-how. paper discusses some key aspects Translation Process that are important ensure process efficient it results a work product “true representation” source code. importance structured process, aids model implementation, and, criteria measure resulting quality discussed detail paper.

参考文章(9)
Hayhurst Kelly J, Veerhusen Dan S, Chilenski John J, Rierson Leanna K, None, A Practical Tutorial on Modified Condition/Decision Coverage NASA Langley Technical Report Server. ,(2001)
Grantley Hodge, Jian Ye, Walt Stuart, Multi-Target Modelling for Embedded Software Development for Automotive Applications SAE 2004 World Congress & Exhibition. ,(2004) , 10.4271/2004-01-0269
Everett L. Johnson, Principles of simulation model validation, verification, and testing Transactions of The Society for Computer Simulation International. ,vol. 14, pp. 3- 12 ,(1997) , 10.1177/003754977001400102
John Joseph Chilenski, Steven P. Miller, Applicability of modified condition/decision coverage to software testing Software Engineering Journal. ,vol. 9, pp. 193- 200 ,(1994) , 10.1049/SEJ.1994.0025
Jeffrey M. Thate, Larry E. Kendrick, Siva Nadarajah, Caterpillar Automatic Code Generation SAE 2004 World Congress & Exhibition. ,(2004) , 10.4271/2004-01-0894
Ranville, Matlab/spl reg/ "add-on" tools for state-of-the-art embedded software development 22nd Digital Avionics Systems Conference Proceedings (Cat No 03CH37449. ,(2003) , 10.1109/DASC.2003.1245928