The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The software system is becoming more and more complex, the components can be purchased by the commercial components (Commercial Off-The-Shelf, COTS). At present, this development method is also applied to the aviation field. And the system configuration is an import aspect of Integrated Modular Avionics (IMA) systems. These IMA configuration state are modeled based on ASSAC and ARINC653 standards...
Recently, avionics systems have evolved into a time and space partitioning (TSP)-based integrated modular avionics (IMA) structure for integration into a single system from a variety of existing independently configured federated systems. The TSP-based IMA architecture is suitable for solving size, weight, and power problems in avionics systems. Partitioning real-time operating systems (RTOSs) to...
The market opportunity for driver assisted, driver piloted, and fully driverless cars is projected to reach 42 Billion by 2025. As a result, advanced “IMA like” automotive solutions are being explored and are focused on developing and maturing next generation transformational IMA technologies. Five future IMA dual use focus areas that have the potential to be transformational enablers for affordability,...
Recently the integrated modular avionics (IMA) architecture has been widely adopted by the avionics industry due to its strong partition mechanism. Although the IMA architecture can achieve effective cost reduction and reliability enhancement in the development of avionics systems, it results in a complex allocation and scheduling problem. In this paper, we analyze the schedulability of independent...
Integrated Modular Avionics (IMA), which is the novel concept of avionics architecture, can effectively improve the efficiency of system while reducing resource allocation. However, it also brings new types of risk such as fault propagation since the flexible mapping between logical configuration and physics configuration. In some way, IMA could be regarded as a network where interdependency relationship...
The Integrated Modular Avionics (IMA) architecture and the Time-Triggered Ethernet (TTEthernet) network have emerged as the key components of a typical architecture model for recent civil aircrafts. It has recently been proposed to model both the (IMA) architecture and the TTEthernet network in the constraint-based TTCC calculus. In this paper, we show how the declarative aspects of this calculus...
The trend in the semiconductor industry toward multicore processors poses a significant challenge to many suppliers of safety-critical real-time embedded software. Having certified their systems for use on single-core processors, these companies may be forced to migrate their installed base of software onto multicore processors as single-core processors become harder to obtain. These companies naturally...
New features are often added incrementally to avionics systems to minimize the need for redesign and recertification. However, it then becomes necessary to check that the timing constraints of existing as well as new applications are met. We facilitate these checks by introducing a new data switch that bounds the latency of end-to-end communications across a network. This switch runs a clock-driven...
Recently, there is an obvious growing trend in use of Integrated Modular Avionics (IMA) in developing aircraft functionalities. The IMA platform defined by ARINC 653 provides runtime environment and reliability assurance such as space and time partition for avionics application. When applying the certification from FAA, the avionics application provider has to provide the safety and reliability evidences...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.