Hardware-Software allocation specification of IMA systems for early simulation

Budapest University of Technology and EconomicsDepartment of Measurement and Information Systems

Hardware-Software Allocation Specification of IMA Systems For Early

SimulationÁkos Horváth, Ábel Hegedüs, Márton Búr and Dániel Varró

BMERodrigo R. Starr and Samoel Mirachi

Embraer

DASC 2014

Overview of the Talk

Goals Overview Key Enabling Technologies

Next Steps and Future Directions

Other Contributors András Ökrös István Ráth Zoltán Ujhelyi Ákos Menyhért Lincoln de Oliveira Campos Nascimento

Goals to achieveOn what abstraction level are we working



HW-SW allocation

Aft Zone

ForwardZone

Flight DeckAir

Conditioning panel

System Display

Zone Controller

Pack Controller

Pack

Pack

Pack Controller

PackController

ZoneController

SW functions

System Display

AirCondPanel

Supply fresh airSupply hot air

Monitor temperature

Set temperature

FederatedRTOS

Functions to partition allocation – User-Driven

PackController

ZoneController Aft Zone

ForwardZone

Flight DeckAir

Conditioning panel

System Display

Zone Controller

Pack Controller

Pack

Pack

Pack Controller

SW functions

System Display

AirCondPanel

1

5

3

6

Partitions

ARINC 653RTOS

Constraints

Only one function per partition

2

4

FederatedRTOS

Functions to partition allocation – User-Driven

PackController

ZoneController Aft Zone

ForwardZone

Flight DeckAir

Conditioning panel

System Display

Zone Controller

Pack Controller

Pack

Pack

Pack Controller

SW functions

System Display

AirCondPanel

1

5

3

6

Partitions

ARINC 653RTOS

Constraints

2

4

Modify HW architecture for more

resources

Allocating communication channels – Semi-automatedSW functionality

1

2

6

4

3

5

HW Communication channels

Aft Zone

ForwardZone

Flight DeckAir

Conditioning panel

System Display

Zone Controller

Pack Controller

Pack

Pack

Pack Controller

PackController

ZoneController

System Display

AirCondPanel

AFDX

ARINC 429

ARINC 653 ports

All paths are calculated

Selection based on weight functions

Overview: TRANS-IMA Project



Overview of the TRANS-IMA project

A tool to allocate system functionalities to different HW platforms using model-driven development techniqueso Early validation:

Find design flaws as early as possible• Directly on model level• Simulating the IAM in Simulink

o Model Transformation: Generate• Communication paths• Integrated Architecture Model

o Traceability: Complex traceability links as models

o Integrated Development Environment: Eclipse based

o Tool Integration: MATLAB Simulink – Eclipse

Functional Architecture

Model

Platform Description

Model

Component Library

Allocation

Integrated Architecture

Model

“Study and development of Model Transformation (MT) methods applied to the design of Integrated Modular Avionics Systems” Knowledge + Techn. Readiness

Design of HW-SW allocationInputs: (Simulink)• Functional Architecture Model (FAM)•Simple Component Library (Simulink library)• Automated import

Output: • Integrated HW/SW model

• ready for simulation in Matlab • End-to-end traceability links


Model


Model

Component Library

Allocation


Model

Allocation: • Reuses existing Simulink models• Generates required simulation elements • Batch model transformation

Tooling: (Eclipse)• Platform Descr. Model (PDM) Editor• Extensibility by plug-in infrastructure

Model Driven Development of HW-SW allocationAllocation steps: • Designer-guided manual steps• Automated steps:

• Communication channels calculation

• Integrated Architecture Model• Continuous validation of design rules

Capture constraints

Explore alternatives

Human decision

Automate consequences


Model


Model

Component Library

Allocation


Model

Key Enabling Technologies:Eclipse based approach



Overview: MDD Infrastructure

Model Driven Development = Languages, Models and Transformations

Modeling Languages

(EMF)

Model Queries

(EMF-IncQuery)

Model Transformations

(VIATRA)

MDD Infrastructure: Eclipse Modeling Framework

A tool to allocate system functionalities to IMA platforms using model-driven development techniqueso Early validation:

Find design flaws as early as possibleo Model Transformation: Generate

• Communication channels• Integrated Architecture Model


o Open source technologies: Evaluation of Eclipse framework


Eclipse Modeling Framework (EMF):

• open source platform• model representation & dev.tools• for domain-specific langauges


Model


Model

Component Library

Allocation


Model

Eclipse Modeling Framework


Matlab Simulink

Matlab Simulink


ComponentLibraryModel

Component Library

Integrated Arch. Model


Model


Model

