TIMMO WP2 TADL Timing Augmented Description Language Open Workshop Hans Blom Volvo Technology Corporation

Transcription

1 TIMMO WP2 TADL Timing Augmented Description Language Open Workshop Hans Blom Volvo Technology Corporation

2 WP2 TADL Timing Augmented Description Language WT 2.1 Syntax, this presentation Modeling TADL Events and Event Chains TADL Constraints TADL Editor: Organization of the user model WT 2.2 Semantics, next presentation WT 2.3 Editor, demonstration during break Hans Blom, Volvo Technology Corporation 2

3 What is the model? Metalevels as defined by OMG and used by EAST-ADL2, AUTOSAR, and TIMMO instance of instance of instance of M3: A metamodel for M2 M2: The TIMMO metamodel following the rules set up at the M3 level M1: The user model M0: The real world system Hans Blom, Volvo Technology Corporation 3

4 TIMMO TADL The language definition is specified on the M2 level Referring to EAST-ADL2 where the different model abstraction levels are defined Referring to the AUTOSAR metamodel where different templates are defined The definition of the TADL Constraints are supported by EAST-ADL2 tracing of requirements, verification, and realizations Hans Blom, Volvo Technology Corporation 4

5 XML as exchange format Supporting Tools Mentor VSA Model Editor Supporting Tools ASCET Intecrio SymTA/S TTTech... Syntax conforming to XSD XML ASCET Intecrio SymTA/S TTTech... Semantics generated from AUTOSAR, TADL, EAST-ADL2 Metamodel Hans Blom, Volvo Technology Corporation 5

6 Development of TADL This is not the TIMMO Methodology Needs Needs Tools, Req, Scenarios AUTOSAR EAST-ADL2 MARTE Requirements Concepts Enterprise Architect Round-trip VSA VSA Exchange format format Supporting tools Validation Analysis Modeling UML Tool UML UML Profile Profile MARTE, EAST-ADL2 & AUTOSAR profiles Generator of editor and exchange format Hans Blom, Volvo Technology Corporation 6

7 Steps in development of TADL TADL concept definitions based on TIMMO requirements, scenarios and existing approaches and tools TADL definition in Enterprise Architect class diagrams TADL Editor based on an AUTOSAR authoring tool updated with EAST-ADL2 and TADL User modeling in the TADL Editor Validation of TADL in supporting tools for schedulability analysis, communication configuration, allocation, etc. Using relevant parts of the EAST-ADL2 models and AUTOSAR models. Cf. TIMMO Methodology Workproducts Hans Blom, Volvo Technology Corporation 7

8 EAST-ADL Abstraction Levels Vehicle Level Feature content in a Vehicle Feature Model Analysis Level Functional Analysis Architecture capturing the abstract functional behavior Design level Hardware entities/topology Concrete Functional structure & behavior Function-to-ECU allocation Implementation Level AUTOSAR constructs SWComponent ECUResource System SystemModel EnvironmentModel VehicleFeatureModel AnalysisArchitecture FunctionalAnalysisArchitecture DesignArchitecture Functional Middleware Design Abstraction Architecture ImplementationArchitecture AUTOSAR System OperationalArchitecture Data exchange over ports Hardware Design Architecture Vehicle Level Analysis Level Design Level Implementation Level Operational Level Hans Blom, Volvo Technology Corporation 8

9 Modeling framework TADL and the abstraction levels EAST-ADL2 AUTOSAR Vehicle Level Analysis Level Design Level TADL Metamodel Implementation Level Hans Blom, Volvo Technology Corporation 9

10 Basic Syntax in metamodel Constraint Constraint Event Chain stimulus response Event Timing Structure EAST-ADL2 Event EAST-ADL2 structure AUTOSAR Event AUTOSAR structure Hans Blom, Volvo Technology Corporation 10

11 Metamodel, extract «atpidentifiable» TimingConstraints:: ReactionConstraint «atpidentifiable» TimingConstraint +segment * {ordered} +strand * +scope 1 TimingDescription EventChain +stimulus 1..* +response TimingDescription Event + isstatechange: Boolean EAST-ADL2:: EASTEvent 1..* ADLFlowPort «atpprototype» FunctionModeling:: ADLInOutFlowPort 1 +inoutflowport «instanceref» Events:: EventADLInOutFlowPort Events:: EventADLPort Class-diagrams in Enterprise Architect, with documented classes, relationships and attributes Hans Blom, Volvo Technology Corporation 11

12 Example user model <<functionalanalysisarchitecture>> fcn1:function fcn2:function inflowport outflowport <<eventadlinflowport>> stimulus <<eventadloutflowport>> response <<reactionconstraint>> jitter = 2.0 nominal = 10.0 mode = startup scope <<eventchain>> Hans Blom, Volvo Technology Corporation 12

13 Sensor Input: Reaction Constraint Semantics Task A: Task B: Task C: Task D: Actuator Output: For each change in (Sensor) Input: Exactly one well-defined Reaction Time path How long does it take to get an effect on (Actuator) Output Hans Blom, Volvo Technology Corporation 13

14 Tracing For requirements, from EAST-ADL2, compare SysML ADLSatisfy ADLDeriveReqt ADLRefine ADLVerify Tracing between EAST-ADL2 abstraction levels (also from AUTOSAR to EAST-ADL2) ADLRealization Hans Blom, Volvo Technology Corporation 14

15 User model tracing as in EAST-ADL2 <<adlrequirement>> <<adlsatisfy>> <<adlderivereqt>> <<adlrequirement>> <<adlverify>> <<adlsatisfy>> <<adlrefine>> <<reactionconstraint>> <<functionaldesignarchitecture>> <<adlfunction>> <<adlrealization>> <<adlrefine>> <<reactionconstraint>> <<implementationarchitecture>> <<vvcase>> <<applicationsoftwarecomponent>> AUTOSAR EAST-ADL2 Hans Blom, Volvo Technology Corporation 15

16 Mentor Graphics VSA Editor tree view in Vehicle System Architect Hans Blom, Volvo Technology Corporation 16

17 Infrastructure MM = Metamodel XSD = XML Schema Definition AUTOSAR M3 EAST MM AUTOSAR MM import import instance of Enterprise Architect TADL MM specified by specified by TADL XSD AUTOSAR XSD EAST-ADL2 XSD Mentor Eclipse Generator EMF representation generated from Mentor VSA Model Editor Hans Blom, Volvo Technology Corporation 17

18 Editor and Supporting tools Eclipse TADL XSD AUTOSAR XSD instance of EAST XSD Mentor VSA Model Editor export/import TADL.XML AUTOSAR.XML EAST.XML import/export Supporting Tools ASCET, Intecrio, SymTA/S, TTTech Hans Blom, Volvo Technology Corporation 18

19 References and dependencies References between exchanged information: TADL EAST-ADL2 AUTOSAR R3, templates SWComponent ECUResource System Hans Blom, Volvo Technology Corporation 19

20 Summary Events and Event Chains Constraints Metamodel specifying XSD, following AUTOSAR Metamodeling rules Modified AUTOSAR editor, to include: EAST-ADL2 TADL XML as exchange format Hans Blom, Volvo Technology Corporation 20