TASTE_DV_Properties.aadl 542 Bytes
Newer Older
Maxime Perrotin's avatar
Maxime Perrotin committed
1 2 3 4 5 6 7 8 9
-- mapping TASTE : AADL
-- Node : System
-- Processor : Processor
-- Process : Function
-- Bus : Bus
-- Device : Device
-- Driver : Driver
property set TASTE_DV_Properties is
--  MyBoolean: aadlboolean applies to (System, Processor, Process);
10
    CoverageEnabled: aadlboolean applies to (Process);
Maxime Perrotin's avatar
Maxime Perrotin committed
11 12 13 14 15
    Comment: aadlstring applies to (Device, Bus);
--  MyInt: aadlinteger applies to (System);
--  MyReal: aadlreal applies to (Bus);
--  MyEnum: enumeration  (val1, val2, val3, val4) applies to (Device);
end TASTE_DV_Properties;