Accelerating HostCompiled Simulation by Modifying IR Code: Industrial application in the spatial domain Space applications rely on long and complex design processes, as they must deal with strict nonfunctional requirements such as criticality, timeliness, reliability and safety. The huge number of analysis and evaluations performed requires powerful simulations technologies combining high simulation speed and accuracy. Hostcompiled simulation is a powerful approach to achieve fast, timed simulation of software running in complex embedded systems. However, in the general term, there is still the need of improving the speed and accuracy of these solutions, and there is a lack of hostcompiled approaches oriented to space applications. To solve the first point, this paper presents an alternative that modifies the standard solution of adding the modeling of the crosscompiled control flow in the host computer by modifying the compileru0027s intermediate representation. That way, the host binary naturally follows the crosscompiled binary flow, avoiding a separate modeling, and improving simulation speed while maintaining accuracy. Additionally, the paper focuses on LEON processor, commonly used by the European Space Agency (ESA).

Implementation of a HostBased Intrusion Detection System for Avionic Applications Today, aircraft are protected by strong safety properties, qualified operators and processbased security measures. However, considering the recent evolution of inflight services towards more connectivity, resource sharing and advanced entertainment functionalities, together with the increase of threats targeting embedded systems, the potential malicious modification of an aircraft application must be seriously considered for future systems. In this context, several solutions can be developed to improve aircraft security. In particular, Hostbased Intrusion Detection Systems (HIDS) are relevant to deal with targeted threats such as an insider attack. This paper presents the specific constraints of building an HIDS onboard an aircraft, and discusses some relevant solutions that satisfy these constraints. These solutions are evaluated in terms of detection efficiency and resource consumption in order to select the solution that allows the best tradeoff between efficiency and performances. The implementation of this solution on an embedded avionic computer is also described.