The relational model: In search for lean and mean CPS technology

The complexity of cyber-physical systems (CPSs) poses new challenges in their design, model checking and maintenance. The hardware and software designers are in search, more than ever, for simple and interoperable approaches that render the complexity of CPSs a treatable matter. In this work, database language is suggested as an enabling technology and a lean technique to the purpose. An example with best available embedded database technology is conducted by means of a deployment test on tiny embedded electronics.

[1]  Raymond Reiter,et al.  Towards a Logical Reconstruction of Relational Database Theory , 1982, On Conceptual Modelling.

[2]  David Garlan,et al.  ACTIVE: A Tool for Integrating Analysis Contracts , 2014 .

[3]  Longhi Sauro,et al.  A scalable production efficiency tool for the robotic cloud in the fractal factory , 2016 .

[4]  Andrea Bonci,et al.  A database-centric approach for the modeling, simulation and control of cyber-physical systems in the factory of the future. , 2016 .

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

[6]  Andrea Bonci,et al.  An Embedded Database Technology Perspective in Cyber-physical Production Systems☆ , 2017 .

[7]  Marco Roveri,et al.  HRELTL: A temporal logic for hybrid systems , 2015, Inf. Comput..

[8]  Andrea Bonci,et al.  Information Management and Decision Making Supported by an Intelligence System in Kitchen Fronts Control Process , 2017 .

[9]  Marco Roveri,et al.  Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF , 2017, TACAS.

[10]  Patrick Valduriez,et al.  Principles of Distributed Database Systems , 1990 .

[11]  Davide Bresolin,et al.  A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems , 2015, Proceedings of the IEEE.

[12]  Georg Gottlob,et al.  Recent Advances in Datalog ^\pm , 2015, Reasoning Web.

[13]  Andrew Pavlo,et al.  What's Really New with NewSQL? , 2016, SGMD.

[14]  Stefan Poslad,et al.  Specifying protocols for multi-agent systems interaction , 2007, TAAS.

[15]  Martyn Fletcher,et al.  The Cambridge Packing Cell -- A Holonic Enterprise Demonstrator , 2003, CEEMAS.

[16]  Edward A. Lee.  The Past, Present and Future of Cyber-Physical Systems: A Focus on Models , 2015, Sensors.

[17]  Marco Roveri,et al.  Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic , 2017, AAAI.

[18]  Letizia Tanca,et al.  Logic Programming and Databases , 1990, Surveys in Computer Science.

[19]  Radu Prodan,et al.  OpenSwarm: An event-driven embedded operating system for miniature robots , 2016, 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

[20]  Peter Marwedel,et al.  Embedded system design , 2010, Embedded Systems.

[21]  Okyay Kaynak,et al.  Industrial Cyberphysical Systems: A Backbone of the Fourth Industrial Revolution , 2017, IEEE Industrial Electronics Magazine.

[22]  Emmanuel Baccelli,et al.  Operating Systems for Low-End Devices in the Internet of Things: A Survey , 2016, IEEE Internet of Things Journal.

[23]  Matthias Foehr,et al.  Surveying integration approaches for relevance in Cyber Physical Production Systems , 2015, 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA).

[24]  Andrei Lobov,et al.  Management of distributed knowledge encapsulated in embedded devices , 2016 .

[25]  Paulo Leitão,et al.  Key Contributing Factors to the Acceptance of Agents in Industrial Environments , 2017, IEEE Transactions on Industrial Informatics.