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.