Safer Autonomous Systems

Leistungen

Report on validation of MAPE-K-based architecture and underlying adaptation concepts in an industrial context

Report on validation of MAPEKbased architecture and underlying adaptation concepts in an industrial context

Report discussing the completeness of model-based system analysis when dealing with functional insufficiencies

Report discussing the completeness of modelbased system analysis when dealing with functional insufficiencies

Report on first version of the language for the expression of safety constraints and synthesis of safety rules
Report on simulation environment comprising algorithms for optimization, situational awareness and collision avoidance

Report on simulation environment comprising algorithms for optimization situational awareness and collision avoidance

Publication on bottlenecks and inconsistencies in the existing liability regimes when applied to autonomous systems and proposed new criteria for liability allocation
Report on the practical assessment and evaluation of safety-critical software design and testing strategies

Report on the practical assessment and evaluation of safetycritical software design and testing strategies

Literature review of safety challenges associated with the use of intelligent conversational bots
Documented assurance case patterns for ML in autonomous vehicles
Publication on the effectiveness of EM-diverse redundancy to harden wireless interconnectivity

Publication on the effectiveness of EMdiverse redundancy to harden wireless interconnectivity

Report on validation of virtual EMI-aware V&V framework validated on academic testcases

Report on validation of virtual EMIaware VV framework on academic testcases

Publication on initial implementation of run-time safety contracts and according monitoring architectures

Publication on initial implementation of runtime safety contracts and according monitoring architectures

Report on first experiment of the virtual worlds generation on a robotic simulator

Report on first experiment of the virtual worlds generation on a robotic simulator.

Publication on the situation coverage testing approach applied to a representative automotive case study
Report on pilot demonstration of the common framework for developing wider dependability assurance cases
Report on executable safety assurance case models for autonomous drilling use-case

SAS Special Session/Workshop IV

Panel-discussion at Safecomp 2022

SAS Special Session/Workshop I

Workshop at SAFECOMP 2019

SAS Network-Wide Event IV

SAS Network Wide Event in Wageningen (NL) @ MARIN

Potential inputs for policy feedback

Consortium should include any relevant information, results, activities who could contribute to any policy development in their domain. This information could then be used for policy feedback purposes.

SAS Special Session/Workshop III

Industry-oriented tutorial at the CPS Week in 2021

SAS Network-Wide Event V

SAS Network Wide Event in Nuneaton (UK) @ Horiba-Mira

SAS Kick-Off Meeting

SAS Kick-Off Meeting in Bruges (BE) @ Crowne Plaza Hotel to further detail all planned secondments, followed by a Recruitment Committee

SAS Post-project training course

Formal extension of the SAS training beyond the end of the project

Network Conference on Safer Autonomous Systems (including by Co-Thinking Session 3)

Network Conference on Safer Autonomous Systems in Leuven (BE) @ Hotel-Novotel

15 PhDs Awarded

15 PhDs awarded to ESRs

SAS Network-Wide Event III (followed by Co-Thinking Session 2)

SAS Network Wide Event in Munich (GE) @ Fraunhofer

SAS Network-Wide Event I (followed by Co-Thinking Session 1)

SAS Network Wide Event in York (UK) @ the Dept. of Computer Science

Dissemination, communication and outreach strategy

Dissemination, communication and outreach strategy (see 2.3.1 for complete overview)

SAS Special Session/Workshop II

Special Session at DSN 2020

SAS Network-Wide Event II

SAS Network Wide Event in Toulouse (FR) @ LAAS-CNRS

Scientific articles: 2 proceedings & 2 journal papers/ESR

Scientific articles 2 proceedings 2 journal papersESR

Project website

Project website (http://www.kuleuven.be/SAS)

Data Management Plan

Data management plan

Veröffentlichungen

Real-time Collision Avoidance Algorithm for Inland Waterway Sailing Scenarios - Experiment Validation

Autoren: T. Miao, E. El Amam, B. de Kruif, P. Slaets, D. Pissoort
Veröffentlicht in: International Naval Engineering Conference and Exhibition (INEC) 2022, 2022
Herausgeber: Institute of Marine Engineer, Science & Technology (IMarEST)

Requirements for a cybersecurity case approach for the assurance of future connected and automated vehicles

Autoren: Luis-Pedro Cobos, Alastair R. Ruddle, Giedre Sabaliauskaite
Veröffentlicht in: Proceedings of 7th International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS 2021), 2021, Seite(n) 626-633, ISBN 978-989-758-513-5
Herausgeber: SciTePress
DOI: 10.5220/0010478606260633

