形式化工程方法，是以软件形式化方法理论为基础，以系统化的工程方法引导工业界工程人员构建高质量的软件模型，用以引导后续的代码编写和相关测试分析。并选取了工业实际场景中的某
2023-03-24 11:01
系列简介：形式化方法在计算机和软件工程学科中作为一个学科分支，正在越来越多地进入工业界诸多实践领域。以DO-333适航标准为代表的工业标准，亦对软件开发过程明确提出了采用形式化方法的要求。为此，结合
2022-06-10 10:49
本文针对AUTOSAR的TTCAN协议进行研究，并用Timed CSP（Timed Communication Sequential Processes）形式化语言对其进行建模，通过LTL
2022-12-30 13:23
文将聚焦于轨交领域，从领域专用的需求撰写与分析工具Prema入手，介绍形式化方法在工业中的实际应用。
2023-08-08 15:20
形式化方法是基于严格的数学基础，通过采用数学逻辑证明来对计算机软硬件系统进行建模、规约、分析、推理和验证，是用于保证计算机软硬件系统正确性以及安全性的一种重要方法。
2023-01-30 16:42
本文主要探讨了形式化方法在航空领域中的工业应用。航空领域作为安全攸关领域，其机载系统软件的开发有着高度复杂和严格的安全标准要求，以确保其安全可靠性。
2023-08-21 15:45
瞭解ADI基於SAR ADC的最新精密資料蒐集子系統，該系統集行業領先的性能、小尺寸以及低功耗特性於一體，與傳統解決方案
2019-07-03 06:11
本文针对AUTOSAR的TTCAN协议进行研究，并用Timed CSP（Timed Communication Sequential Processes）形式化语言对其进行建模，通过LTL
2023-01-04 16:12
在测试形式化需求的主题上，我们又向前迈进了一步。 如今，已经可以使用TPT自动评估形式化需求。在TPT 19中，相应的测试数据现在可以一键生成。 这还在测试中吗?是的，但是完全自动并且不需要创建复杂的测试用例。
2023-04-23 16:48 北汇信息POLELINK 企业号
本方案為透過雲端聲控遠端燈光的實例，支援長距離大空間的應用。ADN8080具備優異的聲音處理，可以解決傳統麥克風收音噪聲過大、回音問題、聲音方向問題，所以能提供語音辨識引擎足夠的聲音取樣資料，增加辨識度，進而提升使用者體驗。
2019-06-18 06:04
