验证工作作为典型的形式化方法的工程化案例，应用了形式化方法的需求分析、建模与验证，由此验证了形式化方法的可行性与有效性。
2023-03-24 11:01
对系统进行建模是一个采用表格化、图形化、公式化的方式，将系统的构成及其构成间的关系呈现给人们的一种技术方法，也就是将系统进行抽象化处理的过程。对系统的抽象可以从多个层面
2022-10-21 13:48
本文针对AUTOSAR的TTCAN协议进行研究，并用Timed CSP（Timed Communication Sequential Processes）形式化语言对其进行建模，通过LTL
2022-12-30 13:23
上海控安形式化方法技术团队历年来在航空、航天和轨交等领域的成功应用经验，本专题将围绕“形式化方法”特别是形式化方法的工程化
2022-06-10 10:49
形式化方法是基于严格的数学基础，通过采用数学逻辑证明来对计算机软硬件系统进行建模、规约、分析、推理和验证，是用于保证计算机软硬件系统正确性以及安全性的一种重要方法。
2023-01-30 16:42
本文针对AUTOSAR的TTCAN协议进行研究，并用Timed CSP（Timed Communication Sequential Processes）形式化语言对其进行建模，通过LTL
2023-01-04 16:12
文将聚焦于轨交领域，从领域专用的需求撰写与分析工具Prema入手，介绍形式化方法在工业中的实际应用。
2023-08-08 15:20
本文主要探讨了形式化方法在航空领域中的工业应用。航空领域作为安全攸关领域，其机载系统软件的开发有着高度复杂和严格的安全标准要求，以确保其安全可靠性。
2023-08-21 15:45
航天嵌入式图像处理技术 本文首先简要介绍了充满奇想的航天时代，在此基础上，从统一的体系结构模型，虚拟的并行计算阵列与仿生的物理实现技术三个方面，讨论
2010-03-27 10:15
ASCET-DEVELOPER IDE是一个基于Eclipse的嵌入式软件图形化建模开发集成环境。借助ASCET-DEVELOPER，软件工程师能够构建高性能、安全、可靠、低开销且易于维护的
2022-06-07 12:02
