Benutzer: Gast  Login
Autor(en):
Rehberger, Sebastian; Aicher, Thomas; Vogel-Heuser, Birgit 
Titel:
Increasing dependability by agent-based model-checking during run-time 
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