From fec6ae8cf26cb2d4028248291313e0d6b3d19425 Mon Sep 17 00:00:00 2001 From: Maxime Perrotin Date: Mon, 2 Oct 2017 14:33:59 +0200 Subject: [PATCH] Update TASTE-provided versions of IV/DV Properties --- misc/ellidiss/TASTE_DV_Properties.aadl | 2 +- misc/ellidiss/TASTE_IV_Properties.aadl | 28 +++++++++++++++----------- 2 files changed, 17 insertions(+), 13 deletions(-) diff --git a/misc/ellidiss/TASTE_DV_Properties.aadl b/misc/ellidiss/TASTE_DV_Properties.aadl index ba00879..e76c3f8 100644 --- a/misc/ellidiss/TASTE_DV_Properties.aadl +++ b/misc/ellidiss/TASTE_DV_Properties.aadl @@ -7,7 +7,7 @@ -- Driver : Driver property set TASTE_DV_Properties is -- MyBoolean: aadlboolean applies to (System, Processor, Process); - CoverageEnabled: aadlboolean applies to (Process); + CoverageEnabled: aadlboolean applies to (Process); Comment: aadlstring applies to (Device, Bus); -- MyInt: aadlinteger applies to (System); -- MyReal: aadlreal applies to (Bus); diff --git a/misc/ellidiss/TASTE_IV_Properties.aadl b/misc/ellidiss/TASTE_IV_Properties.aadl index fa38386..a51abe0 100644 --- a/misc/ellidiss/TASTE_IV_Properties.aadl +++ b/misc/ellidiss/TASTE_IV_Properties.aadl @@ -1,12 +1,16 @@ --- mapping TASTE : AADL --- Container : Package --- Function : System --- Interface : Subprogram -property set TASTE_IV_Properties is --- MyBoolean: aadlboolean applies to (System, Package); --- MyString: aadlstring applies to (System, Subprogram); - Version: aadlstring applies to (System); --- MyInt: aadlinteger applies to (System); --- MyReal: aadlreal applies to (System); --- MyEnum: enumeration (val1, val2, val3, val4) applies to (System); -end TASTE_IV_Properties; +-- mapping TASTE : AADL +-- Container : Package +-- Function : System +-- Interface : Subprogram +property set TASTE_IV_Properties is +-- MyBoolean: aadlboolean applies to (System, Package); +-- MyString: aadlstring applies to (System, Subprogram); + Version: aadlstring applies to (System); +-- MyInt: aadlinteger applies to (System); +-- MyReal: aadlreal applies to (System); +-- MyEnum: enumeration (val1, val2, val3, val4) applies to (System); + MSCFiles : aadlstring applies to (Subprogram); + is_Component_Type : aadlboolean applies to (System); + is_instance_of : aadlstring applies to (System); +-- MSCFiles : list of aadlstring applies to (Subprogram); +end TASTE_IV_Properties; -- GitLab