By Topic

Model Generation for the Verification of Automatically Generated Mechatronic Control Software

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Foeken, M. ; Fac. of Aerosp. Eng., Delft Univ. of Technol., Delft ; Voskuijl, M. ; Cabrera, A.A. ; van Tooren, M.

The development of embedded control software for mechatronic systems is mainly a non-automated process, requiring the intervention of a human programmer. A project has been started with the intention to develop a set of prototype tools and a framework with which an interdisciplinary product development team can automatically generate control software for mechatronic systems. This paper will discuss the development of a Control Model Generator as part of this project, which is envisioned to be able to generate system dynamics models at various levels of detail, which can be used to verify the automatically generated code at software level. Using SysML and Modelica, a model based view can be maintained throughout the model generation process.

Published in:

Mechtronic and Embedded Systems and Applications, 2008. MESA 2008. IEEE/ASME International Conference on

Date of Conference:

12-15 Oct. 2008