Benutzer: Gast  Login
Titel:

Increasing dependability by agent-based model-checking during run-time

Autor(en):
Rehberger, Sebastian; Aicher, Thomas; Vogel-Heuser, Birgit
Abstract:
Agent-oriented software engineering (AOSE) is a paradigm for distributing intelligent control mechanisms (ICM) within an automated production system (aPS). Benefits resulting from AOSE have been surveyed in many applications as route-finding, plug-and-produce techniques and also in the control of Smart Grids. To ensure safe functionalities, i.e. dependability or uptime, of distributed technical systems for instance by conducting simulation, virtual commissioning, the execution of test cases and...     »
Kongress- / Buchtitel:
Service Orientation in Holonic and Multi-Agent Manufacturing (SOHOMA)
Verlagsort:
Cambridge, England
Jahr:
2015
Monat:
October
 BibTeX