Changes between Version 12 and Version 13 of aadlDeclarativeModel


Ignore:
Timestamp:
10/11/23 14:50:36 (7 months ago)
Author:
pdissaux
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • aadlDeclarativeModel

    v12 v13  
    1919    }}}
    2020    {{{#!td style="background:#ffd; width:80px"
    21     [#aadlv2predicates Core]
     21    [#L1 Core]
    2222    }}}
    2323    {{{#!td style="background:#ffd; width:80px"
    24     [#aadlbehaviorannexpredicates BA]
     24    [#L2 BA]
    2525    }}}
    2626    {{{#!td style="background:#ffd; width:80px"
    27     [#aadlerrorannexv1predicates EMV1]
     27    [#L3 EMV1]
    2828    }}}
    2929    {{{#!td style="background:#ffd; width:80px"
    30     [#aadlerrorannexv1predicates EMV2]
     30    [#L4 EMV2]
    3131    }}}
    3232  }}}
    … …  
    3434
    3535----
     36[=#L1]
    3637=== AADL v2 predicates ===
     38
    3739This part of the prolog API complies with document SAE AS-5506C (AADL 2.2)
    3840
    … …  
    9698[#index (back to index)]
    9799----
     100[=#L2]
    98101=== AADL Behavior Annex predicates ===
    99102This part of the prolog API complies with document SAE AS-5506/2A (AADL BA 2.0)
    … …  
    118121[#index (back to index)]
    119122----
     123[=#L3]
    120124=== AADL Error Annex v1 predicates ===
    121125This part of the prolog API complies with document SAE AS-5506/1 (AADL EA)
    … …  
    125129[#index (back to index)]
    126130----
     131[=#L4]
    127132=== AADL Error Annex v2 predicates ===
    128133This part of the prolog API complies with document SAE AS-5506/1A (AADL EMV2)