1

System Architecture Virtual Integration

presentation

SAVI EPoCD DEMO WG SAVI-AFE59-03-011Finite Element Modelling (FEM) plug-in- SAVI Model Data Exchange Layer (DEL) / Model Repository Demonstration

2

FEM plug-in Demonstration – Aims (1)

1. To enable the demonstration of System Behavior Verification using SAVI EPoCD Model Repository based models.

3

FEM plug-in Demonstration – Aims (2)

2. To demonstrate ”Option 1”1 tool integration - Standard Exten-sion of the SAVI EPoCD Architecture Framework language (AADL) meta model.

1. SAVI-AFE59-02-002 SAVI Model Bus Requirements

Meta Model Standard Extension Option (“1”)

4

FEM plug-in Demonstration – Aims (3)

3. To enable the demonstration of Model Interchange via the SAVI EPoCD Model Data Exchange Layer.

5

FEM plug-in Demonstration – Method (1)

• Import and translation of a tool-specific file.

– from the Requirement

• Example FEM tool (LISA) plain-text analysis definition

6

FEM plug-in Demonstration – Method (2)

• Translation to AADL, to become part of the Architectural Framework model.

• Annex mechanism not appropriate– only one Annex clause per model component.

• Model-as-Data-Subcomponent better suited:– multiple subcomponents.

• Simply requires Property Set definition.

• Could do with AADL 2 records though!

7

property set LISA is MS: aadlreal applies to (data); SIZE: aadlinteger applies to (data); -- NMODE: aadlinteger applies to (data); NFHG: aadlinteger applies to (data); NKMST: aadlinteger applies to (data); YM: aadlreal applies to (data); PR: aadlreal applies to (data); RHO: aadlreal applies to (data); NS0: aadlinteger applies to (data); NV0: aadlinteger applies to (data); M: aadlinteger applies to (data); XS0: list of aadlreal applies to (data); XD0: list of aadlreal applies to (data); ZETA: list of aadlreal applies to (data); LoadSteps: list of aadlstring applies to (data); IterationVectors: list of aadlstring applies to (data); : : etc. :end LISA;

property set FEM is ToolName: aadlstring applies to (data); StructureModel: aadlstring applies to (data); AnalysisModel: aadlstring applies to (data); Results: list of aadlstring applies to (data); -- Name: aadlstring applies to (data); AnalysisType: aadlinteger applies to (data); -- Title: aadlstring applies to (data); NNGES: aadlinteger applies to (data); Nodes: list of aadlstring applies to (data); NEGES: aadlinteger applies to (data); Elements: list of aadlstring applies to (data); NFIX: aadlinteger applies to (data); Constraints: list of aadlstring applies to (data); NLOAD: aadlinteger applies to (data); Loads: list of aadlstring applies to (data); -- ResponseNodes: list of aadlinteger applies to (data);end FEM;

FEM plug-in Demonstration – Method (3)• Property Set definitions are a standard AADL

extension mechanism:– Two Property Sets defined:

2. LISA tool-specific properties.1. Common FEM properties.

8

FEM plug-in Demostration – Method (4)

• Set of operations defined and modeled, …Green operations are performed by

the base FEM tool…Yellow operations are implemented by the FEM plug-in…

Basic operations modeled by Use Cases…

…and Sequence Diagrams.

9

FEM plug-in Demonstration – Method (5)• … and implemented using

(stub-level) code generation…

Java plug-in codegen UML

Classes modeled in UML …

…coded directly to Java classes.

And all within the SAVI EPoCD Model Bus /

Model Repository environment!

10

FEM plug-in Demonstration – Method (6)

• The FEM plug-in provides menus to effect the translations and invoke the analysis:

– from the Requirements…

Not implemented for the EPoCD…

11

FEM plug-in Demonstration – The Video

Play video now

12

FEM plug-in Demonstration – Summary• FEM Analysis definition created

in the tool (1).• The FEM plug-in, acting as a

Model Data Exchange Layer com- ponent, (2) translates tool specific input to(1) AADL (3) in the Architec-tural Framework model held in theModel Repository.

• The AADL can be checked-out toboth Supplier (4) and Integrator(6).

• Because the FEM plug-in acts asan “Option 1” component, noexplicit Model DEL translation (5)is required. Changes made andcommitted by the one areimmediately available to theother…

• The FEM plug-in, again acting asa Model DEL component (7),translates the AADL (3) to toolspecific output (8) for performing the analysis.

• Results produced by the analysis tool (9) are likewise captured by the FEM plug-in, acting as a Model DEL component (10), for display (11).

13

Safety Demonstration – The Video

Play video now