Computer-Aided Design of Multi-Agent Cyber-Physical Systems

This paper presents a methodology to aid the development of multi-agent cyber-physical systems. The software architecture is structured in a multi-layer fashion, distributed on different devices (agents), making its design very challenging. A methodology is thus needed to meet the performance goal o...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Proceedings (IEEE International Conference on Emerging Technologies and Factory Automation) Jg. 1; S. 677 - 684
Hauptverfasser: Sini, J., Violante, M., Dessi, R.
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: IEEE 01.09.2018
Schlagworte:
CAD
Cyber-Physical Systems
Functional testing
Hardware
Multi-Agent Robotic
Real-time systems
Robotics
Robots
Software
Software integration
Software test
Solid modeling
Task analysis
Testing
ISSN:1946-0759
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:This paper presents a methodology to aid the development of multi-agent cyber-physical systems. The software architecture is structured in a multi-layer fashion, distributed on different devices (agents), making its design very challenging. A methodology is thus needed to meet the performance goal of such a system. The proposed methodology relies on Model-Based Software Design techniques, and on the Model/Software/Hardware-In-The-Loop (MIL, SIL, HIL) simulations. In particular, the HIL verification technique, which is widely adopted in the automotive and avionic industry also in the early development phases as a Computer-Aided Design tool, is the core tool of the real-time performances assessment verification. To speed-up the development process, and to obtain a toolchain coherent with the proposed approach, the adoption of a Model-Based Software Design methodology represents an optimal solution. Within those assumptions, we propose a benchmark of the methodology, applied on a customized multiagent system. The aim is to prove that the proposed method is able to achieve and verify a set of real-time requirements on the system behavior.
ISSN:1946-0759
DOI:10.1109/ETFA.2018.8502448