Trustworthiness requirements and models for aviation and aerospace systems

There has been a need to use effective dependability frameworks for designing and testing systems in safety-critical industries such as aviation and aerospace. These frameworks are modeled to meet the industry standards in order to ensure the required assurance levels are met. The current frameworks include reliability, safety, and availability through including the respective requirements. Cybersecurity has taken a foreground place in the safety-critical industry, however. Hence, security assessment cannot be ignored when considering a system dependability framework. There is an understanding that nowadays aircrafts are not purely physical, they contain both integrated hardware and software; which allows for attacks, threats, and unforeseeable software behavior that once were not conceived in the aircraft design. Additionally, the modern aircrafts operate as networked elements, forming a cloud, which we refer as the Internet of Wings (IoW). The framework wishing to address cybersecurity issues has to account for the changes in the environment in which the aircraft operates. This inclusion, in turn, results in increased complexity of the framework. The complexity of a design framework is exacerbated by the rapid changes that happen in the cybersecurity facet of an aircraft. The framework wishing to address cybersecurity issues has to account for the changes in the environment in which the aircraft operates. This inclusion, in turn, results in increased complexity of the framework. The complexity of a design framework is exacerbated by the rapid changes that happen in the cybersecurity facet of an aircraft. This work focuses on the development of a framework that includes cybersecurity and respective requirements to comply with the aircraft security constrains. Additionally, the framework includes trustworthiness solutions that allow for the cybersecurity requirements to complement the system dependability requirements. The result will be a system design that provides services that can be trusted. The suggested framework also takes into account that cybersecurity protection is updated continuously as a result of the ongoing discovery of new attacks and vulnerabilities that could affect the system. The framework aims to model cybersecurity and dependability requirements in aviation and aerospace systems to allow designing system services that can justifiably be trusted.