A Modeling and Verification Approach to the Design of Distributed IMA Architectures Using TTEthernet.
Tiyam RobatiAbdelouahed GherbiJohn MullinsPublished 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