Resources
Verifying Collision Risk Estimation using Autonomous Driving Scenarios Derived from a Formal Model
Project: ArchitectECA2030
Updated at: 28-02-2024
Ethical Considerations and TrustworthyIndustrial AI Systems
Project: ArchitectECA2030
Updated at: 28-02-2024
Report on requirements and targets for fault detection in acquisition and perception
Project: ArchitectECA2030
Updated at: 28-02-2024
Project website: web portal established and operating
Project: ArchitectECA2030
Updated at: 28-02-2024
A Passive Testing Approach using a Semi-Supervised Intrusion Detection Model for SCADA Network Traffic
Project: ArchitectECA2030
Updated at: 28-02-2024
Monitoring Hierarchical Systems for Safety Assurance
Project: ArchitectECA2030
Updated at: 28-02-2024
Automated Transition Coverage in Behavioural Conformance Testing
Project: ArchitectECA2030
Updated at: 28-02-2024
Impact of Temperature Cycling Conditions on Board Level Vibration for Automotive Applications
Project: ArchitectECA2030
Updated at: 28-02-2024
Bits, Flips and RISCs
Project: ArchitectECA2030
Updated at: 28-02-2024
Smart Monitoring for Safety-Assurance in Autonomous Driving
Project: ArchitectECA2030
Updated at: 28-02-2024
Wireless Threats Against V2X Communication
Project: ArchitectECA2030
Updated at: 28-02-2024
Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles
Project: ArchitectECA2030
Updated at: 28-02-2024
Brno urban dataset: Winter extension
Project: ArchitectECA2030
Updated at: 28-02-2024
Report on requirements for fault detection in actuators and propulsion systems
Project: ArchitectECA2030
Updated at: 28-02-2024
Standardization survey on standards involvement, technologies concerned, and plan
Project: ArchitectECA2030
Updated at: 28-02-2024
Report on requirements and targets of an overall system monitoring device
Project: ArchitectECA2030
Updated at: 28-02-2024
Report on requirements and specifications for residual risk in connectivity systems
Project: ArchitectECA2030
Updated at: 28-02-2024
Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing
Project: ArchitectECA2030
Updated at: 28-02-2024
Java2CSP debugging tool utilizing constraint solving and model-based diagnosis principles
Project: ArchitectECA2030
Updated at: 28-02-2024
Real-Time Autonomous Vehicle Sensor Performance Assessment in Adverse Weather Conditions
Project: ArchitectECA2030
Updated at: 28-02-2024
A Generic Risk Assessment Methodology and its Implementation as a Run-time Monitoring Device for Automated Vehicles
Project: ArchitectECA2030
Updated at: 28-02-2024
Analysing Residual Risks when Introducing Monitoring and Diagnosis into Systems
Project: ArchitectECA2030
Updated at: 28-02-2024
ViF-GTAD: A new automotive dataset with ground truth for ADAS/AD development, testing, and validation
Project: ArchitectECA2030
Updated at: 28-02-2024
Fast and Accurate Model-Driven FPGA-based System-Level Fault Emulation
Project: ArchitectECA2030
Updated at: 28-02-2024
Which Components to Blame? Integrating Diagnosis into Monitoring of Technical Systems
Project: ArchitectECA2030
Updated at: 28-02-2024
Applying CT-FLA for AEB Function Testing:A Virtual Driving Case Study
Project: ArchitectECA2030
Updated at: 28-02-2024
A novel approach to model exploration for value function learning
Project: NewControl
Updated at: 28-02-2024