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 条
  • [1] A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems
    Han, Pujie
    Zhai, Zhengjun
    Nielsen, Brian
    Nyman, Ulrik
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (272): : 39 - 51
  • [2] Schedulability Analysis of Distributed Multicore Avionics Systems with UPPAAL
    Han, Pujie
    Zhai, Zhengjun
    Nielsen, Brian
    Nyman, Ulrik
    Kristjansen, Martin
    JOURNAL OF AEROSPACE INFORMATION SYSTEMS, 2019, 16 (11): : 473 - 499
  • [3] Schedulability Analysis in Partitioned Systems for Aerospace Avionics
    Craveiro, Joao
    Rufino, Jose
    2010 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2010,
  • [4] Schedulability analysis for AFDX-based avionics systems
    Zhou, T. (zhoutianran1@ee.buaa.edu.cn), 2012, Beijing University of Aeronautics and Astronautics (BUAA) (38):
  • [5] Schedulability Analysis for Independent Partitions in Integrated Modular Avionics Systems
    Chen, Jinchao
    Du, Chenglie
    PROCEEDINGS OF 2015 IEEE INTERNATIONAL CONFERENCE ON PROGRESS IN INFORMATCS AND COMPUTING (IEEE PIC), 2015, : 521 - 525
  • [6] On the schedulability analysis for distributed real-time systems
    Wang, SH
    Färber, G
    REAL TIME PROGRAMMING 1999 (WRTP'99), 1999, : 227 - 232
  • [7] Modeling and schedulability analysis of hard real-time distributed systems based on Ada components
    Medina, JL
    Gutiérrez, JJ
    Drake, JM
    Harbour, MG
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2002, 2002, 2361 : 282 - 296
  • [8] On the Schedulability Analysis for Dynamic QoS Management in Distributed Embedded Systems
    Almeida, Luis
    Marau, Ricardo
    Lakshmanan, Karthik
    Rajkumar, Raj
    SOFTWARE TECHNOLOGIES FOR EMBEDDED AND UBIQUITOUS SYSTEMS, 2010, 6399 : 119 - +
  • [9] On the schedulability analysis for distributed hard real-time systems
    Gutierrez, JCP
    Garcia, JJG
    Harbour, MG
    NINTH EUROMICRO WORKSHOP ON REAL TIME SYSTEMS, PROCEEDINGS, 1997, : 136 - 143
  • [10] A systems architecting framework for optimal distributed integrated modular avionics architectures
    Annighöfer B.
    Thielecke F.
    CEAS Aeronautical Journal, 2015, 6 (3) : 485 - 496
12345