Specifying Avionic Embedded Systems by Denotations of the Time-Triggered Constraint-Based Calculus

Hamadou, Sardaouna; Mullins, John; Chareton, Christophe; Gherbi, Abdelouahed

doi:10.1109/iri.2015.56

Cited by 2 publications

(2 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Section: Related Workmentioning

confidence: 99%

“…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%

See 1 more Smart Citation

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%