Formal methods encompass a wide choice of techniques and tools for the specification,
development, analysis, and verification of software and hardware systems. Formal methods …

In the automotive domain, the development of all safety-critical systems has to comply with
safety standards such as ISO 26262. These standards require established traceability, the …

The software architecture of any automotive system has to be decided well in advance of
production, so it is very desirable to assess its quality in order to obtain quick indications of …

Efficiently handling system variants is rising of importance in industry and challenges the
application of model-based systems engineering. This paper reveals the increasing …

The composition of different source artifacts is a fundamental mechanism for modularization
and reuse in many software languages and essential for separating distinct concerns and …

This paper presents an algorithm to automatically map code on a generic intelligent memory
system that consists of a host processor and a simpler memory processor. To achieve high …

In the modern automotive industry, feature models have been widely used as a domain-
specific requirements model, which can capture commonality and variability of a software …

Open-source software has numerous advantages over proprietary commercial-off-the-shelf
(COTS) software. However, there are modeling languages, tool chains, and tool frameworks …

Modeling and analysis of nonfunctional requirements is crucial in automotive systems. East-
adl is an architectural language dedicated to safety-critical automotive system design. We …

Due to rapid changes in the development of modern automotive systems, the involved
development methods, processes, and toolchains are constantly changed, modified, and …