Timing Assurance of Avionic Reconfiguration Schemes Using Formal Analysis

著录项

• 来源
  《IEEE Transactions on Aerospace and Electronic Systems》 |2020年第1期|95-106|共12页
• 作者

  da Fontoura Antonio Augusto; do Nascimento Francisco Assis Moreira; Nadjm-Tehrani Simin; de Freitas Edison Pignaton;

  展开▼
• 作者单位

  Univ Fed Rio Grande do Sul Inst Informat BR-91501970 Porto Alegre RS Brazil;

  Univ Fed Rio Grande do Sul Inst Informat BR-91501970 Porto Alegre RS Brazil;

  Linkoping Univ Dept Comp & Informat Sci S-58183 Linkoping Sweden;

  Univ Fed Rio Grande do Sul Inst Informat BR-91501970 Porto Alegre RS Brazil;

  展开▼
• 收录信息
• 原文格式 PDF
• 正文语种 eng
• 中图分类
• 关键词

  Aerospace electronics; Software; Computer architecture; Task analysis; Timing; Model checking; Fault tolerance; Avionic systems; distributed real-time embedded systems; model checking; reconfiguration; schedulability analysis;

  机译：航空航天电子;软件;计算机架构;任务分析;时间;模型检查;容错;航空系统;分布式实时嵌入式系统;模型检查;重新配置;调度分析;调度分析;调度分析;