Model checking embedded and real time systems

被引：0
|
作者：
Larsen, Kim G. [1 ]
机构：
[1] Univ Aalborg, Aalborg, Denmark
来源：
WODES' 08: PROCEEDINGS OF THE 9TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS | 2008年
关键词：
D O I：
10.1109/WODES.2008.4605955
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：260 / 260
页数：1
相关论文
共 50 条
  • [31] Towards SMT-Based LTL Model Checking of Clock Constraint Specification Language for Real-Time and Embedded Systems
    Zhang, Min
    Ying, Yunhui
    ACM SIGPLAN NOTICES, 2017, 52 (05) : 61 - 70
  • [32] Design pattern for the runtime model-based checking of a real-time embedded system
    Arm, J.
    Bradac, Z.
    Bastan, O.
    Streit, J.
    Misik, S.
    IFAC PAPERSONLINE, 2019, 52 (27): : 127 - 132
  • [33] Safety aspects of generic real-time embedded software model checking in the fuzing domain
    Larisch, M.
    Siebold, U.
    Haering, I.
    ADVANCES IN SAFETY, RELIABILITY AND RISK MANAGEMENT, 2012, : 2678 - 2684
  • [34] Model Checking Process Algebra of Communicating Resources for Real-time Systems
    Boudjadar, A. Jalil
    Kim, Jin Hyun
    Larsen, Kim G.
    Nyman, Ulrik
    2014 26TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2014), 2014, : 51 - 60
  • [35] A general time model for the specification and design of embedded real-time systems
    Münzenberger, R
    Dörfel, M
    Hofmann, R
    Slomka, F
    MICROELECTRONICS JOURNAL, 2003, 34 (11) : 989 - 1000
  • [36] Probabilistic model checking: Formalisms and algorithms for discrete and real-time systems
    Courcoubetis, C
    Tripakis, S
    VERIFICATION OF DIGITAL AND HYBRID SYSTEM, 2000, 170 : 183 - 219
  • [37] Approximate Model Checking of Real-time Systems for Linear Duration Invariants
    Choe, Changil
    Han, Song
    Dang Van Hung
    2012 INTERNATIONAL CONFERENCE ON APPLIED INFORMATICS AND COMMUNICATION (ICAIC 2012), 2013, : 16 - 21
  • [38] Spatio-temporal model checking for mobile real-time systems
    Quesel, Jan-David
    Schaefer, Andreas
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2006, 2006, 4281 : 347 - 361
  • [39] Bounded model checking for GSMP models of stochastic real-time systems
    Alur, Rajeev
    Bernadsky, Mikhail
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2006, 3927 : 19 - 33
  • [40] PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems
    Sun, Jun
    Liu, Yang
    Song, Songzheng
    Dong, Jin Song
    Li, Xiaohong
    FORMAL METHODS AND SOFTWARE ENGINEERING, 2011, 6991 : 147 - +
12345