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

点击翻译按钮获取中文摘要

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.