test.aadl 1.22 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59
-- test for parsing features
-- feature group

package GPSLib
  public
    data position
    end position;

    data commands
    end commands;
end GPSLib;

package Sat
public
  system Satellite
  end Satellite;

  feature group GPSbasic_socket
  features              
     Wakeup: in event port;
     Observation: out data port GPSLib::position;
  end GPSbasic_socket;

  feature group GPSbasic_plug
  features
     WakeupEvent: out event port;
     ObservationData: in data port GPSLib::position;
     inverse of GPSbasic_socket
  end GPSbasic_plug;

  feature group MyGPS_plug
     inverse of GPSbasic_socket
  end MyGPS_plug;

  feature group GPSextended_socket extends GPSbasic_socket
  features
     Signal: out event port;
     Cmd: in data port GPSLib::commands;
  end GPSextended_socket;

  process Satellite_position
  features
      position: feature group GPSBasic_socket;
  end Satellite_position;

  process GPS_System
  features
     position: feature group inverse of GPSbasic_socket;
  end GPS_System;

  system implementation Satellite.others
  subcomponents
     SatPos: process Satellite_position;
     MyGPS: process GPS_System;
  connections
     feature group Satpos.position -> MyGPS.position;
  end Satellite.others;

end Sat;