Proceedings of the 3rd Summer School on Cyber-Physical Systems and Internet-of-Things, Vol. III, 2022
Keywords:
Computing, Cyber Physical Systems, Internet of Things , Embedded Computing, Summer School, Smart SystemsAbstract
CONTENTS
Lech Jóźwiak, Radovan Stojanović
Introduction to the CPS&IoT’2022 Summer School, 1
Luca Benini
PULP: Extreme Energy Efficiency for Extreme Edge AI Acceleration, 4
Lech Jóźwiak
Green CPS and IoT for Green World, 56
Mario Kovač, Josip Knezović
European Processor Initiative Technology for Exascale Era, 158
Gianluca Bellocchi, Alessandro Capotondi, Andrea Marongiu, Francesca Palumbo, Daniel Madroñal Quintin
Accelerator-Rich FPGA Architecture Exploration via a Programmable and Reconfigurable Overlay, 189
Reda Nouacer, Morayo Adedjouma
From Embedded-Systems towards swarms: opportunities and challenges, 287
Letizia Jaccheri
Software for a Better Society, 323
Roberto Giorgi
Extending Performance and Reliability via Modular FPGA Clusters, 371
Filippo Cugini, Pavel Burget, Martin Ron
Edge computing: the BRAINE solution, 410
Axel Jantsch, Zhonghai Lu
Embedded Machine Learning, 471
Muhammad Shafique, Muhammad Abdullah Hanif
Embedded Machine Learning for the Edge: From Algorithms to Architectures, 558
Eugenio Villar, Hector Posadas, Raul Gomez, Jose María Gandara
Modeling, design and Implementation of drone-based services, 592
Dimitrios Serphanos, U. Patras and CTI, Stavros Koubias, U. Patras
Synthesis of Runtime Monitors for Safe and Secure Industrial Systems, 637
Dominique Blouin, Anish Bhobe
Embedded systems modeling, analysis and automatic code generation with AADL and RAMSES, 667
Rupert Schlick, Thomas Bauer
How to design and tailer a perfect fitting verification and validation process for your CPS&IoT project, 719
Peter Mörtl, Nikolai Ebinger
Framework to facilitate Trustworthiness of Smart Systems for End Users, 777
Ramiro Samano Robles
Reference architecture for trusted AIoT systems: certification, standardization, and regulation, 806
Christoph Schmittner
Cybersecurity Engineering and Management, 875
Samir Ouchani
Secure and Reliable Smart Cyber Physical Systems, 946
Abdelhakim Baouya
Artificial Intelligence meets Formal Methods: Generation and verification of learned stochastic automata, 1013
Radovan Stojanović
Principles of performance effective nodes design for smart systems, 1050
Milica Orlandić
Data Processing Pipelines on small satellites and drones: challenges and solutions, 1076
Nikolaos Voros
The achievements of SMART4ALL project in Customized Low-Energy Computing for CPS, 1109
Abeer Akkad, Gary Wills, Abdolbaghi Rezazadeh
An IoT-enabled Smart Grid: Definitions, Characteristics, Challenges, and Future Directions, 1155
Schedule-CPS&IoT’2022 Summer School on Cyber-Physical Systems and Internetof- Things, 1164
3rd Summer School on Cyber Physical Systems and Internet of Things - SS-CPSIoT’2022 3rd Generation (Students and Teachers), 1165
Certificate of Attendance, 1166
Author Index, 1167
Photo gallery, 1169