Search Results

The purpose of this standard is to provide a method for packaging aircraft software parts for distribution using contemporary media or by electronic distribution. This project intends to standardize and provide guidance for the storage of floppy based software, currently packaged in media set parts. This standard format can be then stored or distributed on a single physical media member (CD-ROM), or by electronic crate. The obsolescence of floppy disks drive an urgent need for this guidance.

This standard defines a common configuration report format that can be retrieved from an aircraft for use by ground tools and maintenance personnel. Reports will be generated in Extensible Markup Language (XML) format and structured as defined by this document. Several optional elements and attributes are defined to allow flexibility for a given report. This standard provides aircraft manufacturers, regulatory agencies, and airlines a format standard for aircraft configuration reporting, and facilitates automated comparison of configuration data reports (e.g., authorized versus as flying, etc.).

Given the fast changing market demands, the growing complexity of features, the shorter time to market, and the design/development constraints, the need for efficient and effective verification and validation methods are becoming critical for vehicle manufacturers and suppliers. One such example is fault-tree analysis. While fault-tree analysis is an important hazard analysis/verification activity, the current process of translating design details (e.g., system level and software level) is manual. Current experience indicates that fault tree analysis involves both creative deductive thinking and more mechanical steps, which typically involve instantiating gates and events in fault trees following fixed patterns. Specifically for software fault tree analysis, a number of the development steps typically involve instantiating fixed patterns of gates and events based upon the structure of the code. In this work, we investigate a methodology to translate software programs to fault trees.

Rapid control prototyping (RCP) is a widely used technique for verifying a controller's functional behavior. Typically, RCP uses a target processor with ample processing power and memory, which makes the technique attractive for engineers exploring new concepts. Presenter Thomas Erkkinen, MathWorks Inc.

Software content within commercial vehicles is growing exponentially. Emissions requirements, multiplexed communications, hybrid-electric technologies, active suspensions and smart sensors are amongst the technologies driving the increase in embedded code. Presenter Christoph Braeuchle , MKS Software, Inc.

The amount of software, computation and logic embedded into the vehicle systems is increasing. Testing of complex real time embedded systems using Hardware in Loop (HIL) simulations across different vehicle platforms has been a challenge. Data driven testing enables a qualitative approach to test these complex vehicle systems. It consists of a test framework wherein the test logic and data are independent of the HIL test environment. The data comprises variables used for both input values and output verification values. This data is maintained in a database or in the form of tables. Each row defines an independent test scenario. The entire test data is divided into three categories, High, Medium and Low. This feature gives the advantage of leveraging the same set of test data from Unit Level Testing phases to the Integration Test phase in the V-Cycle of software development. A data driven test approach helps the reuse of tests across vehicle platforms.

These advanced checks have resulted in development of many new diagnostic monitors, of varying types, and a whole new internal software infrastructure to handle tracking, reporting, and self-verification of OBD related items. Due to this amplified complexity and the consequences surrounding a shortfall in meeting regulatory requirements, efficient and thorough validation of the OBD system in the powertrain control software is critical. Hardware-in-the-Loop (HIL) simulation provides the environment in which the needed efficiency and thoroughness for validating the OBD system can be achieved. A HIL simulation environment consisting of engine, aftertreatment, and basic vehicle models can be employed, providing the ability for software developers, calibration engineers, OBD experts, and test engineers to examine and validate both facets of OBD software: diagnostic monitors and diagnostic infrastructure (i.e., fault memory management).

Edgewater Computer Systems Inc. product RTEdge Platform 1.2 is a software toolset supporting proof based engineering, implementation and deployment of software components, built using the RTEdge AADL Microkernel modeling subset. This is a small subset of the AADL component model and execution semantics, covering threads and thread-groups communicating solely through asynchronous event ports and through explicitly shared data ports. Threads behavior is expressed as state machines and dispatch run time semantics is encoded in a Run-time Executive, enforcing pre-emptive priority dispatch based on statically assigned event priorities, with ceiling priority protocol access to shared data. This simple AADL microkernel semantic core can support all dispatch policies, communication and synchronization mechanisms of a fully fledged AADL run time environment, permitting the systematic use of the RTEdge static analysis tools for AADL compliant software components.

The use of Engine Health Management (EHM) systems has been growing steadily in both the civilian and the military aerospace sectors. Barring a few notable exceptions (such as certain temperature and thrust margin monitoring) regulatory authorities around the world have not required these systems to be certified in any way. This is changing rapidly. New airframes and engines are increasingly being designed with the assumption that EHM will be an integral part of the way customers will operate these assets. This leads to a need for better guidelines on how such systems should be certified. The SAE E-32 committee on Propulsion System Health Monitoring is leading an industry-wide effort to develop a set of guidelines for certifying EHM systems.

This presentation shows the SCADE System product line for systems modeling and generation based on the SysML standard and the Eclipse Papyrus open source technology. SCADE System has been developed in the framework of Listerel, a joint laboratory of Esterel Technologies, provider of the SCADE�, and CEA LIST, project leader of the Eclipse component, Papyrus. From an architecture point of view, the Esterel SCADE tools are built on top of the SCADE platform which includes both SCADE Suite�, a model-based development environment dedicated to critical software, and SCADE System enabling model-based system engineering. SCADE System includes Papyrus, an open source component (under EPL license), integrated in the modeling platform of Eclipse. Using this integrated modeling platform, both system and software teams share the same environment for system development. Furthermore, other model-based tools can be added to the environment, due to the use of Eclipse.

