Control flow checking in multitasking systems

被引：0
|
作者：
Technical Univ of Budapest, Budapest, Hungary [1 ]
机构：
来源：
Period Polytech Electr Eng | / 1卷 / 27-36期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Model Checking Longitudinal Control in Vehicle Platoon Systems
    Peng, Cong
    Bonsangue, Marcello M.
    Xu, Zhongwei
    IEEE ACCESS, 2019, 7 : 112015 - 112025
  • [42] ON CHECKING CORRECTNESS OF SOME CLASSES OF CONTROL-SYSTEMS
    REDKIN, NP
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 278 : 377 - 382
  • [43] Model Checking Flight Control Systems: the Airbus Experience
    Bochot, Thomas
    Virelizier, Pierre
    Waeselynck, Helene
    Wiels, Virginie
    2009 31ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, COMPANION VOLUME, 2009, : 18 - +
  • [44] Assertion checking of control dominated systems with nonlinear solvers
    Ugarte, I.
    Sanchez, P.
    FOURTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2006, : 200 - 200
  • [45] Towards Low Overhead Control Flow Checking Using Regular Structured Control
    Zhu, Zhiqi
    Callenes-Sloan, Joseph
    PROCEEDINGS OF THE 2016 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2016, : 826 - 829
  • [46] Abstraction and flow analysis for model checking open asynchronous systems
    Ioustinova, N
    Sidorova, N
    Steffen, M
    APSEC 2002: NINTH ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE, 2002, : 227 - 235
  • [47] Synchronous closing and flow analysis for model checking timed systems
    Ioustinova, N
    Sidorova, N
    Steffen, M
    FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2003, 3188 : 292 - 313
  • [48] A Control Flow Integrity Checking Technique Based on Hardware Support
    Li, Yang
    Dai, Zibin
    Li, Junwei
    PROCEEDINGS OF 2018 IEEE 3RD ADVANCED INFORMATION TECHNOLOGY, ELECTRONIC AND AUTOMATION CONTROL CONFERENCE (IAEAC 2018), 2018, : 2617 - 2621
  • [49] APPROACH TO REAL-TIME CONTROL FLOW CHECKING.
    Yau, S.S.
    Chen, F.C.
    Yau, K.H.
    1978, : 163 - 168
  • [50] Checking security policies through an enhanced Control Flow Analysis
    Bodei, Chiara
    Degano, Pierpaolo
    Priami, Corrado
    JOURNAL OF COMPUTER SECURITY, 2005, 13 (01) : 49 - 85
12345