Using TLA+ in the Development of a Safety-Critical Fault-Tolerant Middleware
Project: ENABLE-S3
Updated at: 29-04-2024
Resources
5627 items found
Formal Modelling Techniques for Efficient Development of Railway Control Products
Project: ENABLE-S3
Updated at: 29-04-2024
Recovering Markov Models from Closed-Loop Data
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
The sleepwalker framework: Verification and validation of autonomous vehicles by mixed reality LiDAR stimulation
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
Towards improved Validation of Autonomous Systems for Smart Farming
Project: ENABLE-S3
Updated at: 29-04-2024
Using Traffic Sequence Charts at the Development of HAVs
Project: ENABLE-S3
Updated at: 29-04-2024
Making (implicit) security requirements explicit for cyber-physical systems: A maritime use case security analysis
Project: ENABLE-S3
Updated at: 29-04-2024
Benchmarking and Functional Decomposition of Automotive Lidar Sensor Models
Project: ENABLE-S3
Updated at: 29-04-2024
Safety-Critical Control for Non-affine Nonlinear Systems with Application on Autonomous Vehicle
Project: ENABLE-S3
Updated at: 29-04-2024
Formal model validation through acceptance tests
Project: ENABLE-S3
Updated at: 29-04-2024
Direction-of-Arrival Estimation Using an ESPAR Antenna with Simplified Beam Steering
Project: ENABLE-S3
Updated at: 29-04-2024
Improved jamming resistance using electronically steerable parasitic antenna radiator
Project: ENABLE-S3
Updated at: 29-04-2024
Dynamic reconfiguration under RTEMS for fault mitigation and functional adaptation in SRAM-based SoPCs for space systems
Project: ENABLE-S3
Updated at: 29-04-2024
Functional discretization of space using Gaussian processes for road intersection crossing
Project: ENABLE-S3
Updated at: 29-04-2024
Classification of drivers manoeuvre for road intersection crossing with synthethic and real data
Project: ENABLE-S3
Updated at: 29-04-2024
Mutation-Based Test-Case Generation with Ecdar
Project: ENABLE-S3
Updated at: 29-04-2024
Model management tools for models of different domains: a systematic literature review
Project: ENABLE-S3
Updated at: 29-04-2024
Behaviour-Driven Formal Model Development
Project: ENABLE-S3
Updated at: 29-04-2024
A Hardware-Friendly Algorithm for the On-Board Compression of Hyperspectral Images
Project: ENABLE-S3
Updated at: 29-04-2024
Model-Based Mutation Testing of Real-Time Systems via Model Checking
Project: ENABLE-S3
Updated at: 29-04-2024
Simulation-Based Testing Framework for Autonomous Driving Development
Project: ENABLE-S3
Updated at: 29-04-2024
Hyperspectral Image Lossy Compression on a Reconfigurable and Fault-Tolerant Architecture Implemented over a COTS FPGA-B...
Project: ENABLE-S3
Updated at: 29-04-2024
Measurements revealing Challenges in Radar Sensor Modeling for Virtual Validation of Autonomous Driving
Project: ENABLE-S3
Updated at: 29-04-2024
Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3
Project: ENABLE-S3
Updated at: 29-04-2024
Class-Diagrams for Abstract Data Types
Project: ENABLE-S3
Updated at: 29-04-2024
Fault-tolerant topology and routing synthesis for IEEE time-sensitive networking
Project: ENABLE-S3
Updated at: 29-04-2024
A Composition Mechanism for Refinement-Based Methods
Project: ENABLE-S3
Updated at: 29-04-2024
Reusing Formal Models via Lifting
Project: ENABLE-S3
Updated at: 29-04-2024