Reconstructing timed symbolic traces from rtioco -based timed test sequences using backward-induction
Project: MegaMaRt2
Updated at: 29-04-2024
Resources
5627 items found
Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL
Project: MegaMaRt2
Updated at: 29-04-2024
Short and long distance marker detection technique in outdoor and indoor environments for embedded systems
Project: MegaMaRt2
Updated at: 29-04-2024
Using Timed Base-Choice Coverage Criterion for Testing Industrial Control Software
Project: MegaMaRt2
Updated at: 29-04-2024
MegaM@Rt design tool set guidelines - final version
Project: MegaMaRt2
Updated at: 29-04-2024
Methodology and guidelines for Model Management & Traceability
Project: MegaMaRt2
Updated at: 29-04-2024
MegaM@Rt Runtime Analysis tool set - final version
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
Safety Verification Of ADAS By Collision-free Boundary Searching Of A Parameterized Catalog
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
Setting up an autonomous hyperspectral flying platform for precision agriculture (Conference Presentation)
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
On-line Maneuver Identification in Highway Traffic Using Elastic Template Matching
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
A Novel Implementation of a Hyperspectral Anomaly Detection Algorithm For Real Time Applications With Pushbroom Sensors
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
Timing Analysis of AVB Traffic in TSN Networks Using Network Calculus
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
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
A novel calibration method for RSS-based DoA estimation using ESPAR antennas
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
Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving
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