Changes between Version 6 and Version 7 of aadlDeclarativeModel
- Timestamp:
- 04/12/17 17:10:44 (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
aadlDeclarativeModel
v6 v7 1 1 2 = AADL v2 parser=2 = AADL Declarative Model = 3 3 The AADL parser (aadlrev) takes textual AADL files as input and produces a list of prolog predicates as output.[[BR]] 4 It is implemented with conventional !Lex/Yacc technology and follows the AADLgrammar (BNF) specified in the SAE AS-5506 standard documents.[[BR]]4 It is implemented with conventional !Lex/Yacc technology and follows the [wiki:AADL AADL] grammar (BNF) specified in the SAE AS-5506 standard documents.[[BR]] 5 5 6 6 Current version is aadlrev 2.10 dated 11 March 2017 that supports AADL 1.0, AADL 2.0, AADL 2.1, AADL 2.2, the Behavior Annex 1.0 and 2.0, the Error Annex 1.0 and 2.0 (EMV2).