Model Driven Incremental Design and Validation of Software Systems

软件系统无处不在。它们是我们日常生活的一部分，它们控制着汽车、飞机、电信网络和服务以及其他家用电器。它们非常复杂，因为它们的固有特点：大容量、嵌入式、分布式、并发性、实时约束和截止日期。这类系统需要使用严格和正式的方法，以确保其功能正确性和其他非功能特性，如实时性。模型驱动开发(Model Driven Development，MDD)是在过去二十年中出现的一种方法，并且正在获得发展势头。然而，MDD的采用和应用受到可伸缩性和形式化的挑战性问题的阻碍。*到目前为止，MDD的重点一直是开发概要文件、扩展/专门化统一建模语言(UML)和用于转换的语言，只有少数几种技术被提出用于实现。此外，这些技术没有跨越必要的阶段来链接和关联各种构件和阶段，没有扩展或不正式。因此，本研究提案的主要目标是通过复杂软件系统的建模、设计和验证技术，为复杂软件系统的MDD做出贡献。我们建议研究一个涵盖开发过程的几个阶段的建模框架：需求、设计和验证/测试。建模框架将由UML2的子集和相关的概要文件组成，如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.*********