Model-based engineering techniques for embedded and real-time software

嵌入式和实时系统（Erts）现在几乎应用于我们现代日常生活的每一项活动。使用Erts的应用实例包括汽车、航空电子设备、健康监测和家用电器等。软件越来越多地用于实现大多数功能，因此越来越复杂。这种复杂性可以使用基于模型的工程方法来掌握和控制。这种方法得到了多种标准建模框架的支持，包括例如对象管理组织（OMG）的系统建模语言（SysML）和UML profile for Modeling and Analysis of Real-time and Embedded（MARTE）系统，以及汽车工程师协会（SAE）的架构和分析描述语言（AADL）。虽然这种丰富多样的建模框架是必要的，以科普异构性和多学科性质的Erts，其集成，互操作性和相互一致性出现作为一个新的和主要的关注。 拟议研究计划的目标是：（1）研究能够实现这些建模框架的一致集成和组合的技术，（2）定义用于验证多视图Erts模型的一致性的新方法，（3）开发和验证基于模型的方法，以实现Erts模型的不同可兼容性分析技术的应用，以及最后，（4）开发基于形式化方法的技术，用于分析和验证Erts模型中与并发相关的问题。最终，本研究项目旨在开发高质量的嵌入式软件系统的新的工程技术。此外，该研究计划还可以通过向OMG和SAE等标准组织提供投入，为增强标准规范做出贡献。这项研究计划也将是一个机会，培养高素质的人才，他们将加入嵌入式和实时系统市场的充满活力的部门，包括加拿大航空和汽车行业，从而维持和促进加拿大的经济繁荣。

Embedded and Real-Time Systems (ERTS) are nowadays used in virtually every activity of our modern daily life. Examples of the applications using ERTS include the automotive, avionics, health monitoring, and home appliance to mention just a few. Software is increasingly used to implement most of the functionality and therefore is increasingly complex. This complexity can be mastered and controlled using a model-based engineering approach. This approach is supported by a diversity of standard modeling frameworks including for example the Object Management Group (OMG)'s System Modeling Language (SysML) and the UML profile for Modeling and Analysis of Real-time and Embedded (MARTE) systems on one hand and the Society of Automotive Engineers (SAE)'s Architecture and Analysis Description Language (AADL) on the other. While this rich diversity of modeling frameworks is necessary to cope with the heterogeneity and multi-disciplinary nature of ERTS, their integration, interoperability and inter-consistency emerge as a new and major concern. The objectives of the proposed research program are: (1) to investigate techniques which could enable the consistent integration and combination of these modeling frameworks, (2) to define a new method for the verification of the consistency of multi-view ERTS models, (3) to develop and validate a model-based approach to enable the application of diverse schedulability analysis techniques of ERTS models, and finally, (4) to develop techniques based on formal methods for the analysis and verification of concurrency-related issues in ERTS models. Ultimately this research project aims at developing new engineering techniques for embedded software systems of high quality. This research program can moreover contribute to enhancing the standard specifications by providing input to the standard organizations such as the OMG and SAE. This research program will be also an opportunity to train highly qualified personnel who will join the vibrant sector of the embedded and real-time systems market, including the Canadian aeronautic and automotive sectors, and thus sustain and contribute to Canada economic prosperity.