Supporting requirements specification and testing of a certifiable RTOS product line

安全关键系统，特别是航空电子软件，是必须符合非常严格的安全和实时要求的应用程序。这些应用程序需要由实时操作系统（RTOS）体现的底层平台的可靠性和可用性。一方面，支持航空电子软件的实时操作系统必须符合DO-178 C，该标准规定了根据保证水平开发机载软件的指导方针。另一方面，RTOS必须保证共享硬件平台的不同应用程序所需资源的可用性，因此必须符合ARINC-653，该标准以标准化的方式规定了这些要求。因此，设计和实现支持航空电子软件的RTOS是昂贵的，需要大量的工作。当RTOS组件需要可重用和可定制时，成本和工作可能更加重要，并且必须提供自定义证据来支持认证。在这种情况下，航空电子行业正在寻找模型驱动技术提供的机会，使他们的开发过程更有效，同时仍然确保软件的安全性。然而，使用这些新技术生产安全关键软件仍然是软件行业面临的巨大挑战。在本项目中，我们希望利用模型驱动技术来建立一种集成方法，支持航空电子软件行业指定和收集安全关键软件，特别是RTOS产品线所需的需求和测试证据。预期的结果是支持基于模型的开发，需求规格说明，测试自动化，产品线开发和配置管理的方法和工具。这些方法和工具将提高工业合作伙伴的生产力，并加强其在航空电子软件开发中的地位。

Safety-critical systems in general and avionics software in particular, are applications that must comply with very stringent safety and real-time requirements. These applications require dependability and availability of their underlying platform embodied by a real-time operating system (RTOS). On the one hand, an RTOS supporting avionics software is required to comply with DO-178C which specifies the guidelines for developing airborne software depending on their assurance level. On the other hand, the RTOS must guarantee the availability of the resources required by the different applications that share the hardware platform, and thus must comply with ARINC-653 which specifies these requirements in a standardized manner. Hence, designing and implementing an RTOS supporting avionics software is costly and requires significant efforts. The cost and the efforts can be more important when the RTOS components need to be reusable and customizable, and custom evidence has to be provided to support certification. In this context, Avionics industry are looking for opportunities provided by model-driven technologies to make their development process more effective while still ensuring the safety of the software. However, producing safety-critical software using these new technologies still poses great challenges within the software industry.In this project, we want to leverage model-driven techniques to build an integrated approach that supports avionics software industry in specifying and collecting requirements and test evidence needed for safety-critical software in general, and for and RTOS product line in particular. The expected results are methods and tools that support model-based development, requirements specification, test automation, product line development and configuration management. These methods and tools will improve the productivity of the industrial partner and strengthen its position in the development of avionics software.