User: Guest  Login
Title:

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

Author(s):
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...     »
Book / Congress title:
Service Orientation in Holonic and Multi-Agent Manufacturing (SOHOMA)
Publisher address:
Cambridge, England
Year:
2015
Month:
October
 BibTeX