Cost Optimization Strategy for Iterative Integration of Multi-critical Functions in IMA and TTEthernet Architecture

Lauer, Michaël; Mullins, John; Yeddes, Moez

doi:10.1109/compsacw.2013.16

Cited by 8 publications

(8 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This is in great part because IMA comes along the Avionics Full Duplex (ADFX) communication platform. However, existing approaches include a network performance analysis [14], platform modelling based on Time-Triggered Constraint-Based Calculus (TTCC) [15,16], a scheduling algorithm for distributed IMA based on a network partition integrating model [17], a cost optimization strategy for iterative integration of IMA and Time-Triggered Ethernet (TTEthernet) multi-critical functions [18], embedded cloud computing for critical systems [19,20], and PhD dissertations about integrated task and message scheduling for time-triggered aerospace systems [21] and mixed-criticality in distributed real-time systems [22].…”

Section: Related Workmentioning

confidence: 99%

Fully-Deterministic Execution of IEC-61499 Models for Distributed Avionics Applications

Insaurralde

2018

Aerospace

View full text Add to dashboard Cite

Abstract:The development of time-critical Distributed Avionics Applications (DAAs) pushes beyond the limit of existing modeling methodologies to design dependable systems. Aerospace and industrial automation entail high-integrity applications where execution time is essential for dependability. This tempts us to use modeling technologies from one domain in another. The challenge is to demonstrate that they can be effectively used across domains whilst assuring temporally dependable applications. This paper shows that an IEC61499-modeled DAA can satisfy temporal dependability requirements as to end-to-end flow latency when it is properly scheduled and realized in a fully deterministic avionics platform that entails Integrated Modular Avionics (IMA) computation along with Time-Triggered Protocol (TTP) communication. Outcomes from the execution design of an IEC61499-based DAA model for an IMA-TTP platform are used to check runtime correctness through DAA control stability. IEC 61499 is a modeling standard for industrial automation, and it is meant to facilitate distribution and reconfiguration of applications. The DAA case study is a Distributed Fluid Control System (DFCS) for the Airbus-A380 fuel system. Latency analysis results from timing metrics as well as closed-loop control simulation results are presented. Experimental outcomes suggest that an IEC61499-based DFCS model can achieve desired runtime latency for temporal dependability when executed in an IMA-TTP platform. Concluding remarks and future research direction are also discussed.

show abstract

Section: Related Workmentioning

confidence: 99%

Fully-Deterministic Execution of IEC-61499 Models for Distributed Avionics Applications

Insaurralde

2018

Aerospace

View full text Add to dashboard Cite

show abstract

“…However, it does only consider the integration of IMA partitions and the proposed iterative approach handles only the scheduling of system model that evolves by adding a single partition at each iteration. The work in [4] extends the work in [9] to consider a SMT-based approach that handles not only the integration of IMA partitions but also TTEthernet flows. The combination of model-driven software engineering approach and constraints programming approach has been the focus of some other research works including [8] and [5].…”

Section: Related Workmentioning

confidence: 99%

“…[9]). The most related work to ours is the recent paper of Lauer et al [9] and the one of Steiner [14]. In [9], the authors address the problem of an iterative integration in an IMA Architecture.…”

Section: Related Workmentioning

confidence: 99%

“…The periodic pattern describing the communication of all the frames is called hyper-period (HP ) and defined as the least common multiple of all frame periods. We denote by Instances(f i ) the number of instances considered for the frame f i and formally defined as In the iterative integration problem as defined in [9] and [4], we have some configured applications which communicate through a TTEthernet network and we want to integrate new ones. To ensure the real-time requirements, we may reconfigure the scheduling of the previous ones.…”

Section: Iterative Integration On Ttethernet Network: Backgrounds Anmentioning

confidence: 99%

“…[11,10]), the problem of scheduling in TimeTriggered Networks (e.g [14,15,12,7]) and the cost optimization problems for evolving avionic systems (e.g. [9]). The most related work to ours is the recent paper of Lauer et al [9] and the one of Steiner [14].…”

Section: Related Workmentioning

confidence: 99%

See 2 more Smart Citations

Model-Driven Approach to the Optimal Configuration of Time-Triggered Flows in a TTEthernet Network

Beji

Gherbi

Mullins

et al. 2016

System Analysis and Modeling. Technology-Specific Aspects of Models

Self Cite

View full text Add to dashboard Cite

Abstract. The SAE standard Time-triggered Ethernet defines a strong networking infrastructure, which supports the engineering of avionic systems. Avionic functions are often designed independently and integrated to form the avionic system. The iterative integration approach helps in controlling the design complexity of evolving avionic systems and aims at minimizing the cost associate with the reconfiguration of scheduling parameters of already integrated parts. On the other hand, the iterative approach requires to specify and manage a huge set of constraints, which are then solved to compute the optimal scheduling parameters. In this paper, we focus on this issue of manual specification of these constraints by the system engineer. We propose a model-driven approach, which provides the required abstractions and automation to support the system engineer in using effectively the iterative integration approach. The abstractions consist in a metamodel, which describes the system at a given integration step and a metamodel for the constraints. The automation consists in a model transformation which enables generating automatically the relevant constraints at integration step.

show abstract

Detection and Fault Prediction in Electrolytic Capacitors Using Artificial Neural Networks

Mesquita

Pinto

Rodrigues

2021

Communications in Computer and Information Science

View full text Add to dashboard Cite

Capacitors are electronic components that present a considerable variation in their characteristics during their useful life. After being submitted to several charge/discharge cycles, capacitors present losses in capacitance values and operate differently from the nominal characteristics. PHM (Prognostics and Health Monitoring) techniques can be used to monitor the evolution of a capacitor health condition and to predict its RUL (Remaining Useful Life). This paper uses artificial neural networks to monitor the degradation index of capacitors and predict the corresponding RUL. Different neural network architectures are investigated: MLP (Multilayer Perceptron), RBF (Radial Basis Function), and ELM (Extreme Learning Machine). The performances of the different architectures are compared in terms of the coefficient of determination (R 2 ) and the Mean Squared Error (MSE). The accuracy of RUL predictions are compared based on the Relative Accuracy (RA) indicator, which is a performance indicator proposed in the literature to evaluate PHM algorithms.

show abstract

Cost Optimization Strategy for Iterative Integration of Multi-critical Functions in IMA and TTEthernet Architecture

Cited by 8 publications

References 5 publications

Fully-Deterministic Execution of IEC-61499 Models for Distributed Avionics Applications

Fully-Deterministic Execution of IEC-61499 Models for Distributed Avionics Applications

Model-Driven Approach to the Optimal Configuration of Time-Triggered Flows in a TTEthernet Network

Detection and Fault Prediction in Electrolytic Capacitors Using Artificial Neural Networks

Contact Info

Product

Resources

About