-
ModelCoder中的代数环问题
2020年5月23日,美国商务部宣布,将共计33家中国公司和机构列入实体清单,哈工大、哈工程被禁用“工科神器”Matlab,而Simulink是Matlab软件的扩展,它是一个实现动态系统建模和仿真的软件。Matlab在国内知名院校和关键领域研究院所的禁用,给在国内坐了多年冷板凳,从事基础软件研究和产业化的我们,带来了机遇。
2023-05-15 digiproto
-
初识CPS方法的连续动态建模
信息物理融合系统(CPS)是对计算进程与物理进程进行集成所形成的综合系统,其行为由系统的信息部分及物理部分共同定义。嵌入式系统中的计算机与网络监测并控制物理进程,且在通常情况下这些物理进程与计算进程在反馈环路中相互影响。
2023-05-15 digiproto
-
基于模型的设计(MBD)在汽车ECU软件开发中的实践
基于模型的设计(MBD)是整车厂在当前激烈的竞争环境下的最优选,但如何选择一套应用MBD、以模型为核心,且能处理从需求、设计、代码生成到测试的开发工具?点击原文了解详情。
2023-05-15 digiproto
-
DevSecOps:软件安全捍卫者
顾名思义,DevSecOps是DevOps(链接)概念的延续,为应对安全漏洞日益严重的当下DevOps可能存在的安全问题而提出,旨在最大程度减少软件开发全生命周期中的产品漏洞,以避免安全问题可能导致的经济与法律问题。
2023-05-15 digiproto
-
漫谈金丝雀部署(Canary Deployment)
一些历史1895年,英国生理学家John Scott Haldane提出,小型恒温动物的呼吸交换比人类更快,矿井中的一氧化碳等有毒气体或甲烷等窒息性气体会先影响它们。同样的一氧化碳浓度下,老鼠会在几分钟内受到一氧化碳的影响,而人类需要 20 倍的时间。于是自1896年左右,老鼠开始被用作预警井下有毒气体的工具。一段时间后,人们发现金丝雀这种生物对于有毒气体更加敏感。最早的记录是在1900年:一些矿
2023-05-15 digiproto
-
DevOps:定义汽车软件新开发模式
汽车的系统开发以模型驱动开发为主(Model-based systems engineering,MBSE),快速迭代、持续集成、可靠性代码自动生成、测试自动化等改善开发流程的需求逐渐受到重视。
2023-05-15 digiproto
-
浙里工业软件声音 - 金问鼎:“MBSE+DevOps”两位一体,SkyEye助力卫星数字先行
天目全数字实时仿真软件SkyEye作为攻克“卡脖子”关键技术、国产替代和自主可控的工业软件,可构建卫星全生命周期的数字孪生系统,应用先进的“MBSE+DevOps”方法论,实现卫星姿态轨道控制软件的正确性、可靠性与高效性,为卫星保驾护航。
2023-05-15 digiproto