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...

Full description

Saved in:
Bibliographic Details
Published in:Proceedings (IEEE International Conference on Emerging Technologies and Factory Automation) Vol. 1; pp. 677 - 684
Main Authors: Sini, J., Violante, M., Dessi, R.
Format: Conference Proceeding
Language:English
Published: IEEE 01.09.2018
Subjects:
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 Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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