SiMOOD: evolutionary testing SiMulation with Out-Of-Distribution images

Autoren: RS Ferreira, J Guerin, J Guiochet, H Waeselynck
Veröffentlicht in: 27th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2022), 2022
Herausgeber: IEEE
DOI: 10.1109/prdc55274.2022.00021

Robust Intent Classification Using Bayesian LSTM for Clinical Conversational Agents (CAs)

Autoren: Haris Aftab, Vibhu Gautam, Richard Hawkins, Rob Alexander & Ibrahim Habli
Veröffentlicht in: EAI MobiHealth 2021 - 10th EAI International Conference on Wireless Mobile Communication and Healthcare, 2022
Herausgeber: Springer, Cham
DOI: 10.1007/978-3-031-06368-8_8

Systematic Modeling Approach for Environmental Perception Limitations in Automated Driving

Autoren: Ahmad Adee, Roman Gansch and Peter Liggesmeyer
Veröffentlicht in: EDCC2021, 2021
Herausgeber: IEEE
DOI: 10.1109/edcc53658.2021.00022

Out-of-distribution detection is not all you need”, ML Safety Workshop of Conference on Neural Information Processing Systems (NeurIps-MLSW)

Autoren: J. Guerin, K. Delmas, R. S. Ferreira, J. Guiochet
Veröffentlicht in: The 37th AAAI conference on artificial intelligence (2023), 2023
Herausgeber: Arxiv

Runtime Decision Making Under Uncertainty in Autonomous Vehicles

Autoren: Vibhu Gautam, Youcef Gheraibia, Rob Alexander, and Richard Hawkins
Veröffentlicht in: SafeAI, Ausgabe 17, 2021
Herausgeber: Proceedings of the Workshop on Artificial Intelligence Safety (SafeAI 2021)

Effectiveness of Time Diversity against Multi-frequency Disturbances Under Plane Wave Conditions

Autoren: Tirmizi, H., Lannoo, J., Vanoost, D., Vandenbosch, G., Pissoort, D.
Veröffentlicht in: 2020 International Symposium on Electromagnetic Compatibility - EMC EUROPE, 2020
Herausgeber: IEEE Xplore
DOI: 10.1109/emceurope48519.2020.9245738

TAF: a tool for diverse and constrained test case generationhttps://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9724803

Autoren: Clément Robert, Jérémie Guiochet, Hélène Waeselynck, Luca Vittorio Sartori
Veröffentlicht in: 21st IEEE International Conference on Software Quality, Reliability and Security (QRS2021), 2021
Herausgeber: IEEE Conference Publishing Services (CPS)
DOI: 10.1109/qrs54544.2021.00042

Influence of AWGN on the Possibility to Remove a Continuous Wave EM Disturbance in OFDM systems

Autoren: Aleksandr Ovechkin; Brian Leeman; Dries Vanoost; Tim Claeys; Guy A. E. Vandenbosch; Davy Pissoort
Veröffentlicht in: International Symposium on Electromagnetic Compatibility (EMC Europe),, 2022
Herausgeber: IEEE
DOI: 10.1109/emceurope51680.2022.9900995

Effects of an External Multi-harmonic EMI Excitation on the Transmission Bit Error Rates of a Redundant Channel under Plane Wave Illumination

Integration of Test Generation Into Simulation-Based Platforms: An Experience Report

