Multi-Paradigm Modelling for Cyber-Physical Systems
As an active member of the Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS) COST action from 2015 until its end in 2019, I had the opportunity to expand my scientific network, get to know other researchers in the field and learn about other aspects of systems modelling. I participated in various activities such as
the DSM-TP Summer School on Domain-Specific Modelling in Geneva, and several other meetings and workshops (e.g. in Malaga and Paris).
I also had the chance to participate in a Short-Term Scientific Mission (STSM) where I spent one week at Telecom ParisTech and contributed significantly to the creation of a catalog on cyber-physical systems formalisms, languages and tools.
Since the Action
Since participating in the MPM4CPS COST Action, I joined the program committee of the annual MPM4CPS workshop.
Currently, most existing approaches for the design of Automated Driving Systems (ADS) scenarios focus on the description at one particular abstraction level — typically the most detailed one. This practice often removes information at higher levels, such that this data has to be re-synthesized if needed. As the abstraction granularity should be adapted to the task at hand, however, engineers currently have the choice between re-calculating the needed data or operating on the wrong level of abstraction. For instance, the search in a scenario database for a driving scenario with a map of a given road-shape should abstract over the lane markings, adjacent vegetation, or weather situation. Often though, the general road shape has to be synthesized (e.g. interpolated) from the precise GPS information of road boundaries. This paper outlines our vision for multi-level ADS scenario models that facilitate scenario search, generation, and design. Our concept is based on the common modelling philosophy to interact with scenarios at the most appropriate abstraction level. We identify different abstraction levels of ADS scenarios and suggest a template abstraction hierarchy. Our vision enables seamless traversal to such a most suitable granularity level for any given scenario, search and modelling task. We envision that this approach to ADS scenario modelling will have a lasting impact on the way we store, search, design, and generate ADS scenarios, allowing for a more strategic verification of autonomous vehicles in the long run.
@inproceedings{KlikovitsA2021MPM4CPS,title={On the Need for Multi-Level {ADS} Scenarios},author={Klikovits, Stefan and Arcaini, Paolo},booktitle={3rd International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS'21)},series={MODELS'21},publisher={ACM},year={2021},month=oct,pages={322-326},doi={10.1109/MODELS-C53483.2021.00054},}
COST IC1404 WG1 Deliverable WG1.1: State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development
Stefan Klikovits, Rima Al-Ali, Moussa Amrani, Ankica Barisic, Fernando Barros, and 10 more authors
@misc{klikovits_stefan_2019_2538711,author={Klikovits, Stefan and Al-Ali, Rima and Amrani, Moussa and Barisic, Ankica and Barros, Fernando and Blouin, Dominique and Borde, Etienne and Buchs, Didier and Giese, Holger and Goulao, Miguel and Iacono, Mauro and Leon, Florin and Navarro, Eva and Pelliccione, Patrizio and Vanherpen, Ken},title={{COST IC1404 WG1 Deliverable WG1.1:
State-of-the-art on Current Formalisms used
in Cyber-Physical Systems Development}},month=jan,year={2019},doi={10.5281/zenodo.2533455},url={https://doi.org/10.5281/zenodo.2533455},}
COST IC1404 WG1 Deliverable WG1.2: Framework to Relate / Combine Modeling Languages and Techniques
Rima Al-Ali, Moussa Amrani, Soumyadip Bandyopadhyay, Ankica Barisic, Fernando Barros, and 10 more authors
@misc{al_ali_rima_2019_2527577,author={Al-Ali, Rima and Amrani, Moussa and Bandyopadhyay, Soumyadip and Barisic, Ankica and Barros, Fernando and Blouin, Dominique and Erata, Ferhat and Giese, Holger and Iacono, Mauro and Klikovits, Stefan and Navarro, Eva and Pelliccione, Patrizio and Taveter, Kuldar and Tekinerdogan, Bedir and Vanherpen, Ken},title={{COST IC1404 WG1 Deliverable WG1.2:
Framework to Relate / Combine
Modeling Languages and Techniques}},month=jan,year={2019},doi={10.5281/zenodo.2527576},url={https://doi.org/10.5281/zenodo.2527576},}