A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems

被引：7
|
作者：
Han, Pujie [1 ]
Zhai, Zhengjun [1 ]
Nielsen, Brian [2 ]
Nyman, Ulrik [2 ]
机构：
[1] Northwestern Polytech Univ, Sch Comp Sci & Engn, Xian, Shaanxi, Peoples R China
[2] Aalborg Univ, Dept Comp Sci, Aalborg, Denmark
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2018年 / 268期
关键词：
D O I：
10.4204/EPTCS.268.5
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper presents a modeling framework for schedulability analysis of distributed integrated modular avionics (DIMA) systems that consist of spatially distributed ARINC-653 modules connected by a unified AFDX network. We model a DIMA system as a set of stopwatch automata (SWA) in UPPAAL to analyze its schedulability by classical model checking (MC) and statistical model checking (SMC). The framework has been designed to enable three types of analysis: global SMC, global MC, and compositional MC. This allows an effective methodology including (1) quick schedulability falsification using global SMC analysis, (2) direct schedulability proofs using global MC analysis in simple cases, and (3) strict schedulability proofs using compositional MC analysis for larger state space. The framework is applied to the analysis of a concrete DIMA system.
引用
收藏
页码：150 / 168
页数：19
相关论文
共 50 条
  • [21] Modeling and Optimization in Distributed Integrated Modular Avionics
    Zhang, Chao
    Xiao, Jialuo
    2013 IEEE/AIAA 32ND DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2013,
  • [22] MODELING AND OPTIMIZATION IN DISTRIBUTED INTEGRATED MODULAR AVIONICS
    Zhang, Chao
    Xiao, Jialuo
    2013 IEEE/AIAA 32ND DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2013,
  • [23] Reduction-based schedulability analysis of distributed systems with cycles in the task graph
    Praveen Jayachandran
    Tarek Abdelzaher
    Real-Time Systems, 2010, 46 : 121 - 151
  • [24] Schedulability analysis and optimisation for the synthesis of multi-cluster distributed embedded systems
    Pop, P
    Eles, P
    Peng, Z
    IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 2003, 150 (05): : 303 - 312
  • [25] Schedulability Bound for Integrated Modular Avionics Partitions
    Kim, Jung-Eun
    Abdelzaher, Tarek
    Sha, Lui
    2015 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2015, : 37 - 42
  • [26] Principled Schedulability Analysis for Distributed Storage Systems Using Thread Architecture Models
    Yang, Suli
    Liu, Jing
    Arpaci-Dusseau, Andrea
    Arpaci-Dusseau, Remzi
    ACM TRANSACTIONS ON STORAGE, 2023, 19 (02)
  • [27] Schedulability analysis of tasks and network traffic in distributed real-time systems
    Cardeira, Carlos
    Mammeri, Zoubir
    Measurement: Journal of the International Measurement Confederation, 1995, 15 (02): : 71 - 83
  • [28] A Framework for Evaluating Schedulability Analysis Tools
    Shan, Lijun
    Graf, Susanne
    Quinton, Sophie
    Fejoz, Loic
    MODELS, ALGORITHMS, LOGICS AND TOOLS: ESSAYS DEDICATED TO KIM GULDSTRAND LARSEN ON THE OCCASION OF HIS 60TH BIRTHDAY, 2017, 10460 : 539 - 559
  • [29] Reduction-based schedulability analysis of distributed systems with cycles in the task graph
    Jayachandran, Praveen
    Abdelzaher, Tarek
    REAL-TIME SYSTEMS, 2010, 46 (01) : 121 - 151
  • [30] Principled Schedulability Analysis for Distributed Storage Systems using Thread Architecture Models
    Yang, Suli
    Liut, Jing
    Arpaci-Dusseau, Andrea C.
    Arpaci-Dusseau, Remzi H.
    PROCEEDINGS OF THE 13TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION, 2018, : 161 - 176
12345