Towards the Internet of Safe and Intelligent Postal+ Things

SAFEPOST is an FP7 European project which was active from April 2012 to July 2016 aimed at the “reuse and development of Security Knowledge assets for International Postal supply chains”, as its full title explains. SAFEPOST addressed threats to postal security by designing and experimenting a sensor network detection system including gas, radiation, Raman spectroscopy and image-based sensors. In 2015, while SAFEPOST was running, the US Postal Service and IBM suggested the idea of applying sensors to the postal infrastructure components to bring the acquired data to the next supply chain level and optimize efficiency and costs, leading to an Internet of Postal Things. Merging the SAFEPOST and Internet of Postal Things approaches and applying the result of their merge to supply chains involving not only postal items, but also logistic infrastructures and business processes, paves the way to an Internet of Safe PostalThings, IoSPT. The IoSPT can be further enriched and made smarter, more flexible, and intelligent, by adding agents below, inside, and on top of it. In this paper we provide our vision of the Internet of Safe and Intelligent Postal Things, IoSIPT, highlighting challenges and opportunities.

[1]  Tom Holvoet,et al.  Optimizing agents with genetic programming: an evaluation of hyper-heuristics in dynamic real-time logistics , 2018, Genetic Programming and Evolvable Machines.

[2]  Wei Fan,et al.  Mining big data: current status, and forecast to the future , 2013, SKDD.

[3]  Klaus Fischer,et al.  Holonic Multiagent Systems - Theory and Applications , 1999, EPIA.

[4]  Angelo Ferrando,et al.  Recognising Assumption Violations in Autonomous Systems Verification , 2018, AAMAS.

[5]  Michael A. Cusumano,et al.  Can services and platform thinking help the U.S. Postal Service? , 2012, Commun. ACM.

[6]  Athanasios V. Vasilakos,et al.  Data Mining for the Internet of Things: Literature Review and Challenges , 2015, Int. J. Distributed Sens. Networks.

[7]  Marc J. Schniederjans,et al.  Establishing the use of cloud computing in supply chain management , 2017, Operations Management Research.

[8]  In-Jeong Chung,et al.  A real time process management system using RFID data mining , 2014, Comput. Ind..

[9]  Shikhar Mishra.  Design and Evaluation of Wireless and IoT based Healthcare System , 2017 .

[10]  Angelo Ferrando,et al.  Global Protocols as First Class Entities for Self-Adaptive Agents , 2015, AAMAS.

[11]  Eduardo Serrano,et al.  Internet of Intelligent Things: Bringing Artificial Intelligence into Things and Communication Networks , 2014 .

[12]  Angelo Ferrando,et al.  Verifying and Validating Autonomous Systems: Towards an Integrated Approach , 2018, RV.

[13]  Nam-Ho Kim.  Design and implementation of Hadoop platform for processing big data of logistics which is based on IoT , 2017, Int. J. Serv. Technol. Manag..

[14]  Agostino Poggi,et al.  A Multi-Agent Architecture for Data Analysis , 2019, Future Internet.

[15]  P. Mell,et al.  The NIST Definition of Cloud Computing , 2011 .

[16]  Davide Ancona,et al.  Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason , 2012, DALT.

[17]  Zakarya Erraji,et al.  Dynamic JChoc: A Distributed Constraints Reasoning Platform for Dynamically Changing Environments , 2015, ICAART.

[18]  Antonio Pescapè,et al.  On the Integration of Cloud Computing and Internet of Things , 2014, 2014 International Conference on Future Internet of Things and Cloud.

[19]  Geoff Holmes,et al.  MOA: Massive Online Analysis , 2010, J. Mach. Learn. Res..

[20]  Gianmarco De Francisci Morales.  SAMOA: a platform for mining big data streams , 2013, WWW '13 Companion.

[21]  M. Brian Blake,et al.  Adaptive Computing (and Agents) for Enhanced Collaboration (ACEC 2018) , 2018, WETICE.

[22]  Daniel Thalmann,et al.  Modeling Objects for Interaction Tasks , 1998, Computer Animation and Simulation.

