EMERALD: An Automated Modeling and Verification Tool for Component-Based Real-Time Systems

被引：9
|
作者：
Zhang, Yizhou [1 ]
Lin, Hao [1 ]
Li, Guoqiang [1 ]
机构：
[1] Shanghai Jiao Tong Univ, Sch Software, BASICS, Shanghai, Peoples R China
来源：
2012 12TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC) | 2012年
关键词：
Real-time systems; modeling; verification; controller automata; timed automata;
D O I：
10.1109/QSIC.2012.27
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Controller automata, extending timed automata, are a formal theory to model and analyze real-time systems with mutex components. Given a strict partial order over states, an ordered controller automaton can be faithfully translated into a timed automaton. We present a tool named EMERALD to translate ordered controller automata into timed automata and perform the transformation between their specifications in order to use the existing model checking engine, UPPAAL.
引用
收藏
页码：120 / 123
页数：4
相关论文
共 50 条
  • [1] RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems
    Ben-Rayana, Souha
    Bozga, Marius
    Bensalem, Saddek
    Combaz, Jacques
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS 2016), 2016, 9636 : 394 - 406
  • [2] Modeling urgency in component-based real-time systems
    Van Tang, Nguyen
    Van Hung, Dang
    Ogawa, Mizuhito
    [J]. ADVANCES IN COMPUTER SCIENCE - ASIAN 2006: SECURE SOFTWARE AND RELATED ISSUES, 2007, 4435 : 248 - +
  • [3] Real-time component-based systems
    Wang, SQ
    Rho, S
    Mai, ZB
    Bettati, R
    Zhao, W
    [J]. RTAS 2005: 11th IEEE Real Time and Embedded Technology and Applications Symposium, Proceedings, 2005, : 428 - 437
  • [4] Blaming in Component-Based Real-Time Systems
    Gossler, Gregor
    Astefanoaei, Lacramioara
    [J]. 2014 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT), 2014,
  • [5] A Component-Based Framework for Modeling and Analyzing Probabilistic Real-Time Systems
    Santinelli, L.
    Yomsi, P. Meumeu
    Maxim, D.
    Cucu-Grosjean, L.
    [J]. 2011 IEEE 16TH CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2011,
  • [6] Automatic verification of component-based real-time CORBA applications
    Madl, G
    Abdelwahed, S
    Karsai, G
    [J]. 25TH IEEE INTERNATIONAL REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2004, : 231 - 240
  • [7] From Modeling to Deployment of Component-Based Vehicular Distributed Real-Time Systems
    Bucaioni, Alessio
    Mubeen, Saad
    Lundback, John
    Lundback, Kurt-Lennart
    Maki-Turja, Jukka
    Sjodin, Mikael
    [J]. 2014 11TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS (ITNG), 2014, : 649 - 654
  • [8] Graphical Modeling of a Component-based Software Architecture for Distributed Real-time Systems
    Liu, Xiaoyan
    Fu, Xiaodong
    [J]. PROGRESS IN MECHATRONICS AND INFORMATION TECHNOLOGY, PTS 1 AND 2, 2014, 462-463 : 352 - +
  • [9] A hierarchical framework for component-based real-time systems
    Lipari, G
    Gai, P
    Trimarchi, M
    Guidi, G
    Ancilotti, P
    [J]. COMPONENT-BASED SOFTWARE ENGINEERING, 2004, 3054 : 209 - 216
  • [10] Developing component-based software for real-time systems
    Zalewski, J
    [J]. PROCEEDINGS OF THE 27TH EUROMICRO CONFERENCE - 2001: A NET ODYSSEY, 2001, : 80 - 87
12345