Verifying compositional designs for scenario-based timing specifications

被引：0
|
作者：
Li, XD [1 ]
Zhao, JH [1 ]
Gong, JY [1 ]
Shi, YX [1 ]
Zheng, GL [1 ]
机构：
[1] Nanjing Univ, Dept Comp Sci & Technol, State Key Lab Novel Software Technol, Nanjing 210093, Peoples R China
来源：
SEVENTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS | 2004年
关键词：
D O I：
10.1109/ISORC.2004.1300367
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this paper we use net-works of UML statechart diagrams to model compositional designs for real-time systems, and present an algorithm for checking networks of statechart diagrams for the scenario-based specifications expressed by UML sequence diagrams with timing constraints. The algorithm is based on investigating the reach-ability graph of the integer state space of a network of statechart diagrams.
引用
收藏
页码：253 / 256
页数：4
相关论文
共 50 条
  • [1] Verifying scenario-based aspect specifications
    Katz, E
    Katz, S
    [J]. FM 2005: FORMAL METHODS, PROCEEDINGS, 2005, 3582 : 432 - 447
  • [2] Checking component-based embedded software designs for scenario-based timing specifications
    Hu, J
    Yu, XF
    Zhang, Y
    Zhang, T
    Li, XD
    Zheng, GL
    [J]. EMBEDDED AND UBIQUITOUS COMPUTING - EUC 2005, 2005, 3824 : 395 - 404
  • [3] TASS: Timing Analyzer of Scenario-Based Specifications
    Pan, Minxue
    Bu, Lei
    Li, Xuandong
    [J]. COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2009, 5643 : 689 - 695
  • [4] Timing analysis of scenario-based specifications using linear programming
    Li, Xuandong
    Pan, Minxue
    Bu, Lei
    Wang, Linzhang
    Zhao, Jianhua
    [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2012, 22 (02): : 121 - 143
  • [5] SAT and LP Collaborative Bounded Timing Analysis of Scenario-Based Specifications
    Lu, Longlong
    Yang, Wenhua
    Pan, Minxue
    Zhang, Tian
    [J]. THE 12TH ASIA-PACIFIC SYMPOSIUM ON INTERNETWARE, INTERNETWARE 2020, 2021, : 229 - 239
  • [6] Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications
    Greenyer, Joel
    Kindler, Ekkart
    [J]. MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, 2013, 8107 : 774 - 789
  • [7] Synthesis from scenario-based specifications
    Harel, David
    Segall, Itai
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2012, 78 (03) : 970 - 980
  • [8] Temporal logic for scenario-based specifications
    Kugler, H
    Harel, D
    Pnueli, A
    Lu, Y
    Bontemps, Y
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2005, 3440 : 445 - 460
  • [9] Mining Hierarchical Scenario-Based Specifications
    Lo, David
    Maoz, Shahar
    [J]. 2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 359 - 370
  • [10] Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques
    Lu, Longlong
    Pan, Minxue
    Zhang, Tian
    Li, Xuandong
    [J]. SOFTWARE AND SYSTEMS MODELING, 2022, 21 (04): : 1321 - 1338
12345