MODELS 2024
Sun 22 - Fri 27 September 2024 Linz, Austria

This program is tentative and subject to change.

Wed 25 Sep 2024 15:03 - 15:21 at HS 7 - Applications (1) Chair(s): Nelly Bencomo

To achieve rigorous certification of autonomous vehicles (AVs), testing approaches must handle all possible, practically relevant traffic scenarios. This is achievable through the handling of relevant abstractions within the scenario specification language and throughout the scenario generation process. While many scenario generation approaches exist, they are often limited to generating instances of a fixed (pre-defined) scenario and lack tool support. In this paper, we introduce Concretize, a model-driven AV testing framework. It (1) allows users to define scenario specifications using an abstract domain-specific language, and (2) generates conforming concrete (exact) scenarios, which are (3) visualized via a user-friendly web interface. Scenarios are also (4) executed in simulation, in which case Concretize (5) auto-generates figures depicting the monitored safety behavior of the AV-under-test wrt. scenario components at various abstraction levels. Video demonstration: https://youtu.be/inaD8jd7YxI.

This program is tentative and subject to change.

Wed 25 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:45
Applications (1)Tools and Demonstrations / Technical Track at HS 7
Chair(s): Nelly Bencomo Durham University
14:00
18m
Talk
Meta-Modelling KindnessFT
Technical Track
Faeq Alrimawi Lero - the Science Foundation Ireland Research Centre for Software, Bashar Nuseibeh The Open University, UK
14:21
18m
Talk
Mutation Testing of Java Bytecode: A Model-Driven ApproachPT
Technical Track
14:42
18m
Talk
IMP-Logics: a metamodel for analysis and transformations of Datalog programs
Tools and Demonstrations
José Francisco Crespo Universitat Politècnica de Catalunya, Martí Juanola I Ametller Universitat Politècnica de Catalunya, Xavier Oriol Universitat Politècnica de Catalunya, Martí Recalde Universitat Politècnica de Catalunya, Ernest Teniente Universitat Politècnica de Catalunya, Spain
15:03
18m
Talk
Concretize: A Model-Driven Tool for Scenario-Based Autonomous Vehicle Testing
Tools and Demonstrations
Jerry Hou-Liu McGill University, Zhekai Jiang EPFL / McGill University, Aren Babikian McGill University
15:24
12m
Talk
Towards Automated Test Scenario Generation for Assuring COLREGs Compliance of Autonomous Surface VehiclesFTVISION
Technical Track
Ulf Kargén , Daniel Varro Linköping University / McGill University