A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems

被引：6
|
作者：
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 条
  • [31] Scalability and schedulability in large, coordinated, distributed robot systems
    Sweeney, JD
    Li, H
    Grupen, RA
    Ramamritham, K
    2003 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1-3, PROCEEDINGS, 2003, : 4074 - 4079
  • [32] A General Framework for Parameterized Schedulability Bound Analysis of Real-Time Systems
    Wu, Jianjia
    Liu, Jyh-Charn
    Zhao, Wei
    IEEE TRANSACTIONS ON COMPUTERS, 2010, 59 (06) : 776 - 783
  • [33] Modern avionics requirements for the Distributed Systems Annex
    Lewis, B
    Vestal, S
    McConnell, D
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE, 1998, 1411 : 201 - 212
  • [34] Practical schedulability analysis for generalized sporadic tasks in distributed real-time systems
    Zhang, Yuanfang
    Krecker, Donald K.
    Gill, Christopher
    Lu, Chenyang
    Thaker, Gautam H.
    ECRTS 2008: PROCEEDINGS OF THE 20TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, 2008, : 223 - +
  • [35] Schedulability analysis for distributed heterogeneous time/event triggered real-time systems
    Pop, T
    Eles, P
    Peng, Z
    15TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS, 2003, : 257 - 266
  • [36] Schedulability Analysis and Optimization of Heterogeneous EDF and FP Distributed Real-Time Systems
    Rivas, Juan M.
    Javier Gutierrez, J.
    Carlos Palencia, J.
    Gonzalez Harbour, Michael
    PROCEEDINGS OF THE 23RD EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2011), 2011, : 195 - 204
  • [37] A framework for performability modeling of messaging services in distributed systems
    Ramani, S
    Goseva-Popstojanova, K
    Trivedi, KS
    EIGHTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2002, : 25 - 34
  • [38] A FRAMEWORK FOR THE MODELING AND PROTOTYPING OF DISTRIBUTED INFORMATION-SYSTEMS
    DENG, Y
    CHANG, SK
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1991, 1 (03) : 203 - 226
  • [39] A modeling framework for integrated distributed systems fault management
    Katker, S
    DISTRIBUTED PLATFORMS, 1996, : 186 - 198
  • [40] Analysis of Synchronization in Distributed Avionics Systems Based on Time-Triggered Ethernet
    Tariq, Nahman
    Petrunin, Ivan
    Al-Rubaye, Saba
    2021 IEEE/AIAA 40TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2021,
12345