AmbISPDM: Managing embedded systems in ambient environments and disaster mitigation planningAmbISPDM: Managing embedded systems in ambient environments and disaster mitigation planning Peer-Reviewed Journal Publication Δημοσίευση σε Περιοδικό με Κριτές 2018-04-182017enThe need to manage embedded systems, brought forward by the wider adoption of pervasive computing, is particularly vital in the context of secure and safety-critical applications. Technology infiltrates in ordinary things, hitching intelligence and materializing smart systems. Each of these individual entities monitors a specific set of parameters and deduces a constrained local view of the surrounding environment. Many distributed devices exchange information in order to infer the real system state and achieve a consistent global view. However, conflicts may arise due to the integration of deficit pieces of local knowledge. Robust and efficient conflict resolution is essential, especial in cases of emergency where the system must contribute with timely and accurate data to the overall crisis management operation. In this paper, we present AmbISPDM – a formal framework for the management of embedded systems with a coherent conflict resolution mechanism. The process is implemented as a software agent’s reasoning behaviour and applied in the multi-agent domain. As a proof of concept, a smart university campus setting is deployed, with agents controlling embedded devices to assist living conditions in normal operation and the evacuation planning in case of fire. http://creativecommons.org/licenses/by/4.0/Applied Intelligence1-21 Chatzivasilis Georgios Χατζηβασιλης Γεωργιος Papaefstathiou Ioannis Παπαευσταθιου Ιωαννης Plexousakis, Dimitris Manifavas Charalabos Μανιφαβας Χαραλαμπος Papadakis, Nikos K. Springer Verlag Ambient intelligence Conflict resolution Dependability Disaster mitigation planning DPWS Dynamic system Event calculus Formal methods JADE Jess OSGi Privacy Safety Security