Foundations of Software Engineering

软件工程基础

• 批准号: 1000225524-2010
• 负责人: Maibaum, Thomas
• 金额: $ 2.43万
• 依托单位: McMaster University
• 依托单位国家: 加拿大
• 项目类别: Canada Research Chairs
• 财政年份: 2017
• 资助国家: 加拿大
• 起止时间: 2017-01-01 至 2018-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=642687
• 关键词: Foundations; Software; Engineering

My research programme will establish a proper engineering basis for regulating software intensive systems (SIS) by: developing techniques to systematically integrate different forms of evidence about the safety and effectiveness of SIS; to measure and evaluate safety cases for SIS; and developing engineering methods that produce high-quality SIS and produce the necessary evidence for evaluation. I will contribute to the development of model-driven engineering (MDE) methods and tools to help the automotive industry produce consistently high quality SIS in a cost-effective manner. I will also address issues in the health domain by exploiting work on workflow modelling and MDE.

我的研究计划将建立一个适当的工程基础，规范软件密集型系统（SIS）：开发技术，系统地整合不同形式的证据的安全性和有效性的SIS;测量和评估安全的情况下SIS;和开发工程方法，生产高质量的SIS和生产必要的证据进行评估。 我将为模型驱动工程（MDE）方法和工具的开发做出贡献，以帮助汽车行业以具有成本效益的方式生产始终如一的高质量SIS。我还将通过利用工作流程建模和MDE来解决健康领域的问题。