Grant: Collaborative Research and Development Grants
University of Ontario Institute of Technology
$22,350.00
A reliability testing framework for the QNX neutrino real-time operating system
FY 2018-19
Summary
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.
Program
Collaborative Research and Development Grants
Location
Ontario, Canada
Recipient Type
Academia
Type
Grant
Source
NSERC's Awards Data
As published
Application id
501797-2017
Name nom
Mahmoud, Qusay
Department département
Electrical, Computer and Software Engineering
Organization id
19222
Institution établissement
University of Ontario Institute of Technology
Province en
Ontario
Province fr
Ontario
Country en
CANADA
Country fr
CANADA
Fiscal year exercice financier
2018
Competition year année de concours
2017
Award amount
22350
Program id
CRDPJ
Program name en
Collaborative Research and Development Grants
Program name fr
Subventions de recherche et développement coopérative
Group en
Research partnerships programs
Group fr
Programmes de partenariat
Committee code
96
Committee name en
RPP Internal Decision Cttee
Committee name fr
Cté de décision interne - PPR
Area of application code
801
Area of application group en
Information and communication services
Area of application group fr
Services d'information et de télécommunications
Area of application en
Computer software
Area of application fr
Logiciel
Research subject code
2720
Research subject group en
Information technology
Research subject group fr
Technologie de l'information
Research subject en
Computer systems software
Research subject fr
Logiciel de systèmes informatiques
Partie
2
Nb partie
2
Application title
A reliability testing framework for the QNX neutrino real-time operating system
Keyword
NSERC
Application summary
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.
