A Model for Trustworthy Orchestration in the Internet of Things
暂无分享,去创建一个
Embedded systems such as Cyber-Physical Systems (CPS) are typically designed as a network of multiple interacting elements with physical input (or sensors) and output (or actuators). One aspect of interest of open systems is fidelity, or the compliance between physical figures of interest and their internal representation. High fidelity is defined as a stable mapping between actions in the physical domain and intended or expected values in the system domain and deviations from fidelity are quantifiable over time by some appropriate informative variable. In this paper, we provide a model for designing such systems based on a framework for trustworthiness monitoring and we provide a Jason implementation to evaluate the feasibility of our approach. In particular, we build a bridge between a standard publish/subscribe framework for CPS called MQTT and Jason to enable automatic reasoning about trustworthiness.
[1] L. Burton. Intention , 2011 .
[2] A. S. Roa,et al. AgentSpeak(L): BDI agents speak out in a logical computable language , 1996 .
[3] Michael Wooldridge,et al. Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology) , 2007 .
[4] Michael E. Bratman,et al. Intention, Plans, and Practical Reason , 1991 .
[5] Giuseppe Primiero,et al. A Framework for Trustworthiness Assessment based on Fidelity in Cyber and Physical Domains , 2015, ANT/SEIT.