南京大学计算机科学与技术系
软件新技术与产业化协同创新中心
摘 要：
今天的航空航天等领域的大型嵌入式软件规模庞大，结构复杂，这主要表现在其C代码动辄上千万行（波音787 1800万行C代码），同时存在大量的定时器、中断嵌套。为了保证实时性，又采用异构处理器（CPU+GPU+FPGA），这类系统具有高可靠性和高容错性要求。传统的软件工程方法已很难满足这些需求。计算机发展初期，针对计算任务小且简单的软件采用机器语言或汇编语言可满足需要，但一旦规模变大结构复杂，只有采用更高级的语言才能满足实际需求。今天的大型嵌入式软件研制就面临同样问题，也只有采用抽象层度更高，与实际问题更接近的形式化方法才能有效解决目前存在的一些问题：报告首先介绍STM模型，从需求分析阶段出发，进行形式化建模，此阶段发现需求遗漏，在此基础上进一步细化结构和逻辑，并不断仿真验证，以尽早发现逻辑错误并进行修正，模型无误后C代码自动生成。最后以一个例子详细介绍该方法
报告人简介：
周宽久，大连理工大学软件学院教授，博士生导师，兼中国航天软件评测中心副总工程师，从事高可信嵌入式软件、高性能计算研究工作。10余年来承担航天预研、航天基金10余项，其项目组完成了C代码静态分析工具、嵌入式软件通用测试平台、国产操作系统效能测试工具、国产数据库效能测试工具研制，这些工具已广泛应用于航天嵌入式软件评测,这些系统替代进口，为国家节约了科研经费。他参与主持国家自然科学基金、科技部重点研发计划项目8项，提出基于STM（状态变迁矩阵）模型用于嵌入式软件需求分析、概要设计、详细设计建模，经过模型仿真验证后自动生成C代码，提高了可靠性。负责列控、核电控制软件、BYD云轨控制等大型控制软件测试。主讲的《计算机组成与结构》课程被评为教育部精品资源共享课，其负责的高效透明物流的“互联网+”关键技术研究及应用项目获得2018年中国商业联合会科学技术奖一等奖。
时间：11月15日(星期一)14:00
腾讯会议ID：338 618 164
|
当前位置：首页 > 新闻中心 > 通知公告