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

Autor: Jozwiak Lech, Stojanovic Radovan, Voros Nikolaos
Přispěvatelé: Baouya Abdelhakim
Jazyk: angličtina
Rok vydání: 2022
Předmět:
DOI: 10.5281/zenodo.6698644
Popis: 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 LechJóź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 
Databáze: OpenAIRE