A verifiable multi-agent framework for dependable and adaptable avionics

Nagaraj, Rajanikanth Kashi; D’Souza, Meenakshi

doi:10.1007/s12046-020-01538-4

Cited by 1 publication

(1 citation statement)

References 26 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…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]. In addition, the formal verification of agents based on the BDI model also has some achievements [27].…”

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