|2/2008 - 1|
Integration of Simulink Models with Component-based Software ModelsMARIAN, N. , TOP, S.
|Click to see author's profile in SCOPUS, IEEE Xplore, Web of Science|
|Download PDF (731 KB) | Citation | Downloads: 975 | Views: 4,198|
component-based design, model-based design, MATLAB, Simulink, model transformation, discrete-time models, continuous-time models
simulink(6), control(6), systems(5), software(4), embedded(4)
Blue keywords are present in both the references section and the paper title.
About this article
Date of Publication: 2008-06-02
Volume 8, Issue 2, Year 2008, On page(s): 3 - 10
ISSN: 1582-7445, e-ISSN: 1844-7600
Digital Object Identifier: 10.4316/AECE.2008.02001
Web of Science Accession Number: 000264815000001
SCOPUS ID: 77954668230
Model based development aims to facilitate the development of embedded control systems by emphasizing the separation of the design level from the implementation level. Model based design involves the use of multiple models that represent different views of a system, having different semantics of abstract system descriptions. Usually, in mechatronics systems, design proceeds by iterating model construction, model analysis, and model transformation. Constructing a MATLAB/Simulink model, a plant and controller behavior is simulated using graphical blocks to represent mathematical and logical constructs and process flow, then software code is generated. A Simulink model is a representation of the design or implementation of a physical system that satisfies a set of requirements. A software component-based system aims to organize system architecture and behaviour as a means of computation, communication and constraints, using computational blocks and aggregates for both discrete and continuous behaviour, different interconnection and execution disciplines for event-based and time-based controllers, and so on, to encompass the demands to more functionality, at even lower prices, and with opposite constraints. COMDES (Component-based Design of Software for Distributed Embedded Systems) is such a component-based system framework developed by the software engineering group of Mads Clausen Institute for Product Innovation (MCI), University of Southern Denmark. Once specified, the software model has to be analyzed. One way of doing that is to integrate in wrapper files the model back into Simulink S-functions, and use its extensive simulation features, thus allowing an early exploration of the possible design choices over multiple disciplines. The paper describes a safe translation of a restricted set of MATLAB/Simulink blocks to COMDES software components, both for continuous and discrete behaviour, and the transformation of the software system into the S-functions. The general aim of this work is the improvement of multi-disciplinary development of embedded systems with the focus on the relation between control engineering and software engineering.
|References|||||Cited By «-- Click to see who has cited this paper|
| N. Marian, "Model-Based Development of Embedded Software Systems with Components", Advances in Electrical and Computer Engineering Journal, vol. 1/2006, pp. 30-38
 Simulink, A tool for modeling, simulation and implementation of control systems [Online] Available: Temporary on-line reference link removed - see the PDF document
 M. M. Adams and P. B. Clayton. Clawz, "Cost-effective formal verification for control systems", In 7th International Conference on Formal Engineering Methods, pp. 465-479, 2005.
 P. Caspi et al., "Translating Discrete-Time Simulink to Lustre", in Proc. of the 3rd International Embedded Software Conference EMSOFT'03, LNCS 2855, 2003, pp. 1-15
 N. Scaife et al., "Defining and Translating a "Safe" Subset of Simulink/Stateflow into Lustre", report No TR-2004-16, Verimag, 2004
 T. A. Henzinger, C. M. Kirsch and M. A. A. Sanvido, "From Control Models to Real-Time Code Using Giotto", IEEE Control Systems Magazine, Feb. 2003, pp. 50-64
[CrossRef] [Web of Science Times Cited 51] [SCOPUS Times Cited 93]
 A. Agrawl, G. Simon, G. Karsai, "Semantic Translation of Simulink/Stateflow models to Hybrid Automata using Graph Translations", in Electronic Notes in Theoretical Computer Science, vol 109, 2004, pp. 43-56
[CrossRef] [SCOPUS Times Cited 94]
 M. Andries, et al., "Graph Transformation for Specification and Programming", Sci. Comput. Program., Vol. 34, No. 1, 1999, pp. 1-5
[CrossRef] [Web of Science Times Cited 69] [SCOPUS Times Cited 104]
 IEEE Transactions LaTeX and Microsoft Word Style Files, [Online] Available: Temporary on-line reference link removed - see the PDF document
 S. Top, H. J. Norgaard, B. Krogsgaard, B. N. Jorgensen, "The Sandwich Code File Structure - An architectural support for software engineering in simulation based development of embedded control applications", Proceedings of IASTED International Conference on Software Engineering, ACTA Press, 2004
 S. Top, H. J. Norgaard, B. N. Jorgensen, "Object oriented C++ programming in SIMULINK - A reengineered simulation architecture for the control algorithm code view", Proceedings of Nordic MATLAB Conference 2003, pp. 79-84
 I. Sturmer, D. Travkin,, "Automated Transformation of MATLAB Simulink and Stateflow Models", Proceedings of 4th Workshop on Object-oriented Modeling of Embedded Real-time Systems, 2007, pp. 57-62
Web of Science® Citations for all references: 120 TCR
SCOPUS® Citations for all references: 291 TCR
Web of Science® Average Citations per reference: 10 ACR
SCOPUS® Average Citations per reference: 24 ACR
TCR = Total Citations for References / ACR = Average Citations per Reference
We introduced in 2010 - for the first time in scientific publishing, the term "References Weight", as a quantitative indication of the quality ... Read more
Citations for references updated on 2019-04-20 22:13 in 29 seconds.
Note1: Web of Science® is a registered trademark of Clarivate Analytics.
Note2: SCOPUS® is a registered trademark of Elsevier B.V.
Disclaimer: All queries to the respective databases were made by using the DOI record of every reference (where available). Due to technical problems beyond our control, the information is not always accurate. Please use the CrossRef link to visit the respective publisher site.
Faculty of Electrical Engineering and Computer Science
Stefan cel Mare University of Suceava, Romania
All rights reserved: Advances in Electrical and Computer Engineering is a registered trademark of the Stefan cel Mare University of Suceava. No part of this publication may be reproduced, stored in a retrieval system, photocopied, recorded or archived, without the written permission from the Editor. When authors submit their papers for publication, they agree that the copyright for their article be transferred to the Faculty of Electrical Engineering and Computer Science, Stefan cel Mare University of Suceava, Romania, if and only if the articles are accepted for publication. The copyright covers the exclusive rights to reproduce and distribute the article, including reprints and translations.
Permission for other use: The copyright owner's consent does not extend to copying for general distribution, for promotion, for creating new works, or for resale. Specific written permission must be obtained from the Editor for such copying. Direct linking to files hosted on this website is strictly prohibited.
Disclaimer: Whilst every effort is made by the publishers and editorial board to see that no inaccurate or misleading data, opinions or statements appear in this journal, they wish to make it clear that all information and opinions formulated in the articles, as well as linguistic accuracy, are the sole responsibility of the author.