20th Workshop on Automotive Software Engineering (ASE’23)

Software-based systems play an increasingly important role and enable most innovations in modern cars. This workshop will address various topics related to automotive software development. The participants will discuss appropriate methods, techniques, and tools needed to address the most current challenges for researchers and practitioners

Hydroelastic optimization of a keel fin of a sailing boat: a multidisciplinary robust formulation for ship design

The paper presents a formulation for multidisciplinary design optimization of vessels, subject to uncertain operating conditions. The formulation couples the multidisciplinary design analysis with the Bayesian approach to decision problems affected by uncertainty. In the present context, the design specifications are no longer given in terms of a single operating design point, but in terms of probability density function of the operating scenario. The optimal configuration is that which maximizes the performance expectation over the uncertain parameters variation. In this sense, the optimal solution is “robust” within the stochastic scenario assumed. Theoretical and numerical issues are addressed and numerical results in the hydroelastic optimization of a keel fin of a sailing yacht are presented

New Challenges in the Development of Critical Embedded Systems - An "aeromotive" Perspective.

During the last decades, embedded systems have become increasingly important in highly safety-critical areas such as power plants, medical equipment, cars, and aeroplanes. The automotive and avionics domains are prominent examples of classical engineering disciplines where conflicts between costs, short product cycles and legal requirements concerning dependability, robustness, security, carbon footprint and spatial demands have become a pressing problem. © 2010 Springer-Verlag

Seamless Testing for Models and Code

This paper describes an approach to model-based testing where a test suite is generated from a model and automatically concretized to drive an implementation. Motivated by an industrial project involving DO-178B compliant avionics software, where the models are UML activity diagrams and the implementation is ANSI C, we developed a seamless testing environment based on our test specification language FQL. We demonstrate how to apply FQL to activity diagrams in such a way that FQL test specifications easily translate from UML to C code. Our approach does not require any additional glue or auxiliary code but is fully automatic except for straightforward source code annotations that link source and model. In this way, we can check for modeled but unimplemented behavior and vice versa, and we can also evaluate the degree of abstraction between model and implementation. © 2011 Springer-Verlag