A Toolkit for the Analysis of Models of Real-Time Embedded Software

随着实时嵌入式系统的数量、规模和复杂程度的不断增加，其运行的软件的开发成本已经成为汽车、电信、航空电子和医疗等许多领域的关注焦点。政府和监管机构越来越大的压力，要求采用更严格的验证、验证和认证技术，进一步加剧了这一问题。由于它们强调抽象和自动化，基于模型的开发技术和工具，例如基于统一建模语言(UML)，已被证明具有允许高效、有效地开发高质量复杂嵌入式软件的潜力，并越来越多地在工业中采用。*然而，目前最先进的技术对模型的分析，即允许开发人员在设计早期发现模型中的缺陷的自动检查，提供的支持不足。例如，对于电信行业中使用的部分基于UML的模型，现有工具提供的分析能力不完整，无法适应特定领域、公司、团体或用户的需求；学术界研究的模型级分析在这方面也经常不足。*受GrammaTech CodeSonar和Coverity Code Advisor等现代源代码分析工具的成功启发，本研究的长期目标是为实时嵌入式系统的工业基于UML的模型开发一个开放的、可定制的分析基础设施和工具包；更具体地说，该工具包将由一个应用程序编程接口(API)组成，其中包含实现对这些模型进行广泛的工业相关分析所必需的数据结构、例程、指导方针和示例。*为了实现这一目标，我们将利用(1)我们在过去工作中收集的背景和知识，(2)我们与基于模型的开发技术的行业用户的联系，以及(3)对用于基于模型的开发的开放源码工具的日益增长的兴趣和可用性，特别是PolarSys Eclipse行业工作组的创建。更准确地说，我们将首先进行两个关于模型级别分析的案例研究；这些案例研究将与业界(例如爱立信加拿大公司)合作进行，以确保相关性。然后，将使用对分析工具包所需功能和需求的洞察来设计和实现工具包。在最后一步中，将对工具包进行评估和细化。*拟议的研究将推进基于模型的软件开发的基础和工业应用的最新水平。此外，它还将为几名学生(5名博士、3名硕士和5名理科学生)提供他们成为热门毕业生并为加拿大工业做出宝贵贡献所需的知识和技能。

With the number, size and complexity of real-time embedded systems increasing, the development costs for the software they run have become a concern in many domains including automotive, telecom, avionics, and medical. Growing pressure by governments and regulatory bodies to adopt more rigorous validation, verification, and certification techniques further exacerbates the problem.  With their emphasis on abstraction and automation, model-based development techniques and tools, based on, e.g., the Unified Modeling Language (UML), have the proven potential to allow for the efficient, effective development of high-quality complex embedded software and are increasingly adopted in industry.  ******However, the current state-of-the-art provides insufficient support for the analysis of models, i.e., for automated checks allowing developers to detect flaws in the model early in the design. For instance, for UML-based models as used in parts of the telecom industry, analysis capabilities offered by existing tools are incomplete and unable to adapt to the needs of specific domains, companies, groups, or users; model-level analyses investigated in academia often also fall short in this respect.******Inspired by the success of modern analysis toolkits for source code such as GrammaTech CodeSonar and Coverity Code Advisor the long-term goal of the proposed research is the development of an open, customizable analysis infrastructure and toolkit for industrial UML-based models of real-time embedded systems; more concretely, the toolkit would consist of an Application Programmer Interface (API) containing the data structures, routines, guidelines, and examples necessary for the implementation of a wide range of industrially relevant analyses of these models.******To achieve this goal, we will leverage (1) the background and knowledge collected during our past work on the formal semantics and verification of UML, (2) our industry connections to industrial users of model-based development techniques, and (3) the increasing interest in and availability of open source tools for model-based development in general, and the creation of the PolarSys Eclipse Industry Working Group in particular. More precisely, we will first conduct two case studies on model-level analysis; these case studies will be carried out in collaboration with industry (e.g., Ericsson Canada) to ensure relevance. Then, the insights gained on the required features and requirements for the analysis toolkit will be used to design and implement the toolkit. In the final step, the toolkit will be evaluated and refined. ******The proposed research will advance the state-of-the-art in the foundations and industrial use of model-based software development. Moreover, it will give several students (5 PhD, 3MSc, and 5 BSc students) the knowledge and skills they need to become sought-after graduates and make valuable contributions to Canadian industry.**