A reliability testing framework for the QNX neutrino real-time operating system

QNX中微子实时操作系统的可靠性测试框架

• 批准号: 501797-2017
• 负责人: Mahmoud, Qusay
• 金额: $ 1.63万
• 依托单位: University of Ontario Institute of Technology
• 依托单位国家: 加拿大
• 项目类别: Collaborative Research and Development Grants
• 财政年份: 2017
• 资助国家: 加拿大
• 起止时间: 2017-01-01 至 2018-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=618874
• 关键词: reliability; testing; framework; QNX; neutrino

QNX Neutrino is a real-time operating system (RTOS) that is widely popular in the embedded systems domain, and it's being used in many safety-critical domains ranging from medical systems to automotive systems. Due to the increasing use of QNX Neutrino in a variety of applications and with the rise of Internet of Things (IoT), providing additional measures to ensure higher reliability is anticipated to avoid failures that may cause fatal consequences. Validating the reliability of a RTOS is considered as one of the most challenging tasks. Some activities associated with the validity of a real-time operating system are: (1) formal modeling and proving the properties; (2) automatically test operating systems; and (3) runtime monitoring. Formal modeling is proven to be an effective approach but has the limitations of verification scopes and coverage. Automatic testing and runtime monitoring can effectively increase the robustness but a common challenge in both of these approaches is the need to validate the techniques used for verification. To this end, the objective of this project is to design and implement a reliability testing framework featuring techniques to validate the reliability with value-added enhancements to the QNX Neutrino RTOS. We plan to use a fault injection method to deliberately introduce faults in the system to check whether it can handle the consequences and verify robustness. Such fault injection methodologies need to be applied extensively to increase the confidence of using QNX Neutrino in safety-critical applications.The QNX Neutrino RTOS is expected to play a key role in IoT creating dramatic business opportunities in emerging markets in autonomous vehicles, avionics, medical devices, and modern software for nuclear operations. This collaborative research & development (R&D) project will provide solutions to BlackBerry QNX Netruino RTOS and train highly qualified personnel to meet the increasing demand for a skilled workforce in the above emerging markets that utilize real-time operating systems.

QNX中微子是一种在嵌入式系统领域广泛使用的实时操作系统(RTOS)，它被用于从医疗系统到汽车系统的许多安全关键领域。由于QNX中微子在各种应用中的使用越来越多，随着物联网(IoT)的兴起，预计将采取额外措施确保更高的可靠性，以避免可能导致致命后果的故障。验证实时操作系统的可靠性被认为是最具挑战性的任务之一。与实时操作系统的有效性相关的一些活动是：(1)形式化建模和证明属性；(2)自动测试操作系统；以及(3)运行时监控。形式化建模被证明是一种有效的方法，但在验证范围和复盖率方面存在局限性。自动测试和运行时监控可以有效地提高健壮性，但这两种方法的一个共同挑战是需要验证用于验证的技术。为此，本项目的目标是设计和实现一个可靠性测试框架，采用对QNX中微子实时操作系统的增值增强来验证可靠性的技术。我们计划使用故障注入的方法来故意在系统中引入故障，以检查它是否能够处理后果和验证健壮性。这种故障注入方法需要广泛应用，以增加在安全关键应用中使用QNX中微子的信心。QNX中微子实时操作系统预计将在物联网在自动驾驶汽车、航空电子、医疗设备和核操作现代软件等新兴市场创造巨大商机方面发挥关键作用。这一合作研发(R&D)项目将为BlackBerry QNX Netruino RTOS提供解决方案，并培训高素质的人员，以满足上述使用实时操作系统的新兴市场对熟练劳动力日益增长的需求。