News
发布时间：2019-05-27 作者：上海工业控制安全创新科技有限公司 点击次数：次
5月21日，图灵奖得主Joseph Sifakis教授来访上海控安，对平台公司的工具链产品研发进行指导。Sifakis教授就嵌入式控制软件的需求建模与分析方法，以及软件工具产品的工业应用等问题与平台公司展开讨论。
Sifakis教授指导平台研发工作
Sifakis教授认为，为了确保软件的功能安全与可靠，必须采用足够充分的数学方法在源头对软件的行为进行精确描述和验证，并通过良好的工程方法和成熟工具将其应用于具体领域。上海控安的研发团队也认同这一理念，并向Sifakis教授系统地介绍了多年来在航空航天、轨道交通及工业控制领域的研发和产业化应用成果。
Sifakis教授对上海控安在软件精确建模和在航空航天及轨道交通领域长期积累的理论与实践成果表示了浓厚兴趣并予以高度评价，同时确立了双方深入合作的具体问题。通过建立双向联络机制，Sifakis教授将进一步指导上海控安进行安全攸关领域软件分析方法和软件工具产品的研发，为平台公司在工业控制软件功能安全领域拓展更大的空间，形成强大的产业辐射效应。
Joseph Sifakis教授是国际软件工程界和可信软件领域的顶尖科学家之一，也是经典的模型检查方法的奠基人之一，并凭借在“将模型检查发展为被硬件和软件业中所广泛采纳的高效验证技术”上的贡献而获得 2007年度的图灵奖。今后将对平台公司的工具链产品研发提出规划意见，并就具体相关项目进行技术咨询与指导。
