A journey with ASMETA from requirements to code: application to an automotive system with adaptive features

P Arcaini, S Bonfanti, A Gargantini, E Riccobene… - International Journal on …, 2024 - Springer
Modern automotive systems with adaptive control features require rigorous analysis to
guarantee correct operation. We report our experience in modeling the automotive case …

Modelling an automotive software-intensive system with adaptive features using ASMETA

P Arcaini, S Bonfanti, A Gargantini, E Riccobene… - … Conference on Rigorous …, 2020 - Springer
In the context of automotive domain, modern control systems are software-intensive and
have adaptive features to provide safety and comfort. These software-based features …

Using the SCADE toolchain to generate requirements-based test cases for an adaptive cruise control system

A Aniculaesei, A Vorwald… - 2019 ACM/IEEE 22nd …, 2019 - ieeexplore.ieee.org
In the last years, model-driven engineering has gained a lot of traction, especially in
industrial domains, such as automotive or avionics. Various tools which support model …

Achieving determinism in adaptive AUTOSAR

C Menard, A Goens, M Lohstroh… - … Design, Automation & …, 2020 - ieeexplore.ieee.org
AUTOSAR Adaptive Platform (AP) is an emerging industry standard that tackles the
challenges of modern auto-motive software design, but does not provide adequate …

Model interpretation for an AUTOSAR compliant engine control function

SM Sundharam, S Altmeyer, N Navet - 7th International Workshop on …, 2016 - orbilu.uni.lu
Model-Based Development (MBD) is a common practice in the automotive industry to
develop complex software, for instance, the control software for automotive engines, which …

Model-driven aspect-specific systems engineering in the automotive domain

R Maschotta, M Hammer, T Jungebloud… - … on Recent Advances …, 2021 - ieeexplore.ieee.org
The design and development of modern automobiles have become a big challenge for the
automotive industry. The complexity of automotive hard-and software systems constantly …

Modelling an automotive software system with TASTD

D de Azevedo Oliveira, M Frappier - International Conference on Rigorous …, 2023 - Springer
At the ABZ2020 Conference, the case study track proposed to model an Adaptive Exterior
Light System and a Speed Control System: the former controls different exterior lights of a …

Model transformations for migrating legacy deployment models in the automotive industry

GMK Selim, S Wang, JR Cordy, J Dingel - Software & Systems Modeling, 2015 - Springer
Many companies in the automotive industry have adopted model-driven development in
their vehicle software development. As a major automotive company, General Motors (GM) …

Transferring a model-based development methodology to the automotive industry

A Bucaioni, V Dimic, M Gålnander… - 2021 22nd IEEE …, 2021 - ieeexplore.ieee.org
This paper reports on our experience in transferring an academic model-based
methodology for the development of automotive software systems into an industrial …

Towards model-based generation and optimization of AUTOSAR runnable-to-task mapping

T Wilhelm, R Weber - 2019 ACM/IEEE 22nd International …, 2019 - ieeexplore.ieee.org
In this paper we present work towards automating two process steps supporting the
optimization of the runnable-to-task mapping in automotive multi-core control units. We …