MegaM@Rt Runtime Analysis tool set - final version
Project: MegaMaRt2
Updated at: 29-04-2024
Resources
5625 items found
Methodology and guidelines for Model Management & Traceability
Project: MegaMaRt2
Updated at: 29-04-2024
Dissemination and Exploitation Report - final version
Project: MegaMaRt2
Updated at: 29-04-2024
Stimulator for manipulating ultrasonic distance measuring systems based on transit time measurement
Project: ENABLE-S3
Updated at: 29-04-2024
Autonomous highway pilot using Bayesian networks and hidden Markov models
Project: ENABLE-S3
Updated at: 29-04-2024
ENABLE-S3 – Advanced V&V technologies and methods combined with simulation and testing environments enable the safe an...
Project: ENABLE-S3
Updated at: 29-04-2024
Contributions of the EU Projects UnCoVerCPS and Enable-S3 to Highly Automated Driving in Conflict Situations
Project: ENABLE-S3
Updated at: 29-04-2024
Modular test bench for complete vehicles ready to drive – Steering Module
Project: ENABLE-S3
Updated at: 29-04-2024
Fault tree-based Derivation of Safety Requirements for Automated Driving on the Example of cooperative Valet Parking
Project: ENABLE-S3
Updated at: 29-04-2024
On-line Maneuver Identification in Highway Traffic Using Elastic Template Matching
Project: ENABLE-S3
Updated at: 29-04-2024
X-in-the-loop advanced driving simulation platform for the design,development, testing and validation of ADAS
Project: ENABLE-S3
Updated at: 29-04-2024
Safety Verification Of ADAS By Collision-free Boundary Searching Of A Parameterized Catalog
Project: ENABLE-S3
Updated at: 29-04-2024
A Novel Implementation of a Hyperspectral Anomaly Detection Algorithm For Real Time Applications With Pushbroom Sensors
Project: ENABLE-S3
Updated at: 29-04-2024
Hardware Implementation of the CCSDS 123.0-B-1 Lossless Multispectral and Hyperspectral Image Compression Standard by me...
Project: ENABLE-S3
Updated at: 29-04-2024
Timing Analysis of AVB Traffic in TSN Networks Using Network Calculus
Project: ENABLE-S3
Updated at: 29-04-2024
Maneuver-based Adaptive Safety Zone for Infrastructure-Supported Automated Valet Parking
Project: ENABLE-S3
Updated at: 29-04-2024
Combined Scheduling of Time-Triggered and Priority-Based Task Sets in Ravenscar
Project: ENABLE-S3
Updated at: 29-04-2024
Setting up an autonomous hyperspectral flying platform for precision agriculture (Conference Presentation)
Project: ENABLE-S3
Updated at: 29-04-2024
Formal Modelling Techniques for Efficient Development of Railway Control Products
Project: ENABLE-S3
Updated at: 29-04-2024
Model-based, mutation-driven test case generation via heuristic-guided branching search
Project: ENABLE-S3
Updated at: 29-04-2024
Compact antenna for digital beamforming with software defined radios
Project: ENABLE-S3
Updated at: 29-04-2024
Using TLA+ in the Development of a Safety-Critical Fault-Tolerant Middleware
Project: ENABLE-S3
Updated at: 29-04-2024
Investigation of continuous wave jamming in an IEEE 802.15.4 network
Project: ENABLE-S3
Updated at: 29-04-2024
Recovering Markov Models from Closed-Loop Data
Project: ENABLE-S3
Updated at: 29-04-2024
The sleepwalker framework: Verification and validation of autonomous vehicles by mixed reality LiDAR stimulation
Project: ENABLE-S3
Updated at: 29-04-2024
Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving
Project: ENABLE-S3
Updated at: 29-04-2024
A Feasible MPC-Based Negotiation Algorithm for Automated Intersection Crossing *
Project: ENABLE-S3
Updated at: 29-04-2024
Scenario-Based Functional Safety for Automated Driving on the Example of Valet Parking
Project: ENABLE-S3
Updated at: 29-04-2024
Traffic Participants in the Loop: A Mixed Reality-Based Interaction Testbed for the Verification and Validation of Auton...
Project: ENABLE-S3
Updated at: 29-04-2024
Validation of a Real-Time Geometry-Based Stochastic Channel Model for Vehicular Scenarios
Project: ENABLE-S3
Updated at: 29-04-2024