safety-critical相关知识

• 安全关键应用程序的Python编码标准 2024-07-24
• 包括.c而不是标头(.h)-MIRA c 2024-06-27
• c-为所有未初始化的变量设置默认值 2023-09-18
• c-将double转换为int的安全方法是什么 2023-09-18
• 是否存在经过认证(ISO 26262或类似)C++标准库? 2023-09-16
• 安全关键嵌入式系统中的Ada例外 2023-09-16
• C 布尔值无效处理 2023-09-16
• 在安全关键系统中测试 C++17 2023-09-15
• 是否可以为安全关键系统认证基于AI的解决方案 2023-09-12
• 如何对编译器进行功能安全性认证 2023-09-12
• c语言 - MISRA-2012 规则 20.12 违反：misra_c_2012_rule_20_12_violation：宏参数"val"以扩展和原始形式使用 2023-09-11
• C-如何修复此代码中提到的Misra -2012 10.4和10.9违规问题 2023-09-11
• Sil＃规范中的R和HR之间的差异 2023-09-10
• c-为什么不将任务上下文置于中断中 2023-09-09
• c-违反米斯拉12.6 2023-09-06
• 安全关键项目动态分配的替代方案(C) 2023-08-31
• C语言 如果终止有什么好处...else 如果使用 else 子句构造 2023-08-29
• 堆栈上的可执行 Ada 代码 2023-08-29
• 切勿使用预定义的实际类型 2023-08-29
• CAN验收过滤 2023-08-29
• 使用函数指针方法进行状态机设计的三选二投票 2023-08-28
• Qt研究/学术/期刊论文/文章 2023-08-28
• c代码中反对变量冗余的有力论据是什么? 2023-08-26
• 无异常的c++操作符重载错误检查 2023-08-26
• 安全关键软件的c++形式化方法 2023-08-25