ponedeljek, 22. maj 2023 Nuno LARANJEIRO: Software Dependability Research at the University of Coimbra & Naghmeh IVAKI: Verification and Validation of U-space Services
V ponedeljek, 22. maja 2023, bosta ob 15.00 uri izvedeni dve
predavanji v okviru PONEDELJKOVEGA SEMINARJA RAČUNALNIŠTVA IN INFORMATIKE
Oddelkov za Informacijske znanosti in tehnologije UP FAMNIT in UP IAM.
ČAS/PROSTOR: 22. maj 2023 ob 15.00 v predavalnici FAMNIT-VP2
POZOR: Seminar se prične ob 15:00 !!!
=============================================================================================================
1. predavanje:
---------------------------------------------
PREDAVATELJ: Nuno LARANJEIRO
---------------------------------------------
Nuno Laranjeiro received the PhD degree from the University of Coimbra, Portugal, where he currently is an Assistant Professor. His research focuses on dependable and secure software services and he currently leads the Software and Systems Engineering (SSE) group at the Centre for Informatics and Systems of the University of Coimbra (CISUC). His research interests include experimental dependability evaluation, fault injection, robustness of software and web services, web services interoperability, and software security. He is currently mostly involved in developing new techniques towards more reliable and secure cloud systems and microservices, in developing techniques for evaluating the reliability and security of blockchain smart contracts, and using machine learning techniques for software fault and vulnerability detection and characterization. He has contributed, as an author, reviewer and program committee member, to leading conferences and journals in the dependability and services computing areas. Nuno has been involved in the organisation of several international events, including several editions of the International Symposium on Software Reliability Engineering (ISSRE) and also the Dependable and Secure Services Workshop/Track (as main chair) jointly organised with the IEEE World Congress on Services. He participated in international research projects, including several H2020 projects (e.g., ADVANCE, DEVASSES, ATMOSPHERE, EUBrasilCloudFORUM) and FP7 projects (CRITICAL STEP, CECRIS).
-------------------------------------------------------------------------------------------------
NASLOV: Software Dependability Research at the University of Coimbra
-------------------------------------------------------------------------------------------------
POVZETEK:
The Software and Systems Engineering (SSE) group at the Centre for Informatics and Systems of the University of Coimbra (CISUC) develops disruptive research on different facets of software and systems engineering, with particular focus on dependability and security aspects. Internationally recognized contributions of SSE include new experimental approaches for dependability, resilience and security evaluation and benchmarking, including fault injection, robustness testing, vulnerability & attack injection and vulnerability detection methods. This talk overviews the SSE group research activities and discusses a fault injection case study.
=============================================================================================================
2. predavanje:
----------------------------------------------
PREDAVATELJICA: Naghmeh IVAKI
----------------------------------------------
Naghmeh Ivaki received the PhD degree from the University of Coimbra, Portugal. Currently, she is an assistant professor and a full member of Software and Systems Engineering Group (SSE) of the Center for Informatics and Systems (CISUC), Department of Informatics Engineering, University of Coimbra. She specializes in the scientific field of Informatics Engineering, with particular focus on trustworthiness, security, safety, and dependability of computer systems. In her field of specialization, she has authored about 40 peer-reviewed publications and participated in 11 national and inernational research projects.
----------------------------------------------------------------------------
NASLOV: Verification and Validation of U-space Services
----------------------------------------------------------------------------
POVZETEK:
Unmanned Aerial Vehicles (UAVs or UAS) have gained notable importance in civil airspace. To ensure their safe operation (in particular, in urban area), U-space services are being defined in Europe. U-space is a set of services that rely on a high level of digitalization and automation of functions. These services are either on board of the UAVs or are part of the ground controllers, allowing the safe and efficient operation of a large number of UAS (especially, but not only, in urban VLL (very low level)). The main safety pillar of U-space services is conflict management in both strategic and tactical levels, aiming to limit the risk of collision between UAVs and hazards to an agreed level deemed acceptable. However, the target level of safety (TLS) can be threatened by many factors like failures in UAVs (or its components and sensores like GPS), and U-space functioning and communications (e.g., can be caused by hardware failure, software failures, network failures, or security attacks), or even failures due to non-deterministic behavior of AI-based components used in these systems. Our research team aims at building a verification and validation (V&V) platform, allowing the safety assessment of UAVs and U-space services under the aforementioned conditions. By providing such V&V platform for safety assessment, we aim to ensure that the target level of safety is met and maintained.
=============================================================================================================
Obe predavanji bosta v angleškem jeziku.
Vabljeni!