Allocation Specification

import

InstanceOf

transform

import

uses

uses

transform

Traceability Document



Matlab Simulink

Matlab Simulink


ComponentLibraryModel

Component Library

Integrated Arch. Model


Model


Model

Allocation Specification

import

InstanceOf

transform

import

uses

uses

transform

Traceability Document

Value for Users:• Helps avoid vendor lock-in• Knowledge based tool integration• Future integration with open standard simulation techniques (Modelica)

Technical Advantages of EMF:• Open source modeling standard for (Eclipse based) modeling tools• Design metamodel auto-generate interface, implementation, editor…• Examples: UML, AADL, SysML, BPMN, AUTOSAR

17

Customizable views for EMF modelGoal: Hide irrelevant information from detailed models

PilotControl

SubS1

Navigation

FMS

SubS2

EMS

tag: func

tag: func

tag: func

tag: func

InPort/OutPort

Simulink

Id

Id Other SubSystem without tag

Function SubSystem with "func" tag)

Port Blocks

View

View: • Defined by queries• Navigable as a model• Maintained

Incrementally + Immediately

18

Customizable views for EMF modelGoal: Hide irrelevant information from detailed models

PilotControl

SubS1

Navigation

FMS

SubS2

EMS

tag: func

tag: func

tag: func

tag: func

InPort/OutPort

Simulink

Id

Id Other SubSystem without tag

Function SubSystem with "func" tag)

Port Blocks

View

View: • Defined by queries• Navigable as a model• Maintained

Incrementally + Immediately

EMF-IncQuery Viewers:• Capture visualization rules as

model queries• Incremental update of rules over large models• Layouting based on industry leader yWorks libraries

Value for Users:• Custom views extendable by domain experts• Reusable visualization module• Integration to EMF-based tools (UML, SysML, AADL, TOPCASED)

MDD Infrastructure: Model Queries


Model


Model

Component Library

Allocation


Model







EMF-IncQuery (open source)• model queries for design constraints• incremental eval. over EMF models• violations immediately reported• supports dynamic model synchronization

Early validation of design rules/constraintsInput-to-Input port connection design rule


@Constraint(severity = "error", location

= conn,

message = "Both ports of $conn.name$ are

inputs!")

pattern incorrectInputToInputPortConnect

ion(conn){

find directPortConnection(p, op, conn)

;

CommunicationPort.direction(p, ::Input

);

CommunicationPort.direction(op, ::Inpu

t);}


On-the-fly validation

Erroneous model element selection

Integrated into Problems view

EMF-IncQuery approach:• Capture design constraints as model queries• Incremental re-validation of constraints over large models (>100k)• Immediate error reporting

Value for Users:• Design constraints extendable by domain experts•Definition of structural constraints• Reusable validation library• Integration to EMF-based tools (UML, SysML, AADL, TOPCASED)

Traceability based on queries Model-based Traceability

o Complex M-N traceabilityo Traceability models

• Automated generation• Automated maintenance

both based on query technology

o Auto-generate traceability document/matrix (AIR 6110)

o OSLC based integration

TRACEBILITY MO

DEL


Model


Model

Component Library

Allocation

Integrated System Model







MDD Infrastructure: Model Transformations


Model


Model

Component Library

Allocation


Model

Role of Model Transformations: • rule based generate&merge• automated synthesis of traceability links


Role of model transformations: Synthesis Complex MT:

o „Merge and extend”o Output Simulink model:

• Use FAM and PDM as is• Generate allocation parts

o Smooth integration with Simulink

• Reuse available models• Bus handling

Used open source technologieso Xtendo EMF-IncQuery + Viatra

Functional Architecture[Simulink]

ComponentLibrary

[EMF Model]

Component Library

[Simulink]

Allocation Specific Parts

[Simulink]


[EMF Model]

Functional Architecture[EMF Model]

Allocation Specification[EMF Model]

import

Platform Description[Simulink]

import

InstanceOf uses

uses

transform


Goals

Overview

Key Enabli

ng Technologies

Next Steps and

Future Directio

ns

Summary and Future Directions

A tool to allocate system functionalities to IMA platforms using model-driven development techniques

Future directionso Semi-automated allocationo Polarsys initiative

• Long term support for open source technologies

• EMF-Simulink bridgeo Standalone OSLC based traceability

framework


Model


Model

Component Library

Allocation


Model

“Study and development of Model Transformation (MT) methods applied to the design of Integrated Modular Avionics Systems” Knowledge + Techn. Readiness

Hardware-Software allocation specification of IMA systems for early simulation

Software

Transcript of Hardware-Software allocation specification of IMA systems for early simulation