Model Driven Incremental Design and Validation of Software Systems

软件系统无处不在。它们是我们日常生活的一部分，它们控制着汽车、飞机、电信网络和服务以及其他家用电器。它们非常复杂，因为它们的固有特征：大型、嵌入式、分布、并发性、实时约束和截止日期。这样的系统需要使用严格和正式的方法，以确保其功能正确性和其他非功能质量，如实时性。模型驱动开发（MDD）是在过去的二十年中出现的一种方法，并且正在获得动力。然而，MDD的采用和应用受到可伸缩性和形式化等挑战性问题的阻碍。****到目前为止，MDD的焦点一直放在开发概要文件、扩展/专门化统一建模语言（UML）和转换语言上，只有少数技术被提出用于实现它。此外，这些技术没有跨越必要的阶段来连接和关联各种工件和阶段，没有伸缩或不正式。因此，本研究计划的主要目标是通过建模、设计和验证技术，为复杂软件系统的MDD做出贡献。我们建议研究一个涵盖开发过程几个阶段的建模框架：需求、设计和验证/测试。建模框架将由UML 2的子集和相关的概要文件（如MARTE、SysML和UML测试概要文件（UPT））组成。使用这个形式化的框架，我们的目标是为软件系统的增量设计和验证设计符合MDD的技术。考虑到功能和非功能特征以及增量测试用例生成技术的增量设计方法将被设计出来。这些正式的增量技术肯定会扩展并有助于MDD的应用和采用。****本建议旨在设计提高软件系统质量和降低开发成本的技术。本提案所处理的研究问题对于包括电信和汽车部门在内的软件研究界和行业具有高度的重要性。拟议的研究计划将培养研究生，他们将加入加拿大的工作队伍，并在不同部门为加拿大经济做出贡献。*********

Software systems are pervasive. They are part of our daily life, they control cars, airplanes, telecommunications networks and services and other home appliances. They are very complex, because of their inherent characteristics: large size, embedded, distribution, concurrency, real-time constraints and deadlines. Such systems require usage of rigorous and formal methods in order to ensure their functional correctness and other non-functional qualities such as real-timeliness. Model Driven Development (MDD) is an approach that has emerged over the last two decades, and which is gaining in momentum. However, the adoption and the application of MDD is hindered by the challenging issues of scalability and formality.****The focus of MDD, so far, has been on developing profiles, extending/specializing the Unified Modeling Language (UML) and languages for transformations, only a few techniques have been proposed for its realization. Moreover, these techniques do not span the necessary phases to link and relate the various artifacts and phases, do not scale or are not formal. The main objective of this research proposal is therefore to contribute to the MDD of complex software systems with techniques for their modeling, design and validation. We propose to investigate a modeling framework that covers several phases of the development process: requirements, design, and validation/testing. The modeling framework will consist of a subset of UML 2 and related profiles like MARTE, SysML and UML Profile for Testing (UPT). Using this formalized framework, we aim at devising MDD compliant techniques for the incremental design and validation of software systems. Incremental design approaches taking into account functional and non-functional characteristics as well as incremental test case generation techniques will be devised. These formal incremental techniques will certainly scale and will contribute to the application and adoption of MDD.****This proposal aims at devising techniques for improving the quality of software systems and at reducing their development cost. The research issues tackled in this proposal are of high importance for the software research community and industry which includes the telecommunications and automobile sectors. The proposed research program will train graduate students who will join the Canadian work force and contribute to the Canadian economy in different sectors.*********