Autoren: L.V. Sartori, J. Guiochet, H. Waeselynck, A.A. Berlanga Galvan, S. Hébert-Vernhes, M. Albert.
Veröffentlicht in: IEEE/ACM 3rd International Conference on Automation of Software Test (AST '22), 2022
Herausgeber: IEEE/ACM
DOI: 10.1145/3524481.3527236

Dynamic Risk Management for Safely Automating Connected Driving Maneuvers

Autoren: M. Grobelna, J-V. Zacchi, P. Schleiß, S. Burton
Veröffentlicht in: 17th European Dependable Computing Conference - EDCC 2021, 2021
Herausgeber: Springer
DOI: 10.1109/edcc53658.2021.00009

The Need For and How To Evaluate Continuous Wave Immunity of Wireless Systems used in V2X Applications

Autoren: Tim Claeys, Aleksandr Ovechkin, Dries Vanoost, Guy A. E. Vandenbosch, Davy Pissoort
Veröffentlicht in: 2020 International Symposium on Electromagnetic Compatibility - EMC EUROPE, 2020
Herausgeber: IEEE
DOI: 10.1109/emceurope48519.2020.9245766

Safety and Availability Considerations in a Triple Modular Redundant Time Diverse System with Over-Voltage Detection

Autoren: H. Tirmizi, J. Lannoo, D. Vanoost, G. A. E. Vandenbosch, D. Pissoort
Veröffentlicht in: IEEE Int. Symp. On Electromagnetic Compatibility & Signal/Power Integrity (EMCSI), 2022
Herausgeber: IEEE
DOI: 10.1109/emcsi39492.2022.9889507

Uncertainty Representation with Extended Evidential Networks for Modeling Safety of The Intended Functionality (SOTIF)

Autoren: Ahmad Adee, Peter Munk, Roman Gansch and Peter Liggesmeyer
Veröffentlicht in: ESREL2020, 2020
Herausgeber: RESEARCH PUBLISHING
DOI: 10.3850/978-981-14-8593-0_5737-cd

A Study of Electromagnetic Robustness of IO-Link Wireless and SmartMesh IP for Applications on an Agricultural Vehicle

Autoren: Aleksandr Ovechkin; Brian Leeman; Dries Vanoost; Tim Claeys; Marcel Verhoeven; Davy Pissoort
Veröffentlicht in: International Symposium on Electromagnetic Compatibility (EMC Europe), 2022
Herausgeber: IEEE
DOI: 10.1109/emceurope51680.2022.9901221

Requirements for the automated generation of attack trees to support automotive cybersecurity assurance

Autoren: Kacper J. Sowka, Luis-Pedro Cobos, Alastair R. Ruddle, Paul Wooderson
Veröffentlicht in: Proceedings of WCX SAE World Congress Experience, 2022
Herausgeber: SAE International
DOI: 10.4271/2022-01-0124

Automated Compositional Verification for Robotic State Machines using Isabelle/HOL

Autoren: Fang Yan , Simon Foster , Ibrahim Habli
Veröffentlicht in: THE 27TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, 2023
Herausgeber: Conference Publishing Services

Unifying Evaluation of Machine Learning Safety Monitors

Autoren: Joris Guerin, Raul Sena Ferreira, Kevin Delmas, Jeremie Guiochet
Veröffentlicht in: 2022 IEEE International Symposium on Software Reliability Engineering (ISSRE 2022), 2022
Herausgeber: IEEE
DOI: 10.1109/issre55969.2022.00047

Model-Based Generation of Hazard-Driven Arguments and Formal Verification Evidence for Assurance Cases

Autoren: Fang Yan, Simon Foster, Ibrahim Habli, Ran Wei
Veröffentlicht in: 10th International Conference on Model-Driven Engineering and Software Development, 2022
Herausgeber: SCITEPRESS
DOI: 10.5220/0010847300003119

System Theoretic View on Uncertainties

Autoren: Roman Gansch, Ahmad Adee
Veröffentlicht in: 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2020, Seite(n) 1345-1350, ISBN 978-3-9819263-4-7
Herausgeber: IEEE
DOI: 10.23919/date48585.2020.9116472

Multi-Target Tracking and Detection, fusing RADAR and AIS Signals using Poisson Multi-Bernoulli Mixture Tracking, in support of Autonomous Sailing

Autoren: T. Miao, E. El Amam, P. Slaets, D. Pissoort
Veröffentlicht in: International Naval Engineering Conference and Exhibition (iNEC 2020), 2020
Herausgeber: Institute of Marine Engineer, Science & Technology (IMarEST); Zenodo

Situation-Aware Model Refinement for Semantic Image Segmentation

Autoren: L. Habermayr, M. Hofbauer, J-V. Zacchi, C.B. Kuhn
Veröffentlicht in: 2021 IEEE International Intelligent Transportation Systems Conference (ITSC), 2021
Herausgeber: IEEE
DOI: 10.1109/itsc48978.2021.9564549

Application of an Automotive Assurance Case Approach to Autonomous Marine Vessel Security

Autoren: L-P. Cobos, T. Miao, K. Sowka, G. Madzudzo, A. R. Ruddle, E. El Amam
Veröffentlicht in: 2nd International Conference on Electrical, Computer, Communications and Mechatronics Engineering, 2022
Herausgeber: IEEE
DOI: 10.1109/iceccme55909.2022.9988376

Simulation-Based Testing to Improve Safety of Autonomous Robots

Autoren: Luca Vittorio Sartori
Veröffentlicht in: 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2019, Seite(n) 104-107, ISBN 978-1-7281-5138-0
Herausgeber: IEEE
DOI: 10.1109/issrew.2019.00053

Coverage based testing for V&V and Safety Assurance of Self-driving Autonomous Vehicles: A Systematic Literature Review

Autoren: Zaid Tahir, Rob Alexander
Veröffentlicht in: 2020 IEEE International Conference On Artificial Intelligence Testing (AITest), Ausgabe 3-6 Aug. 2020, 2020
Herausgeber: IEEE
DOI: 10.1109/aitest49225.2020.00011

Generation and Verification of Executable Assurance Case by Model-based Engineering

Autoren: Fang Yan
Veröffentlicht in: 2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2021
Herausgeber: IEEE
DOI: 10.1109/issrew53611.2021.00096

Designing Out-of-distribution Data Detection using Anomaly Detectors: Single Model vs. Ensemble

Autoren: D. Ugrenovic, J. Vankeirsbilck, D. Pissoort, T. Holvoet, J. Boydens
Veröffentlicht in: XXIX International Scientific Conference Electronics (ET) 2020, 2020
Herausgeber: IEEE
DOI: 10.1109/et50336.2020.9238227

Classification of Failures in the Perception of Conversational Agents (CAs) and Their Implications on Patient Safety

Autoren: H Aftab, SHH Shah, I Habli
Veröffentlicht in: Medical Informatics Europe (MIE2021), 2021
Herausgeber: IOS Press
DOI: 10.3233/shti210253

Towards classification trustworthiness: one-class classifier ensemble

Autoren: Dejana Ugrenovic; Jens Vankeirsbilck; Dries Vanoost; Chandrakanth R. Kancharla; Hans Hallez; Tom Holvoet; Jeroen Boydens
Veröffentlicht in: XXX International Scientific Conference Electronics, 2021
Herausgeber: IEEE
DOI: 10.1109/et52713.2021.9580016

Characterizing the Robustness of Wi-Fi and Bluetooth against Continuous Wave EM Disturbances inside a Reverberation Chamber

Autoren: Aleksandr Ovechkin; Tim Claeys; Dries Vanoost; John F. Dawson; Guy A. E. Vandenbosch; Davy Pissoort
Veröffentlicht in: IEEE International Joint EMC/SI/PI and EMC Europe Symposium, 2021
Herausgeber: IEEE
DOI: 10.1109/emc/si/pi/emceurope52599.2021.9559299

Cybersecurity assurance challenges for future connected and automated vehicles

Autoren: Luis-Pedro Cobos, Alastair R. Ruddle, Giedre Sabaliauskaite
Veröffentlicht in: Proceedings of the 31st European Safety and Reliability Conference (ESREL 2021), 2021, Seite(n) 2038-2045, ISBN 978-981-18-2016-8
Herausgeber: Research Publishing Services
DOI: 10.3850/978-981-18-2016-8_412-cd

Towards safety monitoring of ML-based perception tasks of autonomous systems

Autoren: Raul Sena Ferreira
Veröffentlicht in: 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2020
Herausgeber: IEEE
DOI: 10.1109/issrew51248.2020.00052

Pairwise Testing Revisited for Structured Data With Constraints

Autoren: L. V. Sartori, H. Waeselynck, J. Guiochet
Veröffentlicht in: The 16th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2023, 2023
Herausgeber: IEEE
DOI: 10.1109/icst57152.2023.00027

Benchmarking Safety Monitors for Image Classifiers with Machine Learning

Autoren: R.S. Ferreira, J. Arlat, J. Guiochet, H. Waeselynck
Veröffentlicht in: 26th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2021), 2021
Herausgeber: IEEE