Cyber security in the aviation industry, especially in relation to onboard aircraft systems, presents unique challenges in its implementation and management. The cyber threat model is constantly evolving and will continually present new and different challenges to the aircraft operator in responding to new cyber threats without either invoking a lengthy software update and re-certification process or limiting aircraft-to-ground communications to the threatened system or systems. This presentation discusses a number of system architectural options and developing technologies that could be considered to enhance the aircraft cyber protection and defensive capabilities of onboard systems as well as to minimize the effort associated with certification/re-certification. Some of these limit the aircraft?s vulnerabilities or in cyber terms, its ?threat surface?.

Many manufacturing companies want to apply AFP technology to complex high-curvature part shapes. As new AFP machine technologies are developed to specifically apply material over complex shapes, new and innovative NC programming approaches are needed to successfully, reliably, and accurately apply material with good consolidation, while meeting the fiber direction and coverage requirements. A big issue with AFP is the production rate vs. part complexity. Most complex shapes can be created with a single .125? wide strip (tow) of material. But the production time would be impractically long. So machine builders create 6, 8, 16, even 32 tow AFP heads, and use the widest tow possible for the highest laydown rates. But then wide compaction rollers on these systems have difficulty consolidating material over curved surfaces, and the minimum steering radius of wider tows challenge the software?s ability to meet the layup requirements.

In recent years, all major microprocessor manufacturers are transitioning towards the deploymenet of multiple processing cores on every chip. These multi-core architectures represent the industry consensus regarding the most effective utilization of available silicon resources to satisfy growing demands for processing and memory capacities. Porting off-the-shelf software capabilities to multi-core architectures often requires significant changes to data structures and algorithms. When developing new software capabilities specifically for deployment on SMP architectures, software engineers are required to address specific multi-core programming issues, and in the ideal, must do so in ways that are generic to many different multi-core target platforms. This talk provides an overview of the special considerations that must be addressed by software engineers targeting multi-core platforms and describes how the Java language facilitates solutions to these special challenges.

This paper presents an extension of our earlier work on Cummins Vehicle Mission Simulation (VMS) software. Previously, we presented VMS as a Windows based analysis tool to simulate vehicle missions quickly and to gauge, communicate, and improve the value proposition of Cummins engines to customers. Presenter Nagesh Belludi, Cummins Inc.

PRESENTATION ABSTRACT (ROI Approval BOE021811-122) REVIEW OF UPDATED AEROSPACE RECOMMENDED PRACTICES ARP5061A, Guidelines for Testing and Support of Aerospace, Fiber Optic, Inter-Connect Systems RATIONALE: A single source document to capture current best practices, methods, test equipment, and materials that support fiber optic interconnect systems including high-density applications deployed in Aerospace platforms. SCOPE: This presentation will describe how the ARP5061 document provides the maintainer unique guidelines for optical performance testing of short haul fiber optic inter-connect systems used in aerospace vehicles. The focus of this document is to establish common pre and post installation test methods, equipment, materials, and troubleshooting methodologies. QUALIFICATIONS AND TRAINING STANDARDS: The repair and maintenance of a fiber optic system should ONLY BE PERFORMED by qualified personnel.

Secure software distribution in aviation context. Presenter David von Oheimb, Siemens AG

The Java language is now the most popular programming language for the creation of new software capabilities. Its popularity has resulted in signficant economies of scale, with Java adopted as the primary language of instructional within many university curriculums, an abundance of reusable Java software components and Java software development tools available both from commercial suppliers and as open source technology, a large pool of competent Java developers from which to recruit staff, and a general willingness by senior staff software engineers to invest the effort required to learn this new programming language and technology. This talk describes the special approaches recommended for the use of Java in safety-critical deployments. The talk surveys the current state of the draft JSR-302 Safety Critical Java Specification and describes related experiences with commercially available technologies based on the constraints of early JSR-302 design discussions.

: Fiber Placement equipment has historically been very large and very expensive. Therefore, the AFP process has been mostly exclusive to the larger aerospace companies of the world. In order to achieve more widespread use of the AFP process, a wider variety of machine configurations must be offered and cost of the equipment must be decreased. Commercially available, articulated robotic arms have been identified as an attractive, low cost option for AFP machine platforms. However, incorporating AFP material delivery technology with robotic arms has many challenges. These challenges relate to both hardware and software issues. This presentation will address the technical challenges of using robots as a machine platform for the AFP process and review the current status of this composites lamination equipment technology. Presenter Frederic Challois, Coriolis Composites

All Semi Vendors do have multi core CPUs in their portfolio and adding new devices every day. This is the only possibility to grow performance and fulfill Moore's law. Multi core offers a wide variety of possibilities to reduce hardware complexity, reduce power consumption, shrink board space, expand functionality and performance. On the other hand the software complexity goes up and this directly affects the ability to achieve a certified system. The main trend as of today and in the future is the rising number of cores in a single chip and the increasing functionality of the software. As this trend does not stop at safety critical systems, the System/Solution Architects have to question themselves how to guarantee data integrity, robustness, robust portioning, avoid multi point of failures and race conditions. This presentation will highlight ideas, do's and don'ts for those who will design a safety critical multi Core system today or in the near future.