← Tags #safety-critical

10 notes

DO-178C (航空ソフトウェア認証) safety-criticalformal-methods Ferrocene rustsafety-critical IEC 62304 (医療機器ソフトウェア) safety-criticalformal-methods ISO 26262 (自動車機能安全) safety-criticalformal-methods Rust と安全臨界 (Ferrocene / RustBelt) rustsafety-criticalformal-methods SOUP (Software of Unknown Provenance) safety-criticalsoftware-supply-chain システムにおける「許容される安全性」とは safety-criticalsystems-engineering 商用オフザシェルフ (COTS) ソフトウェア safety-criticalsoftware-supply-chainbusiness 安全臨界ソフトウェア認証と Almide のギャップ formal-methodsalmidesafety-critical 安全臨界の認証に関わる団体(標準化・評価・規制) safety-critical