Multicore mixed-criticality systems: Partitioned scheduling and utilization bound
In mixed-criticality (MC) systems, multiple activities with various certification requirements
(thus with different criticality levels) can co-exist on shared hardware platforms, where …
(thus with different criticality levels) can co-exist on shared hardware platforms, where …
Resource sharing in multicore mixed-criticality systems: Utilization bound and blocking overhead
In mixed-criticality (MC) system, diverse application activities with various certification
requirements (different criticality) can share a computing platform, where multicore …
requirements (different criticality) can share a computing platform, where multicore …
Innovation and certification in aviation software
JD Kennedy, M Towhidnejad - … , Navigation and Surveillance …, 2017 - ieeexplore.ieee.org
Software safety is of critical importance to the ongoing success of the aviation industry. The
DO-178 standard is the de-facto standard for safe aviation software across different …
DO-178 standard is the de-facto standard for safe aviation software across different …
Streamlining the airborne systems certification
M Ibrahim, U Durak - 2021 IEEE/AIAA 40th Digital Avionics …, 2021 - ieeexplore.ieee.org
There is a current stagnation in the evolution of the certification methods for airborne
systems. Despite the rapid change in the technology landscape, nothing substantial has …
systems. Despite the rapid change in the technology landscape, nothing substantial has …
Challenges and opportunities for software development and verification on military aircraft systems
SP Cook, G Haverkamp - AIAA Scitech 2020 Forum, 2020 - arc.aiaa.org
Software development and verification has become increasingly important for all aerospace
systems. The number of software lines of code in aerospace systems continues to increase …
systems. The number of software lines of code in aerospace systems continues to increase …
[PDF][PDF] Um Metamodelo para Casos de Garantia de Sistemas Críticos e Intensivos em Software baseado em Análise do Conceito Inicial de Sistemas Teóricos
EJ PORFÍRIO - 2019 - inf.ufg.br
Com a participação cada vez mais intensa do software nos chamados sistemas críticos,
diversos domínios criam normas e processos de certificação com a intenção de garantir as …
diversos domínios criam normas e processos de certificação com a intenção de garantir as …
「空の産業革命」「空の移動革命」 のキーワード“自動化”“自律化” の認証の壁と実現に向けた世界の取り組み
中村裕子， 鈴木真二 - 日本航空宇宙学会誌, 2020 - jstage.jst.go.jp
抄録 昨今の人工知能技術, 特に深層学習技術の発展を受けて, また無人航空機の開発や利用の
発展を受けて, 自律制御を航空分野へ適用する際の安全性確保のあり方・手段について …
発展を受けて, 自律制御を航空分野へ適用する際の安全性確保のあり方・手段について …
[PDF][PDF] 民間航空機ソフトウェア認証DO-178C に準拠したプロセス構築と規格理解を支援するツールの提
岩倉淳 - 2021 - koara.lib.keio.ac.jp
現在, 国内メーカには民間航空機市場に参入する良い機会が巡ってきている. その要因の一つは空
飛ぶクルマのような New Mobility の台頭であり, もう一つは地球温暖化問題に大きな影響を与える …
飛ぶクルマのような New Mobility の台頭であり, もう一つは地球温暖化問題に大きな影響を与える …