Supporting requirements specification and testing of a certifiable RTOS product line

一般的安全关键系统，尤其是航空电子软件，是必须遵守非常严格的安全和实时要求的应用程序。这些应用程序需要其由实时操作系统(RTOS)体现的底层平台的可靠性和可用性。一方面，支持航空电子软件的实时操作系统需要符合DO-178C，该标准规定了根据保证级别开发机载软件的指南。另一方面，RTOS必须保证共享硬件平台的不同应用程序所需资源的可用性，因此必须遵守以标准化方式规定这些要求的ARINC-653。因此，设计和实现一个支持航空电子软件的实时操作系统是昂贵的，需要付出巨大的努力。当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.