毕业论文项目 30学分 - 软件实时属性的形式化验证
Thesis work 30hp - Formal verification of software over real-time properties
- 地点
- 南泰利耶，瑞典
- 工作方式
- 混合办公
- 类型
- 合同
- 编号
- 22210
职责
- 探索和评估使用形式化方法对嵌入式软件的实时特性进行规范和验证的方法。
- 探索指定和形式化工业嵌入式软件实时属性的方法。
- 开发构建时间属性监视器的方法，并评估其在利用模型检查器验证嵌入式软件中的应用。
- 比较用于验证实时时间特性的不同工具和技术。
必备要求
- 计算机科学或相关专业硕士学位，并具备形式化方法方面的知识。
- 学生人数：1人。
- 开始日期：2026年1月/2月。
- 预计所需时间：20-25周。
Responsibilities
- Explore and evaluate methods for specifying and verifying real-time properties of embedded software using formal methods.
- Explore approaches for specifying and formalizing real-time properties of industrial embedded software.
- Develop methods for building time property monitors and evaluate their use in verifying embedded software with model checkers.
- Compare different tools and techniques for verifying real-time properties.
Must Have
- Master's degree in Computer Science or a related field, with knowledge of formal methods.
- Number of students: 1.
- Start date: January/February 2026.
- Estimated duration: 20-25 weeks.
公司简介
斯堪尼亚是世界领先的交通运输解决方案提供商，致力于与客户和合作伙伴携手引领向可持续交通系统的转变。2018年，公司向客户交付了88,000台卡车、8,500辆巴士以及12,800台工业和船用发动机；净销售额达到1,371.26亿瑞典克朗，同比增长11%；收益达到138.32亿瑞典克朗。斯堪尼亚成立于1891年，业务遍及100多个国家和地区，全球员工约52,000名。研发中心位于瑞典，并在巴西和印度设有分支机构。生产部门集中在欧洲、拉美和亚洲，同时在非洲、亚洲和大洋洲地区也有生产中心。斯堪尼亚是TRATON SE的成员企业之一。2004年，斯堪尼亚在中国设立代表处；2007年斯堪尼亚销售（中国）有限公司成立；2010年成立中国战略中心；2016年将中国总部职能转移至上海；2018年全新一代斯堪尼亚在中国上市；2020年11月，斯堪尼亚制造（中国）有限公司在江苏南通如皋市注册成立。