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

随着实时嵌入式系统的数量、大小和复杂性的增加，它们运行的软件的开发成本已经成为许多领域（包括汽车、电信、航空电子和医疗）关注的问题。政府和监管机构要求采用更严格的验证、验证和认证技术的压力越来越大，这进一步加剧了问题。由于它们强调抽象和自动化，基于模型的开发技术和工具，例如，基于统一建模语言（UML），具有被证明的潜力，允许高效、有效地开发高质量的复杂嵌入式软件，并且越来越多地在工业中被采用。******然而，目前最先进的技术为模型分析提供了不足的支持，也就是说，对于允许开发人员在设计的早期检测模型中的缺陷的自动检查。例如，对于部分电信行业中使用的基于uml的模型，现有工具提供的分析功能是不完整的，并且不能适应特定领域、公司、组或用户的需求；学术界研究的模型级分析在这方面也常常不足。******受现代源代码分析工具包（如GrammaTech CodeSonar和Coverity code Advisor）成功的启发，拟议研究的长期目标是为实时嵌入式系统的基于uml的工业模型开发一个开放的，可定制的分析基础设施和工具包；更具体地说，工具包将由一个应用程序编程接口（API）组成，其中包含数据结构、例程、指导方针和实现这些模型的广泛的工业相关分析所必需的示例。******为了实现这个目标，我们将利用(1)在我们过去对UML的形式语义和验证的工作中收集的背景和知识，(2)我们与基于模型的开发技术的工业用户之间的联系，以及(3)对基于模型的开发的开放源代码工具的日益增长的兴趣和可用性，特别是polpolsys 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.**