Planning Visits: Collaborative Research on Model-Driven Development of Complex Software Systems

这项为期一年的奖励支持美国PI进行一系列计划访问，以整合美国，加拿大（卡尔顿大学），法国（INRIA）和挪威（奥斯陆大学）之间的软件开发科学研究。这些访问的目的是以系统的方式处理通用软件建模语言的开发。计划访问预计将导致协作研究计划和建议，将概述支持可靠软件模型开发的技术、过程、方法和工具。拟议的研究计划将探索基于模型的软件开发（MBSD），以提供支持可靠系统开发的技术。可靠系统的开发人员必须在设计中平衡多个经常相互冲突的可靠性目标。这种复杂性在MBSD中是通过以下方式解决的：1)使用在多个抽象层次上从各种角度描述复杂系统的模型，以及2)使用将软件的抽象描述转换为可靠实现的技术。协作研究的目标是产生技术、过程、方法和工具，这些技术、过程、方法和工具支持模型从抽象到高度可靠的可执行形式的严格演化。这些计划访问预计将导致合作研究，以建立一种科学方法，用于创建一种公共建模语言，该语言在开发早期包括安全利益。软件开发人员将能够在部署系统之前识别并纠正由跨可靠性特性的交互产生的错误。通过计划访问，PI的研究生将接触到加拿大和欧洲三所不同大学的一系列研究机会，并从国际曝光中受益。他们将更好地理解他们的研究在全球背景下的重要性，并将在他们随后的研究中利用国际合作者的工作。

This one-year award supports the US PI to conduct a series of planning visits to integrate the scientific research on software development between the US, Canada (Carleton University), France (INRIA), and Norway (University of Oslo). The objective of these visits is to address the development of a universal software modeling language in a systematic manner. The planning visits are expected to lead to a collaborative research plan and proposal that will outline techniques, processes, methods, and tools that support the development of dependable software models.The proposed research program will explore model-based software development (MBSD) to provide technology that supports the development of dependable systems. Developers of dependable systems must balance multiple, often conflicting dependability goals in their designs. This complexity is tackled in MBSD through 1) the use of models that describe complex systems at multiple levels of abstraction and from a variety of perspectives, and 2) the use of technology for transforming abstract descriptions of software to dependable implementations. The goal of the collaborative research is to produce techniques, processes, methods, and tools that support rigorous evolution of models from abstract to executable forms that are highly dependable. These planning visits are expected to lead to collaborative research to establish a scientific method for creating a common modeling language that includes security interests early in development. Software developers will be able to identify and correct errors arising from interactions across dependability features before the system is deployed. Through the planning visits, the PI's graduate students will be exposed to a range of research opportunities at three diverse universities in Canada and Europe, and benefit from the international exposure. They will gain a better understanding of the significance of their research in the global context, and will be equipped to leverage the work of international collaborators in their subsequent research.