A System’s Perspective on the Use of EMI Detection and Correction Methods in Safety Critical Systems.

Autoren: Claeys, T., Tirmizi, H., Habib, H., Vanoost, D., Vandenbosch, G., Pissoort, D
Veröffentlicht in: 2021 Joint IEEE Symposium on EMC+SIPI and EMC Europe, 2021
Herausgeber: IEEE Xplore

Discovery of Perception Performance Limiting Triggering Conditions in Automated Driving

Autoren: Ahmad Adee, Roman Gansch, Peter Liggesmeyer, Claudius Gläser and Florian Drews
Veröffentlicht in: ICSRS2021, 2021
Herausgeber: IEEE
DOI: 10.1109/icsrs53853.2021.9660641

Towards Collaborative Perception in Automated Driving: Combining Vehicle and Infrastructure Perspectives

Autoren: J-V. Zacchi, M. Trapp
Veröffentlicht in: CARS 2021 6th International Workshop on Critical Automotive Applications: Robustness & Safety, 2021
Herausgeber: HAL
DOI: 10.24406/publica-fhg-412554

Intersection focused Situation Coverage-based Verification and Validation Framework for Autonomous Vehicles Implemented in CARLA

Autoren: Zaid Tahir, Rob Alexander
Veröffentlicht in: MESAS 2021: Modelling and Simulation for Autonomous Systems, 2022
Herausgeber: Springer
DOI: 10.1007/978-3-030-98260-7_12

