ISO/IEC 12208:2008, Systems and software engineering - Software life cycle processes
ISO 17961
ISO/IEC/IEEE 29119:2013 系列, Software and system engineering - Software testing
IEC 61508:2010 系列,Functional safety of electrical / electronic / programmable electronic safety-related systems
MISRA C:2012, Guidelines for the use of the C language in critical systems, MIRA, 2013
MISRA AC GMG, Generic modelling design and style guidelines, MIRA, 2009
軟體生命週期 (software lifecycle)、軟體發展生命週期 (SDLC)
ISO 26262-6 雖然建議可以採用傳統的 V-形發展模型,不過認為機敏軟體發展 (agile software development) 模型也適用安全相關系統的軟體發展。惟機敏方式與方法不可忽視安全措施或省略基礎文檔,以及嚴格的產品過程與安全完整性。
模型為基礎發展方式 (model-based development approaches, MBDV)
使用案例:要求、設計、驗證/試驗
電腦程式編寫語言 - C 語言
* ISO/IEC 9899:1990, Programming languages - C
* C++03、C++11、C++14、C++17
英國車輛產業軟體可靠性協會 (The Motor Industry Software Reliability Association, MISRA),成立使命在於提供車輛產業服務與支援,協助發展安全、可靠的嵌入式軟體。MISRA C 是由 MISRA 針對應用 C 語言開發車用軟體的指導綱要,目的在於提高嵌入式系統的安全性、可靠性與可移植性。