Model checking intelligent avionics systems for test cases generation using multi-agent systems

Elkholy, Warda; El-Menshawy, Mohamed; Elqortobi, Mounia; Laarej, Amine; Dssouli, Rachida

doi:10.1016/j.eswa.2020.113458

Cited by 19 publications

(5 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In addition, the formal verification of agents based on the BDI model also has some achievements [27]. The abstract state machine (ASM) is used to model the agents in avionics systems, and based on this method, an intelligent landing gear system was modeled [28]. Agents have been applied to model and simulate pilot behavior, which means that agents have great potential in the aviation field [29].…”

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

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

show abstract

“…Nevertheless, testing remains an important activity in system development. Test sequence generation has extensively been discussed in the literature [78], sometimes associated with model checking [79], [80].…”

Section: Test Sequence Generationmentioning

confidence: 99%

A Taxonomy of MBSE Approaches by Languages, Tools and Methods

et al. 2022

View full text Add to dashboard Cite

Systems engineering has gained in maturity over the last decades and started a transition from document-centric approaches to Model-Based Systems Engineering (MBSE). Several papers have discussed the benefits and potential, but also the limitations, of using MBSE, based on literature surveys and analyze feedback from academia and industry. The current paper explores a complementary avenue and aims at giving students and industry practitioners a set of keys and decision criteria to select MBSE languages, tools and methods. Languages, tools and methods are categorised and selection criteria are proposed for a panorama of languages that goes beyond SysML and other techniques commonly associated with MBSE. In addition, research avenues for the future of MBSE are identified. The discussion relies on the authors' experience in teaching and using system engineering and MBSE in both academia and industry, as well as on the experience shared within the framework of Concorde, a French project dedicated to drone systems design methodologies.

show abstract

“…In the last century, people have begun to realize the importance of intelligence and change the traditional cognition of intelligence [3]. Elkholy's knowledge construction theory is used as the theoretical basis for studying the brain's natural learning ability and generates intelligent psychological test tools, such as IQ test [4]. Al Qatawneh described the content of multiple intelligences and curriculum in detail.…”

Section: Related Workmentioning

confidence: 99%

Construction of a College Physical Education Teaching Model Using Multiple Intelligences Theory

Xie

2022

Scientific Programming

View full text Add to dashboard Cite

In recent years, China has comprehensively carried out and implemented the “national fitness campaign.” Sports have been integrated into everyone’s daily life. As a place for cultivating talents, colleges and universities have also begun to reform the physical education teaching mode and cultivate a number of talents with strong competition ability, teaching ability, and adaptability to the society. With the deepening of the reform of physical education teaching mode in colleges and universities, some colleges and universities have introduced the theory of multiple intelligences. By analyzing the concept and content of the theory of multiple intelligences and comparing it with the traditional physical education teaching mode, it fully reflects the advantages of the theory of multiple intelligences in physical education teaching. This paper uses fuzzy mathematics and fuzzy set algorithm to build a teaching model based on the theory of multiple intelligences. Moreover, we study the innovative methods of college physical education teaching, take college physical basketball teaching as the research object, and analyze the students’ sports technology, students’ teaching practice ability, and students’ thinking ability based on the theory of multiple intelligences. Experimental outcomes show that the teaching method guided by the theory of multiple intelligences was designed for the intelligent characteristics of the students in the experimental group, and the teachers and students communicated with each other during the teaching period, which significantly improved the students’ thinking ability.

show abstract

Model checking intelligent avionics systems for test cases generation using multi-agent systems

Cited by 19 publications

References 14 publications

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

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

A Taxonomy of MBSE Approaches by Languages, Tools and Methods

Construction of a College Physical Education Teaching Model Using Multiple Intelligences Theory

Contact Info

Product

Resources

About