Generation of Functional Mockup Units for Transactional Cyber-Physical Virtual Platforms

被引：2
|
作者：
Centomo, Stefano [1 ]
Lora, Michele [2 ]
Fummi, Franco [1 ]
机构：
[1] Univ Verona, Dept Comp Sci, Verona, Italy
[2] Singapore Univ Technol & Design, Singapore, Singapore
来源：
LANGUAGES, DESIGN METHODS, AND TOOLS FOR ELECTRONIC SYSTEM DESIGN, FDL 2018 | 2020年 / 611卷
关键词：
D O I：
10.1007/978-3-030-31585-6_2
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：27 / 46
页数：20
相关论文
共 50 条
  • [1] Transaction-level Functional Mockup Units for Cyber-Physical Virtual Platforms
    Centomo, Stefano
    Lora, Michele
    Fummi, Franco
    [J]. PROCEEDINGS OF THE 2018 FORUM ON SPECIFICATION & DESIGN LANGUAGES (FDL), 2018,
  • [2] Cyber-physical Virtual Platforms: Techniques for Sensors Integration
    Fummi, Franco
    [J]. 2017 7TH IEEE INTERNATIONAL WORKSHOP ON ADVANCES IN SENSORS AND INTERFACES (IWASI), 2017, : 50 - 50
  • [3] Transactional execution of hierarchical reconfigurations in cyber-physical systems
    Christian Heinzemann
    Steffen Becker
    Andreas Volk
    [J]. Software & Systems Modeling, 2019, 18 : 157 - 189
  • [4] Transactional execution of hierarchical reconfigurations in cyber-physical systems
    Heinzemann, Christian
    Becker, Steffen
    Volk, Andreas
    [J]. SOFTWARE AND SYSTEMS MODELING, 2019, 18 (01): : 157 - 189
  • [5] Simulation Integration Platforms for Cyber-Physical Systems
    Neema, Himanshu
    Sztipanovits, Janos
    Steinbrink, Cornelius
    Raub, Thomas
    Cornelsen, Bastian
    Lehnhoff, Sebastian
    [J]. PROCEEDINGS OF THE WORKSHOP ON DESIGN AUTOMATION FOR CPS AND IOT (DESTION '19), 2019, : 10 - 19
  • [6] Analyzing Cyber-Physical Threats on Robotic Platforms
    Yousef, Khalil M. Ahmad
    AlMajali, Anas
    Abu Ghalyon, Salah
    Dweik, Waleed
    Mohd, Bassam J.
    [J]. SENSORS, 2018, 18 (05)
  • [7] Virtual Prototyping of Cyber-Physical Systems
    Mueller, Wolfgang
    Becker, Markus
    Elfeky, Ahmed
    DiPasquale, Anthony
    [J]. 2012 17TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC), 2012, : 219 - 226
  • [8] Cyber-Physical Control and Virtual Instrumentation
    Varshney, Sonal
    Rohit, S. S.
    Sunidhi
    Jamkhandi, Anirudh Gururaj
    Thanya, D.
    Parathodiyil, Meena
    [J]. CYBER-PHYSICAL SYSTEMS AND DIGITAL TWINS, 2020, 80 : 19 - 27
  • [9] Vulnerability assessment of cyber-physical power system considering virtual cyber-physical connections
    Chen, Keren
    Wen, Fushuan
    Zhao, Junhua
    Li, Li
    Yang, Yinguo
    Tan, Yan
    [J]. Dianli Zidonghua Shebei/Electric Power Automation Equipment, 2017, 37 (12): : 67 - 72
  • [10] Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software
    Becker, Markus
    Kuznik, Christoph
    Mueller, Wolfgang
    [J]. 2014 17TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), 2014, : 246 - 253
12345