Requirements from WT2. 1: Identifications of needs 27
Requirements from WT2. 1: Identifications of needs 24 2.4 HiP-HOPS Gateway 25 2.4.1 Papyrus Plugin 25
Requirements from WT2. 1: Identification of needs 36 2.7 UPPAAL&Spin Gateways 37 2.7.1 Current Status 37
Requirements from WT2. 1: Identifications of needs 40 2.9 Functional Mock-up Unit Import 41
Requirements from WT2. 1: Identifications of needs The AUTOSAR gateway is mentioned in the following requirement: DOW#0111: The SWC Synthesis ( FDA-IL ) shall be modelled in MAW-AR Gateway plugin [4].
Requirements from WT2. 1: Identifications of needs A2#11: A formalized meta-model of the architecture description language shall be developed. (including structural elements, behavioural description means, models of computations, and transformation rules to prototype tools and Simulink.) DOW#0112: The Simulink import-export ( FAA, FDA ) shall be modelled in MAW-Simulink plugin.
Requirements from WT2. 1: Identifications of needs UOH#0003: The HiP-HOPS analysis tool should support any ISO 26262 or related concepts (such as ASIL decomposition) necessary to allow ISO-compatible dependability analysis of EAST-ADL models. UOH#0004: EAST-ADL and HiP-HOPS should be able to intercommunicate by means of model transformations provided by a dependability plugin in the MAENAD Analysis Workbench (MAW). Furthermore it should be possible to import or store the results from HiP-HOPS in the Workbench and/or the EAST-ADL model, which will require establishing some form of (perhaps XML based) interchange format.
Requirements from WT2. 1: Identifications of needs VTEC#UC006: A model of the validator with timing, dependability and cost annotations as well as design space, variability and take rate annotations is defined and exported to EAXML. An optimization tool computes the optimal design for the defined product line. The resulting optimized model is recorded in the model (design space variability removed) and exported in the EAXML file. UOH#0002: The EAST-ADL error model should fully support automatic optimisation, e.g. through rules that specify a 1:1 mapping from nominal to error models. UOH#0005: To support multi-objective optimisation, there must be a standardised way of passing design candidates to analysis tools/plugins and receiving results in a given format.
Requirements from WT2. 1: Identification of needs The work on ASIL decomposition covers MAENAD objective O1-2 “Automatic allocation of safety requirements (ASILs)”.
Requirements from WT2. 1: Identification of needs Behavior simulation is mentioned in: DOW#0012 O2-2: Behavioral Simulation of EAST-ADL2 models DOW#0017 O4-2: Evaluation of dependability & performance analyses
