calender
Date & Time
Search
Datum
{{range.dates[index].day}}
{{range.dates[index].date}}
Time
Mornings Noon Afternoons Evenings
  • from
  • to
  • o'clock
Topic
Event
Properties
{{item.name}}
{{item.name}}
Exhibition venue

(please choose the desired areas)

Lecture language
Format

Event database

The event database contains all event-related information for the digital electronica conference and supporting event program.

Back to the EventList

Enforcing concise and uniform model descriptions by automated architecture conformance checking

NOV
09
2020
09. NOV 2020

Lecture Embedded Forum > Tools & Software

11:40-12:00 h | Virtual

Architecture models serve as documentation of major architecture decisions and offer guidance for the planning of extensions to the software. Safety standards like ISO26262 require projects to develop an architecture model and to ensure that model and code are in sync. With increasing project complexity, the latter becomes difficult: changes to the code, e.g. during integration on a hardware platform, need to be reflected in the model. Without this feedback, the architectural model would no longer be a correct abstraction of the code. Manual checks of code/model discrepancies are time-consuming and incomplete. We introduce a workflow that uses static analysis tools to automate these checks. It automatically reports model deviations like missing dependencies and faulty activity diagrams and handles different meta-models by using graph transformations. Examples from the automotive industry show how the checks improve model quality.

Subjects: Embedded systems

Speaker: Andreas Gaiser (Axivion)

Type: Lecture

Speech: English

Architecture models serve as documentation of major architecture decisions and offer guidance for the planning of extensions to the software. Safety standards like ISO26262 require projects to develop an architecture model and to ensure that model and code are in sync. With increasing project complexity, the latter becomes difficult: changes to the code, e.g. during integration on a hardware platform, need to be reflected in the model. Without this feedback, the architectural model would no longer be a correct abstraction of the code. Manual checks of code/model discrepancies are time-consuming and incomplete. We introduce a workflow that uses static analysis tools to automate these checks. It automatically reports model deviations like missing dependencies and faulty activity diagrams and handles different meta-models by using graph transformations. Examples from the automotive industry show how the checks improve model quality.

Speaker,
Axivion

Andreas Gaiser

Andreas Gaiser

Axivion

Show Profile

Informations

Speaker,
Axivion

Andreas Gaiser
Andreas Gaiser
Senior Research & Development Engineer

Location

Eingang
Nord-West
ICM
Eingang
Nord
Eingang
West
Atrium
Eingang
Nord-Ost
Eingang
Ost
Conference
Center Nord
Freigelände
C1
C2
C3
C4
C5
C6
B0
B1
B2
B3
B4
B5
B6
A1
A2
A3
A4
A5
A6

More Events