Model-based Design and Formal Analysis of Arbitration Protocols on Multiple-Bus Architecture.
Imene Ben HafaiedhMaroua Ben SlimanePublished in: VECoS (2016)
Keyphrases
- formal analysis
- software architecture
- design goals
- formal methods
- communication protocols
- hardware design
- user interface
- design methodology
- conceptual model
- agent model
- design principles
- high speed
- case study
- information systems
- real time
- design process
- knowledge based systems
- management system
- expert systems
- distributed architecture
- communication protocol
- artificial intelligence