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 条
  • [41] A Compositional Scheduling Framework for Digital Avionics Systems
    Easwaran, Arvind
    Lee, Insup
    Sokolsky, Oleg
    Vestal, Steve
    2009 15TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2009, : 371 - +
  • [42] A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling
    Boudjadar, Abdeldjalil
    David, Alexandre
    Kim, Jin Hyun
    Larsen, Kim G.
    Mikucionis, Marius
    Nyman, Ulrik
    Skou, Arne
    SCIENCE OF COMPUTER PROGRAMMING, 2015, 113 : 236 - 260
  • [43] The Polling Effect on the Schedulability of Distributed Real-Time Systems
    Perez, Hector
    Javier Gutierrez, J.
    Gonzalez Harbour, Michael
    Carlos Palencia, J.
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2016, 2016, 9695 : 179 - 194
  • [44] Schedulability analysis of distributed hard real-time systems with multiple-event synchronization
    García, JJG
    Gutiérrez, JCP
    Harbour, MG
    EUROMICRO RTS 2000: 12TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS, 2000, : 15 - 24
  • [45] Hierarchical System Schedulability Analysis Framework Using UPPAAL
    Ahn, So Jin
    Hwang, Dae Yon
    Kang, Miyoung
    Choi, Jin-Young
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2016, E99D (08): : 2172 - 2176
  • [46] DEVELOPMENT OF TEST AUTOMATION FRAMEWORK FOR TESTING AVIONICS SYSTEMS
    Jha, Ashutosh Kumar
    29TH DIGITAL AVIONICS SYSTEMS CONFERENCE: IMPROVING OUR ENVIRONMENT THROUGH GREEN AVIONICS AND ATM SOLUTIONS, 2010,
  • [47] Design and Implementation of a Service Management Framework for Avionics Systems
    Chen, Diyuan
    Chen, Jinchao
    Du, Chenglie
    2022 IEEE 6TH ADVANCED INFORMATION TECHNOLOGY, ELECTRONIC AND AUTOMATION CONTROL CONFERENCE (IAEAC), 2022, : 993 - 997
  • [48] PTRebeca: Modeling and analysis of distributed and asynchronous systems
    Jafari, Ali
    Khamespanah, Ehsan
    Sirjani, Marjan
    Hermanns, Holger
    Cimini, Matteo
    SCIENCE OF COMPUTER PROGRAMMING, 2016, 128 : 22 - 50
  • [49] MODELING AND ANALYSIS OF CHARACTERISTICS OF DISTRIBUTED MULTIMICROPROCESSOR SYSTEMS
    AKHMEDOV, BO
    DZHAVADOV, AA
    ISMAILOV, SF
    ISMAILOV, BG
    AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1985, (03): : 70 - 74
  • [50] A Distributed and Reusable Workflow-based Auto Test Framework for Distributed Integrated Modular Avionics
    Sheng, Wubin
    Yu, Jinsong
    Weng, Zeyu
    Tang, Diyin
    2017 IEEE AUTOTESTCON, 2017, : 94 - 101
12345