Automated generation of time-predictable executables on multicore
作者: Claire PagettiJulien ForgetHeiko FalkDominic OehlertArno Luppold
作者单位: ONERA, Toulouse, France;;Université de Lille, Lille, France;;TUHH, Hamburg, Germany;;TUHH, Hamburg, Germany;;TUHH, Hamburg, Germany
论文集英文名称: Real-Time Networks and Systems
来源数据库: Association for Computing Machinery
DOI: 10.1145/3273905.3273907
关键词: Global fixed-priority schedulingIntra-task parallelismMultiprocessorsOptimalityTardiness
原始语种摘要: In this paper, we are interested in the implementation of control-command applications, such as the flight control system of an aircraft for instance, on multi-core hardware. Due to certification and safety issues, time-predictability - in the sense that the timing behavior must be analysable and validable off-line - is a mandatory feature. We present a complete framework, from high-level system specification in synchronous languages, to implementation on a multi-core hardware platform, which enforces time-predictability at every step of the development process. The framework is based on automated code generation tools to speed-up the development process and to eliminate error-prone human-made translation steps.
全文获取路径: ACM 

  • development 开发
  • generation 世代
  • predictability 可预计性
  • process 过程
  • implementation 执行
  • control 控制
  • system 
  • certification 确认
  • multicore 多芯的
  • safety 安全