Visual Modeling and Simulation of AUTOSAR Application Layer Models Using Modelica
PT
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 OctDisplayed 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 18mTalk | Modal Abstractions for Smart Contract Validation 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 18mTalk | Mining Frequent Structures in Conceptual Models 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 18mTalk | Visual Modeling and Simulation of AUTOSAR Application Layer Models Using Modelica 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 18mTalk | Diagrammatic physical robot models Journal-First Alvaro Miyazawa , Sharar Ahmadi , Ana Cavalcanti University of York, James Baxter , Mark Post , Pedro Ribeiro University of York, UK, Jon Timmis , Thomas Wright DOI | ||
12:12 18mTalk | How fair are we? From conceptualization to automated assessment of fairness definitions 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 |