航天嵌入式软件是航天型号任务成败的关键之一．航天嵌入式软件是一种周期性、多模式的软件．软件的每个模式表示系统处于一定的状
2018-02-06 16:25
验证工作作为典型的形式化方法的工程化案例，应用了形式化方法的需求分析、建模与验证，由此验证了形式化方法的可行性与有效性。
2023-03-24 11:01
一种形式化的学习过程建模_钟伟平
2017-03-19 11:45
对系统进行建模是一个采用表格化、图形化、公式化的方式，将系统的构成及其构成间的关系呈现给人们的一种技术方法，也就是将系统进行抽象化处理的过程。对系统的抽象可以从多个层面
2022-10-21 13:48
计算和建模分析的传统方法，如数值计算方法和符号方法等，都存在计算不精确或者不完备等问题，高阶逻辑定理证明是验证系统正确的一种严密的形式化方法．在高阶逻辑证明工具HOL-Light中建立了几何代数系统的形式化模型，主要
2018-01-16 18:09
本文针对AUTOSAR的TTCAN协议进行研究，并用Timed CSP（Timed Communication Sequential Processes）形式化语言对其进行建模，通过LTL
2022-12-30 13:23
通过UML语言对嵌入式系统建模，既准确地完成了分析人员与用户需求形式化层次上的一致性，也为程序开发人员建立了清晰的程序结构和行为准则，大大缩短了系统开发周期，并使
2009-05-16 13:13
由于嵌入式系统功能的复杂性和需求的多样性，使得在工程上进行嵌入式系统的设计成为难题建立一个良好的形式化系统模型，在系统设计的初级阶段对系统进行模拟和仿真，对系统的有效性、稳定性和可靠性进行分析，及时
2018-01-31 13:57
上海控安形式化方法技术团队历年来在航空、航天和轨交等领域的成功应用经验，本专题将围绕“形式化方法”特别是形式化方法的工程化
2022-06-10 10:49
目前，基于FPGA 的嵌入式CPU核的设计已成为SOC设计的重要部分．提出一种嵌入式CPU核的VHDI 行为建模方法，与传统的基于电路结构建模的CPU核的设计方法不同，
2011-06-27 16:00
