Search Results

Certification standards for high-assurance systems include objectives for demonstrating compliance of process artifacts such as requirements and code with style guidelines and other standards. With the emergence of model-based development, similar objectives have been specified that apply to models. Demonstration of compliance is often achieved by employing a static analysis linter tool. This paper describes Resolint, an open-source, lightweight linter tool for checking compliance of Architecture Analysis and Design Language (AADL) models with modeling guidelines. AADL enables engineers to describe the key elements of distributed, real-time, embedded system architectures with a sufficiently rigorous semantics. In addition, AADL provides an annex mechanism for extending the base language, enabling new kinds of analyses and tool support. Resolint uses the AADL annex capability to provide a language for specifying style guide rule sets.

Unmanned Aircraft Systems (UAS) have been growing over the past few years and will continue to grow at a faster pace in future. UAS faces many challenges in certification, airspace management, operations, supply chain, and maintenance. Blockchain, defined as a distributed ledger technology for the enterprise that features immutability, traceability, automation, data privacy, and security, can help address some of these challenges. However, blockchain also has certain challenges and is still evolving. Hence it is essential to study on how blockchain can help UAS. G-31 technical committee of SAE International responsible for electronic transactions for aerospace has published AIR 7356 [1] entitled Opportunities, Challenges and Requirements for use of Blockchain in Unmanned Aircraft Systems Operating below 400ft above ground level for Commercial Use. This paper is a teaser for AIR 7356 [1] document.

The aircraft lifecycle involves thousands of transactions and an enormous amount of data being exchanged across the stakeholders in the aircraft ecosystem. This data pertains to various aircraft life cycle stages such as design, manufacturing, certification, operations, maintenance, and disposal of the aircraft. All participants in the aerospace ecosystem want to leverage the data to deliver insight and add value to their customers through existing and new services while protecting their own intellectual property. The exchange of data between stakeholders in the ecosystem is involved and growing exponentially. This necessitates the need for standards on data interoperability to support efficient maintenance, logistics, operations, and design improvements for both commercial and military aircraft ecosystems. A digital thread defines an approach and a system which connects the data flows and represents a holistic view of an asset data across its lifecycle.

Avionics systems are currently undergoing a transition from single core processor architectures to multi-core processor architectures. This transition enables significant advantages in reduction in size, weight, power (SWaP) and cost. However, avionics hardware and software certification policies and guidance are evolving as research and experience is gained with multi-core processor architectures. The unique challenges of using multi-core processors in certified avionics will be discussed. The requirements for a virtualization platform supporting multiple real-time operating system (RTOS) partitions on a multi-core processor used in safety-critical avionics systems are defined, including the ability to support multiple design assurance levels (DAL) on multiple cores, fault isolation and containment, static configuration as per ARINC 653, role-based development as per DO-297, and robust partitioning to reduce cost of incremental certification.

Since the early days of aviation, when an AC-type generator became a primary source of electrical power for all aircraft systems, the demand for electrical power has steadily grown. Following rapid technology and scientific advancements in the aerospace industry, the complexity and criticality of all aircraft systems have increased to the point where multiple independent and isolated electrical power sources are required. In such an environment, with two or more variable-frequency AC-type generators that can be simultaneously activated to provide electrical power to the aircraft power distribution system, a safe power transfer process becomes a major priority. This means that any two independent aircraft AC power sources with different frequencies or phase angles cannot be connected simultaneously to a common power bus.