An Integrated Framework for Model-based Design and Verification of discrete Automation Solutions

被引：0
|
作者：
Mazzolini, Mauro [1 ]
Brusaferri, Alessandro [1 ]
Carpanzano, Emanuele [1 ]
机构：
[1] CNR, Inst Ind Technol & Automat, I-20133 Milan, Italy
来源：
2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN) | 2011年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
The design process of advanced control solutions has become more and more challenging due to the increasing complexity of current automation systems. In such a context, structured design approaches based on formal reference models as well as reliable verification processes have to be adopted. In addition, in last years Model-based Design methods are being extensively adopted thanks to their capability to deal with the whole control system development process through model abstraction and independence from specific programming languages. The present paper proposes an integrated framework for Model-based Design and Verification of complex automation solutions based on innovative methods and tools. Furthermore an application example, regarding the development of the control solution for an automatic warehouse system, is addressed to highlight the benefits of the proposed framework.
引用
收藏
页数：6
相关论文
共 50 条
  • [1] Model-based Runtime Verification Framework
    Zhao, Yuhong
    Rammig, Franz
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 253 (01) : 179 - 193
  • [2] A framework for model-based integrated inspection
    Rui Liu
    Gui-jiang Duan
    Jian Liu
    [J]. The International Journal of Advanced Manufacturing Technology, 2019, 103 : 3643 - 3665
  • [3] A framework for model-based integrated inspection
    Liu, Rui
    Duan, Gui-jiang
    Liu, Jian
    [J]. INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2019, 103 (9-12): : 3643 - 3665
  • [4] Integrated System Design and Safety Framework for Model-Based Safety Assessment
    Krishnan, Rahul
    Bhada, Shamsnaz Virani
    [J]. IEEE ACCESS, 2022, 10 : 79311 - 79334
  • [5] An Integrated System Design and Safety Framework for Model-Based Safety Analysis
    Krishnan, Rahul
    Bhada, Shamsnaz Virani
    [J]. IEEE ACCESS, 2020, 8 : 146483 - 146497
  • [6] Formal Model and Code Verification in Model-Based Design
    Popovici, Katalin
    Lalo, Marc
    [J]. 2009 JOINT IEEE NORTH-EAST WORKSHOP ON CIRCUITS AND SYSTEMS AND TAISA CONFERENCE, 2009, : 392 - 395
  • [7] Model-based design for test vector verification
    Mosterman, Pieter J.
    Shenoy, Rohit
    Ghidella, Jason R.
    Murphy, Brett
    [J]. AUTOTESTCON 2005, 2005, : 628 - 634
  • [8] Model-Based Design and Verification of Reactive Systems
    Hysek, Jiri
    Ceska, Milan
    Janousek, Vladimir
    [J]. COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2009, 2009, 5717 : 865 - 872
  • [9] Design patterns for model-based automation software design and implementation
    Bonfe, Marcello
    Fantuzzi, Cesare
    Secchi, Cristian
    [J]. CONTROL ENGINEERING PRACTICE, 2013, 21 (11) : 1608 - 1619
  • [10] A model-based framework for robust design
    Al-Widyan, K
    Angeles, J
    Cervantes-Sanchez, J
    [J]. RECENT ADVANCES IN INTEGRATED DESIGN AND MANUFACTURING IN MECHANICAL ENGINEERING, 2003, : 431 - 442
12345