Mitigating Byzantine Failures in Multi-agent based Dependable and Adaptable Avionics Software

Kashi, Rajanikanth N.; D’Souza, Meenakshi

doi:10.1109/icecct.2019.8869104

Cited by 4 publications

(1 citation statement)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…An agent can also be defined as a mapping, which maps the local environment perceived by an agent into general behavior attempts rather than specific actions [21]. The adaptive avionics system software based on agents has been applied in avionics fault diagnosis and air traffic systems [22,23]. Adaptive software in avionics systems can be modeled by using multi-agent systems based on the belief, desire, and intention (BDI) model or hybrid automata [24][25][26].…”

Section: Research and Modeling Methods For Agentsmentioning

confidence: 99%

A Modeling Method of Agents and SOA in Advanced Avionics System Based on AADL

Deng

Zhou²,

et al. 2022

Applied Sciences

View full text Add to dashboard Cite

The modeling method of agents and service-oriented architecture (SOA) in avionics systems describes agents and SOA in avionics systems with models. To our knowledge, however, the current modeling methods cannot describe the behavior of agents and SOA accurately and do not fit well with the existing avionics system models. This paper addresses the above problems by presenting a modeling method based on architecture analysis and design language (AADL). In this method, the working states of agents are described by the mode components, with the working process being triggered by the input of agents; and the services are described by the process component. The application of the software system is described by the system components that contain several process components. Moreover, different modes of the system are used to describe different applications, and the transitions of application are triggered by specific application requests. Software architecture of an avionics system is modeled by the proposed method. This case demonstrates that the proposed method can accurately describe how agents and SOA work in a new way and fit well with the existing avionics system models.

show abstract