Cyber-physical systems design: transition from functional to architectural models

被引:8
作者
Passarini, Rosane Fatima [1 ]
Farines, Jean-Marie [2 ]
Fernandes, Joao M. [3 ]
Becker, Leandro Buss [2 ]
机构
[1] Univ Tecnol Fed Parana UTFPR, BR-85902490 Toledo, PR, Brazil
[2] Univ Fed Santa Catarina, DAS CTC, BR-88040900 Florianopolis, SC, Brazil
[3] Univ Minho, Escola Engn, Ctr ALGORITMI, Dept Informat, P-4710057 Braga, Portugal
关键词
Model Transformation; Functional models; Software architecture; Simulink; AADL;
D O I
10.1007/s10617-015-9164-y
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Normally, the design process of Cyber-Physical Systems (CPSs) starts with the creation of functional models that are used for simulation purposes. However, most of the time such models are not directly reused for the design of the architecture of the target CPS. As a consequence, more efforts than strictly necessary are spent during the CPS architecture design phase. This paper presents an approach called Assisted Transformation of Models (AST), which aims at transforming functional (simulation) models designed in the Simulink environment into architectural models represented in the Architecture Analysis and Design Language. Using AST, designers can perform a smooth transition between these two design phases, with an additional advantage of assuring the coupling between functional and architectural models. The use and benefits of AST are exemplified in the paper in a study devoted to for the design of a typical CPS: an Unmanned Aerial Vehicle.
引用
收藏
页码:345 / 366
页数:22
相关论文
共 21 条
[1]  
Chkouri M, 2009, CEUR WORKSHOP P, V507, P65
[2]  
Correa T, 2010, 6 EMB REAL TIM SOFTW
[3]  
Delange J, 2010, 15 IEEE INT C ENG CO, P319, DOI [10.1109/ICECCS.2010.12, DOI 10.1109/ICECCS.2010.12]
[4]  
Donadel R., 2014, IFAC P VOLUMES, V47, P3839, DOI [10.3182/20140824-6-ZA-1003.01735, DOI 10.3182/20140824-6-ZA-1003.01735]
[5]  
Feiler P. H., 2012, MODEL BASED ENG AADL, V1st
[6]  
Gonçalves FS, 2013, INT CONF UNMAN AIRCR, P761
[7]  
Goncalves F. S., 2013, 3 WORKSH CYB PHYS SY
[8]  
INRIA ESPRESSO Team, 2010, POL
[9]   An Implementation of the Behavior Annex in the AADL-toolset Osate2 [J].
Lasnier, Gilles ;
Pautet, Laurent ;
Hugues, Jerome ;
Wrage, Lutz .
2011 16TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2011, :332-337
[10]  
Lasnier G, 2009, LECT NOTES COMPUT SC, V5570, P237, DOI 10.1007/978-3-642-01924-1_17