[23]  Yang Xu,et al.  Semantical Markov Logic Network for Distributed Reasoning in Cyber-Physical Systems , 2017, J. Sensors.

[24]  Angelo Ferrando,et al.  Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification , 2016, Theory and Practice of Formal Methods.

[25]  Giancarlo Fortino,et al.  Integration of agent-based and Cloud Computing for the smart objects-oriented IoT , 2014, Proceedings of the 2014 IEEE 18th International Conference on Computer Supported Cooperative Work in Design (CSCWD).

[26]  Aditya P. Mathur,et al.  Aligning Cyber-Physical System Safety and Security , 2014, CSDM Asia.

[27]  Giorgio C. Buttazzo,et al.  The challenge of real-time multi-agent systems for enabling IoT and CPS , 2017, WI.

[28]  Fredrik Johansson,et al.  Harvesting and analysis of weak signals for detecting lone wolf terrorists , 2012, 2012 European Intelligence and Security Informatics Conference.

[29]  Rafael Heitor Bordini,et al.  Verifying Multi-agent Programs by Model Checking , 2006, Autonomous Agents and Multi-Agent Systems.

[30]  William Ho,et al.  Supply chain risk management: a literature review , 2015 .

[31]  Yetkin Tatar,et al.  Simplified Agent-Based Resource Sharing Approach for WSN-WSN Interaction in IoT/CPS Projects , 2018, IEEE Access.

[32]  Bill Karakostas.  Towards Autonomous IoT Logistics Objects , 2017 .

[33]  Gerd Kortuem,et al.  Smart objects as building blocks for the Internet of things , 2010, IEEE Internet Computing.

[34]  Andrea Omicini,et al.  Designing self-organising environments with agents and artefacts: a simulation-driven approach , 2008, Int. J. Agent Oriented Softw. Eng..

[35]  Angelo Ferrando,et al.  Decentralizing MAS Monitoring with DecAMon , 2017, AAMAS.

[36]  Jeffrey O. Kephart,et al.  The Vision of Autonomic Computing , 2003, Computer.

[37]  Bruce Marsh,et al.  The Internet of Postal Things , 2015, 2015 International Conference on Collaboration Technologies and Systems (CTS).

[38]  Michael Wooldridge,et al.  Model Checking Multi-Agent Programs with CASP , 2003, CAV.

[39]  Giuseppe Bruno,et al.  Applications of agent-based models for optimization problems: A literature review , 2012, Expert Syst. Appl..

[40]  Khedija Arour,et al.  Distributed Collaborative Reasoning for HAR in Smart Homes , 2018, AAMAS.

[41]  Angelo Ferrando,et al.  Parametric Runtime Verification of Multiagent Systems , 2017, AAMAS.

[42]  Jorge Sá Silva,et al.  Security for the Internet of Things: A Survey of Existing Protocols and Open Research Issues , 2015, IEEE Communications Surveys & Tutorials.

[43]  Yinong Chen,et al.  Internet of intelligent things and robot as a service , 2013, Simul. Model. Pract. Theory.

[44]  Chris Jermaine,et al.  Real-time High Performance Anomaly Detection over Data Streams: Grand Challenge , 2017, DEBS.

[45]  Lazaros G. Papageorgiou,et al.  A combined optimization and agent-based approach to supply chain modelling and performance assessment , 2001 .

[46]  Antonio Iera,et al.  The Internet of Things: A survey , 2010, Comput. Networks.

[47]  Luca Zini,et al.  A multi-camera system for damage and tampering detection in a postal security framework , 2018, EURASIP J. Image Video Process..

[48]  Alessio Lomuscio,et al.  MCMAS: A Model Checker for the Verification of Multi-Agent Systems , 2009, CAV.

[49]  Jay Lee,et al.  Smart Agents in Industrial Cyber–Physical Systems , 2016, Proceedings of the IEEE.

[50]  Giancarlo Fortino.  Agents Meet the IoT: Toward Ecosystems of Networked Smart Objects , 2016, IEEE Systems, Man, and Cybernetics Magazine.