Proceedings of the 3rd Summer School on Cyber-Physical Systems and Internet-of-Things, Vol. III, 2022

Contents:

Authors, Title, page #

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 Stojanovic 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) Certificate of Attendance .......................................................................................................................1165

Author Index

Photo gallery