Modeling and Verifying Timed Event-Based Systems

被引：0
|
作者：
Doostali, Saeed [1 ]
Babamir, Seyed Morteza [1 ]
机构：
[1] Univ Kashan, Dept Comp, Kashan, Iran
来源：
2017 25TH IRANIAN CONFERENCE ON ELECTRICAL ENGINEERING (ICEE) | 2017年
关键词：
Event-based Systems; Timed Automata; Model Checking; UPPAAL; VERIFICATION;
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
A part of large scale distributed and heterogeneous systems are event-based in which temporal properties play a critical role. In this paper, considering the temporal properties we first present a semi-formal based specification model using UML statecharts and then address the conversion of this model to formal one called timed automata. Next, we deal with verification of properties stated in Timed Computation Tree Logic (TCTL) formulas in the automata. By proposing a case study, we show the application of our method.
引用
收藏
页码：2211 / 2216
页数：6
相关论文
共 50 条
  • [1] Specifying and Verifying Event-Based Fairness Enhanced Systems
    Sun, Jun
    Liu, Yang
    Dong, Jin Song
    Wang, Hai H.
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 5256 : 5 - +
  • [2] Keynote: Conceptual Modeling of Event-Based Systems
    Reisig, Wolfgang
    DEBS'19: PROCEEDINGS OF THE 13TH ACM INTERNATIONAL CONFERENCE ON DISTRIBUTED AND EVENT-BASED SYSTEMS, 2019, : 2 - 2
  • [3] Benchmarking and Performance Modeling of Event-Based Systems
    Kounev, Samuel
    Sachs, Kai
    IT-INFORMATION TECHNOLOGY, 2009, 51 (05): : 262 - 269
  • [4] An Integrated State- and Event-Based Framework for Verifying Liveness in Supervised Systems
    Markovski, J.
    Reniers, M. A.
    2012 12TH INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION, ROBOTICS & VISION (ICARCV), 2012, : 246 - 251
  • [5] A Model-Based Method for Modeling and Verifying Event-Based Aspect-Oriented Applications
    Hong Anh Le
    Ninh Thuan Truong
    Nanthaamornphong, Aziz
    RECENT ADVANCES AND FUTURE PROSPECTS IN KNOWLEDGE, INFORMATION AND CREATIVITY SUPPORT SYSTEMS, 2018, 685 : 281 - 289
  • [6] A methodology for performance modeling of distributed event-based systems
    Kounev, Samuel
    Sachs, Kai
    Bacon, Jean
    Buchmann, Alejandro
    ISORC 2008: 11TH IEEE SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING - PROCEEDINGS, 2008, : 13 - +
  • [7] An event-based approach for formally verifying runtime adaptive real-time systems
    Nissaf Fredj
    Yessine Hadj Kacem
    Mohamed Abid
    The Journal of Supercomputing, 2021, 77 : 3110 - 3143
  • [8] An event-based approach for formally verifying runtime adaptive real-time systems
    Fredj, Nissaf
    Hadj Kacem, Yessine
    Abid, Mohamed
    JOURNAL OF SUPERCOMPUTING, 2021, 77 (03): : 3110 - 3143
  • [9] Event-based conceptual modeling
    Baekgaard, Lars
    BUSINESS PROCESS MANAGEMENT JOURNAL, 2009, 15 (04) : 469 - 486
  • [10] Verifying Event-Based Timing Constraints by Translation into Presburger Formulae
    Lisper, Bjorn
    CRITICAL SYSTEMS: FORMAL METHODS AND AUTOMATED VERIFICATION (FMICS-AVOCS 2017), 2017, 10471 : 19 - 33
12345