Safety Case Generation by Model-based Engineering: State of the Art and a Proposal

Autoren: Fang Yan, Simon Foster, Ibrahim Habli
Veröffentlicht in: The Eleventh International Conference on Performance, Safety and Robustness in Complex Systems and Applications 2021, 2021
Herausgeber: International Academy, Research, and Industry Association

The Emperor’s new clothes: a roadmap for conceptualizing the New Vehicle

Autoren: O. Dheu, C. Ducuing, P. Valcke
Veröffentlicht in: Revue Transidit, Ausgabe n°75, 2020, Seite(n) 12-19, ISSN 1254-8537
Herausgeber: IDIT

A Study on Selective Implementation Approaches for Soft Error Detection Using S-SWIFT-R

Autoren: Mohaddaseh Nikseresht, Jens Vankeirsbilck, Jeroen Boydens
Veröffentlicht in: Electronics, 2022, ISSN 2079-9292
Herausgeber: MDPI
DOI: 10.3390/electronics11203380

Overtrusting robots: Setting a research agenda to mitigate overtrust in automation

Autoren: A. M. Aroyo, J. De Bruyne, O. Dheu, E. Fosch-Villaronga, A. Gudkov, H. Hoch, S. Jones, C. Lutz, H. Sætra, M. Solberg and A. Tamò-Larrieux
Veröffentlicht in: Paladyn, Journal of Behavioral Robotics, 2021, Seite(n) 423-436, ISSN 2081-4836
Herausgeber: De Gruyter
DOI: 10.1515/pjbr-2021-0029

Resilience of Time Diversity Against Multiharmonic Electromagnetic Disturbances Under Reverberation Conditions: An Overview of Fault Mechanisms

Autoren: H. Tirmizi, J. Lannoo, D. Vanoost, T. Claeys, G. A. E. Vandenbosch, D. Pissoort
Veröffentlicht in: IEEE Transactions On Electromagnetic Compatibility; 2022; Vol. 64; iss. 3; pp. 1 - 9, 2022, ISSN 0018-9375
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/temc.2022.3147471

An improved real-time collision-avoidance algorithm based on Hybrid A* in a multi-object-encountering scenario for autonomous surface vessels

Autoren: T. Miao, E. El Amam, P. Slaets, D. Pissoort
Veröffentlicht in: OCEAN ENGINEERING, 2022, ISSN 1873-5258
Herausgeber: Elsevier
DOI: 10.1016/j.oceaneng.2022.111406

A Novel Method of Removing the Influence of Continuous Electromagnetic Wave Disturbances in OFDM Systems

Autoren: A. Ovechkin, T. Claeys, D. Vanoost, G. Vandenbosch, D. Pissoort
Veröffentlicht in: IEEE Transactions on Electromagnetic Compatibility, Ausgabe Vol. 64 no 2, 2022, Seite(n) 338-347, ISSN 0018-9375
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/temc.2021.3121167

Symbol Diversity as a Means to Make PAM-4 Modulation More Resilient in Harsh Electromagnetic Environments

Autoren: H. Tirmizi, D. Vanoost, J. Lannoo, G. A. E. Vandenbosch, D. Pissoort
Veröffentlicht in: IEEE Transactions On Electromagnetic Compatibility; 2022; Vol. 64; iss. 6; pp. 1949 - 1957, 2022, ISSN 0018-9375
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/temc.2022.3208447

Flying High for AI? Perspectives on EASA’s Roadmap for AI in Aviation

Autoren: I. Emanuilov, O. Dheu
Veröffentlicht in: Air and Space Law, Ausgabe Volume 46, issue 1, 2021, Seite(n) 1-28, ISSN 1875-8339
Herausgeber: Wolters Kluwer
DOI: 10.54648/aila2021001

Time and Symbol Diversity: Techniques for implementing Electromagnetic Resilience in Electrical/ Electronic/ Programmable Electronic Systems

Autoren: H. Tirmizi, D. Pissoort, G. Vandenbosch, D. Vanoost
Veröffentlicht in: 2023
Herausgeber: KU Leuven

Suche nach OpenAIRE-Daten ...

Leistungen

Veröffentlichungen

Diese Seite teilen

Herunterladen