BookPDF Available

Proceedings of the 2nd Summer School on Cyber-Physical Systems and Internet-of-Things, SS-CPSIoT'2021, Vol. II, 2021



Contents:::: Lech Jozwiak, Radovan Stojanovic, Introduction >>> Ioannis Pitas, Privacy Protection, Ethics, Robustness and Regulatory Issues in Autonomous Systems >>> Lech Jozwiak, Design of Green CPS and IoT>>> Mario Kovac, European Processor Initiative: Cornerstone of European HPC and eHPC strategy >>> Nicola Capodieci, Timing predictability in GPGPU computing for ADAS: challenges and future directions in real-time embedded platforms >>> Benoît Dupont de Dinechin, Engineering a Manycore Processor for Edge Computing >>> Danilo P. Mandic, Hearables: From in-ear Recording of Vital Signs and Neural Function to Doctorless Hospitals >>> Kim Guldstrand Larsen, Marius Mikucionis, Learning, Analysis, Synthesis and Optimization of Cyber-Physical Systems >>> Radu Grosu, Machine Learning and Control of CPS/IoT >>> Alberto Marchisio, Muhammad Abdullah Hanif, Muhammad Shafique, Energy-Efficient Deep Learning at the Edge: A Cross-Layer Approach >>> Daniel Madronal, Francesco Ratto, Giacomo Valente, Dataflow-Based Toolchain for Adaptive Hardware Accelerators Deployment and Monitoring >>> Hui Cao 5G Connectivity: the Key to Success for European Industry? >>> Eugenio Villar, Model-Driven Design of CPSoSs: Application to drone-based services >>> Abdelhakim Baouya, Salim Chehida, Design and Verification of Collaborative Robots System >>> Aris Lalos, Christos Koulamas, Dimitrios Serpanos, Secure and Efficient Industrial IoT: Architectures and Technologies >>> Radovan Stojanovic, Challenging issues in cost effective wearable and IoT medicat devices with emphasis on Covid19 detection >>> Alberto Cardoso, António Dourado, Jorge Henriques, Paulo Gil, Intelligent data analysis towards predictive maintenance in cyber-physical systems >>> Christoph Schmittner, Security engineering for smart farming – from automated vehicles to sensor networks >>> Zoran Utkovski, Slawomir Stanczak, Modern Random Access Protocols for Massive Connectivity in the Internet of Things >>> Schedule- CPS&IoT’2021 Summer School on Cyber-Physical Systems and Internet-of-Things
A preview of the PDF is not available
... The paper builds upon the research conducted in [23] and [24]. So, to guarantee the correctness of Robots Orchestration, certain requirements must be met. ...
Full-text available
Our study details the development and validation of an orchestrator-controlled robotic network that effectively organizes and manages the activities of multiple robots. The design workflow is based on a model-driven methodology that allows for the independent specification of robot behaviour, which can be successfully refined regardless of the physical architecture. The main focus of this study involves the verification and analysis of robot orchestration by building formal models in a component–port–connector fashion supported by BIP language (behaviour–interaction–priority). The model also helps to study the automated orchestration with the help of a centralized computer tasks manager. The related functional requirements gathered from industrial partners are specified in temporal logic. Statistical model checking is performed to verify the model’s correctness, providing a functional assurance to achieve the deployment. Validation is a carry out using a dedicated robotic platform simulator. We demonstrate the capability of the verification artefact for the Brain-IoT ( platform and ways of applying them to potentially complex case studies.
SparkXD: A Framework for Resilient and Energy-Efficient Spiking Neural Networ Inference using Appro imate RAM
  • W Putra
  • M A Anif
  • M Shafique
W. Putra, M. A. anif, M. Shafique, "SparkXD: A Framework for Resilient and Energy-Efficient Spiking Neural Networ Inference using Appro imate RAM", DAC, 2021.
• Multi-modal fusion of heterogeneous data, generated by the integrated sensors of vehicles
  • Lidar
  • Cameras
  • Gps
  • Imu
• Multi-modal fusion of heterogeneous data, generated by the integrated sensors of vehicles (e.g., LIDAR, Cameras, GPS, IMU, etc.).