嫦娥五号、天问一号、国家飞机、轨道交通系统……所有这些高安全领域都依赖于一个名为“工业控制系统”的隐形神经网络。一旦发生黑客攻击或系统错误，轻则造成巨大的物质损失，重则影响人的生命安全。上海港安信托软件创新研究院副院长冯金草是这一重要领域的技术骨干。冯金草（右一）与团队成员一起进行代码审查。 （受访者提供）“被困”也不错。到底什么是“可信软件”？冯金草的解释很简单：“这是我写的，你信吗？99%的信心还是99.99999%的信心？”他表示，工业控制系统的复杂性使得故障成本高昂。波音737-MAX坠机和Uber自动驾驶汽车的死亡原因并不是硬件损坏，而是设计阶段隐藏的错误，导致了事故的发生。未检测到。这种“看不见的风险”是目前全球工业软件正在解决的前沿问题。在那里，他带领12人的核心研发团队在短短三年内独立开发了SmartRocket Modeler这一可靠的嵌入式软件建模开发工具。冯金草介绍，该软件进行基于模型的可视化建模，能够自动生成可靠的C代码，适用于发动机控制系统、轨道控制系统、ATP列车自动防护系统等高安全场景。更重要的是，它通过替代以前每年花费数千万元安装的国外竞品，真正缩小了国产软件在“工程可靠性水平”上的差距。 “这个软件是我们的‘孩子’。”冯金草表示，最困难的部分是最初的验证阶段，开发一度陷入混乱。他坦言。随后团队招募了一位敏捷教练介入并开始了一个良性循环，遵循每天两次站会和每月或每两周发布一次的敏捷开发节奏。软件一旦开发成功，要让市场接受就更难了。当最初的软件被创建时，没有人愿意使用它。他们只能“拿着工具敲门”，提供免费测试服务，派工程师到现场，甚至主动导入客户最初使用外部工具创建的项目代码，并提供详细的评估报告。但正是在这些困难时期，所谓的“挨家挨户与客户见面”，SmartRocket Modeler 能够快速迭代和优化自动化测试系统和现场模块导入导出等功能。 “‘停滞’并不是坏事，事实上，它加速了我们自己的先进工业体系的形成。”一半是使命，一半是理想。冯金草学的是软件工程师就读于华东师范大学，获硕士、博士学位。冯金草2015年开始从事可信软件领域工作，2022年加入上海公安。“为什么想涉足软件开发？”他坦言，一半是使命，一半是理想。 Control Security是一个专注于“停滞不前”的关键技术的平台，并表示希望“创造出每个人都可以使用的东西”。他希望自己编写的软件能够在发动机、火车、卫星和工厂上运行，而不仅仅是报纸。 s系统内。对教育的影响同样深远。冯金草先生表示，他的硕士、博士生导师、现任上海市公安局常务副局长蒲格光先生有一句话他一直牢记在心：“解决行业领先工程师面临的实际问题”改变了他对研发的看法，而他父亲的“成败由细节决定”教学方法教会他在设计时始终把“信任”放在第一位。系统。他说他开始考虑这个问题。目前，上海港安拥有超过53%的硕士、博士学历，超过76%的研发人员。 2020年获批企业博士后工作站，每位博士后将带领一个开发团队快速部署技术原型。冯金草预测，未来工业软件将进入“碎片领域”、“强者主导”的时代，从单点工具走向集成工具链和平台。简历：冯金草先生，上海金安信托软件创新研究院副院长，从事需求工程、软件详细设计建模、基于模型的开发与验证等方面的研发工作。入选2024年上海市东方人才计划青年项目，荣获2023年上海市技术发明奖一等奖（第11名）个人排名）、上海市“软件开发技能人才”等
特别提示：以上内容（包括图片、视频，如有）由自有媒体平台“网易账号”用户上传发布。本平台仅提供信息存储服务。
注：以上内容（含图片、视频、ifany）由仅提供信息存储服务的社交媒体平台网易号用户上传发布。
近期评论