-
异构仿真:打造更可靠的综合化航空电子软件
综合化航空电子系统是一类典型的安全关键系统,具有分布式、异构、计算资源和物理资源强耦合等特征。随着IMA系统趋于复杂化和智能化,系统的功能越来越多地采用软件来实现,如何打造更为可靠的综合化航空电子软件成为一个重要挑战。
2024-09-14 digiproto
-
初入SysML之模块定义图
如果把系统工程看做一座山,那么基于SysML或UML的各种图就是从不同角度去看这座山所形成的“画”。“横看成岭侧成峰,远近高低各不同”,每幅“画”都能展现出其不同角度的“美”,但又无法完全画出每一棵树、每一朵花。 今天我们来画一下山的脉络——模块定义图。文绉绉的东西放后面,直接从实例说起吧。比如台式机由主机、显示器、鼠标、键盘、音响等组成,用SysML怎么表示呢?
2023-05-15 digiproto
-
浙里工业软件声音 - 金问鼎:“MBSE+DevOps”两位一体,SkyEye助力卫星数字先行
天目全数字实时仿真软件SkyEye作为攻克“卡脖子”关键技术、国产替代和自主可控的工业软件,可构建卫星全生命周期的数字孪生系统,应用先进的“MBSE+DevOps”方法论,实现卫星姿态轨道控制软件的正确性、可靠性与高效性,为卫星保驾护航。
2023-05-15 digiproto
-
初探形式化方法基本原理
1.形式化方法基本概念形式化方法是基于严格的数学基础,通过采用数学逻辑证明来对计算机软硬件系统进行建模、规约、分析、推理和验证,是用于保证计算机软硬件系统正确性以及安全性的一种重要方法。形式化方法使用数学及逻辑证明的手段对计算机系统进行建模、规约、分析、推理,其主要涵盖以下几个研究方向:定理证明、形式模型、形式语义与形式建模、形式规约、形式验证技术。下面以高可信工业领域实际应用中最广泛的形式化规格
2022-08-01 digiproto
-
浙江省经信厅邬韶杭处长一行莅临迪捷软件调研座谈
2022年5月24日下午,浙江省经信厅软件和集成电路处处长邬韶杭携省软件行业协会、省半导体行业协会领导赴迪捷软件调研指导,市经信局领导陪同调研。
2022-05-27 digiproto