Scenario-based verification of real-time systems using Uppaal

被引：0
|
作者：
Shuhao Li
Sandie Balaguer
Alexandre David
Kim G. Larsen
Brian Nielsen
Saulius Pusinskas
机构：
[1] Aalborg University,CISS, Department of Computer Science
[2] ENS Cachan/INRIA,LSV
来源：
Formal Methods in System Design | 2010年 / 37卷
关键词：
Real-time system; Modeling; Timed automata; Scenario; Live sequence chart; Verification;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
This article proposes two approaches to tool-supported automatic verification of dense real-time systems against scenario-based requirements, where a system is modeled as a network of timed automata (TAs) or as a set of driving live sequence charts (LSCs), and a requirement is specified as a separate monitored LSC chart.
引用
收藏
页码：200 / 264
页数：64
相关论文
共 50 条
  • [41] Verification of real-time systems design
    Emilia Cambronero, M.
    Valero, Valentin
    Diaz, Gregorio
    [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2010, 20 (01): : 3 - 37
  • [42] Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems
    Muniz, Andre L. N.
    Andrade, Aline M. S.
    Lima, George
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2010, 6 (1-2) : 29 - 37
  • [43] Verification of complex real-time systems using rewriting logic
    Computer Science Department, University of Biskra, BP 145 RP, Biskra
    07000, Algeria
    [J]. J. Compt. Inf. Technol., 2009, 3 (265-284):
  • [44] Verification of real-time systems using linear relation analysis
    Halbwachs, N
    Proy, YE
    Roumanoff, P
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 1997, 11 (02) : 157 - 185
  • [45] Verification of Real-Time Systems using Linear Relation Analysis
    Nicolas Halbwachs
    Yann-Erick Proy
    Patrick Roumanoff
    [J]. Formal Methods in System Design, 1997, 11 : 157 - 185
  • [46] Modeling and verification of distributed real-time systems based on CafeOBJ
    Ogata, K
    Futatsugi, K
    [J]. 16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 185 - 192
  • [47] Refinement-Based Verification of Interactive Real-Time Systems
    Spichkova, Maria
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 214 : 131 - 157
  • [48] Diagram-Based Verification of Real-Time Systems using Timed Predicate Diagrams
    Nugraheni, Cecilia E.
    [J]. INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2006, 6 (12): : 18 - 27
  • [49] Scenario-based verification of uncertain parametric MDPs
    Badings, Thom
    Cubuktepe, Murat
    Jansen, Nils
    Junges, Sebastian
    Katoen, Joost-Pieter
    Topcu, Ufuk
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2022, 24 (05) : 803 - 819
  • [50] Scenario-based verification of uncertain parametric MDPs
    Thom Badings
    Murat Cubuktepe
    Nils Jansen
    Sebastian Junges
    Joost-Pieter Katoen
    Ufuk Topcu
    [J]. International Journal on Software Tools for Technology Transfer, 2022, 24 : 803 - 819
12345