A Modeling and Verification Approach to the Design of Distributed IMA Architectures Using TTEthernet.

Tiyam Robati Abdelouahed Gherbi John Mullins

Published in: ANT/SEIT (2016)

Keyphrases

information retrieval
databases
real time embedded
software architecture
functional verification
modeling method

design decisions
fault tolerant
distributed environment
control system
distributed systems
user interface

computer aided
multi agent systems
computer networks
cooperative
engineering design
multi agent

modeling language
design tools
case study
design methodologies
learning algorithm
data sets