This program is tentative and subject to change.

As automotive electronic architectures grow increasingly complex and software development costs escalate, AUTOSAR plays a critical role in standardizing and enhancing the reusability of automotive controllers. However, existing AUTOSAR application layer modeling tools, such as the Simulink AUTOSAR Blockset, primarily adopt causal modeling paradigms, which constrain flexibility in capturing intricate system interactions. Additionally, their proprietary nature limits model accessibility, hindering cross-platform collaboration and multi-domain integration. Modelica, an object-oriented, equation-based modeling language, is particularly well-suited for multi-domain simulations due to its acausal modeling capabilities and strong support for component reuse. This paper proposes a Modelica-based visual modeling approach for AUTOSAR application layer models. Specifically, it establishes encapsulation rule for representing AUTOSAR constructs in Modelica and develops an open-source AUTOSAR model library, facilitating industry collaboration and accelerating rapid prototyping. A formal mathematical representation of AUTOSAR models is introduced to enhance both expressiveness and verifiability. Furthermore, a structured visual modeling methodology is presented to lower the development barrier for AUTOSAR application layer modeling. Comparative analysis with Simulink’s AUTOSAR Blockset demonstrates that the proposed approach successfully integrates Modelica’s multi-domain modeling capabilities into the AUTOSAR workflow while ensuring simulation consistency with Simulink. To the best of our knowledge, this work represents the first integration of AUTOSAR within Modelica’s multi-domain simulation framework. Compared to Simulink, Modelica’s acausal modeling paradigm enables more flexible system representations, its open ecosystem supports cross-platform collaboration, and its multi-domain integration enhances interoperability. Beyond the automotive domain, the proposed approach can also be applied to controller design in other industries, highlighting its potential for cross-disciplinary applications.

This program is tentative and subject to change.

Thu 9 Oct

Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30
Session 7: Security, Validation, and Smart ContractsJournal-First / Research Papers at DCIH 507

Hybrid

11:00
18m
Talk
Modal Abstractions for Smart Contract ValidationArtifact Evaluated − ReusableArtifact Evaluated − FunctionalFTArtifacts Available@In Person
Research Papers
Javier Godoy Departamento de Computacion. FCEyN. UBA, Margarita Capretto IMDEA Software Institute and Universidad Politécnica de Madrid, Martin Ceresa Input Output -- IMDEA Software Institute, Juan Pablo Galeotti Universidad de Buenos Aires, Diego Garbervetsky Universidad de Buenos Aires, César Sánchez IMDEA Software Institute, Sebastian Uchitel Universidad de Buenos Aires / Imperial College
11:18
18m
Talk
Mining Frequent Structures in Conceptual ModelsRemote
Journal-First
Mattia Fumagalli Free University of Bozen-Bolzano, Tiago Prince Sales University of Twente, Pedro Paulo Barcelos , Giovanni Micale , Philipp-Lorenz Glaser Business Informatics Group, TU Wien, Dominik Bork TU Wien, Vadim Zaytsev University of Twente, Diego Calvanese , Giancarlo Guizzardi Universiteit Twente
DOI
11:36
18m
Talk
Visual Modeling and Simulation of AUTOSAR Application Layer Models Using ModelicaArtifact Evaluated − FunctionalPT@Remote
Research Papers
Peihao Yang Harbin Institute of Technology; Zhengzhou Research Institude, Harbin Institute of Technology, Tiantian Wang Harbin Institute of Technology, Ming Yang Harbin Institute of Technology, Xiaohong Su Harbin Institute of Technology
11:54
18m
Talk
Diagrammatic physical robot modelsRemote
Journal-First
DOI
12:12
18m
Talk
How fair are we? From conceptualization to automated assessment of fairness definitionsRemote
Journal-First
Giordano d'Aloisio University of L'Aquila, Claudio Di Sipio University of L'Aquila, Antinisca Di Marco University of L'Aquila, Davide Di Ruscio University of L'Aquila
DOI
Hide past events