SYSTEM erts08
END erts08;

SYSTEM IMPLEMENTATION erts08.others
SUBCOMPONENTS
  MONITOR : PROCESS MONITOR.others;
  FAILURE_DETECTOR : DEVICE FAILURE_DETECTOR.others;
  NETWORK : BUS NETWORK.others;
  RAM : MEMORY RAM.others;
  cpu : PROCESSOR CPU.others;
CONNECTIONS
  x : EVENT DATA PORT FAILURE_DETECTOR.failure -> MONITOR.failure;
PROPERTIES
  Actual_Processor_Binding => REFERENCE cpu APPLIES TO MONITOR;
END erts08.others;

PROCESSOR CPU
FEATURES
  NETWORK : REQUIRES BUS ACCESS NETWORK.others;
END CPU;

PROCESSOR IMPLEMENTATION CPU.others
PROPERTIES
  Scheduling_Protocol => DEADLINE_MONOTONIC_PROTOCOL;
END CPU.others;

DEVICE FAILURE_DETECTOR
FEATURES
  failure : OUT EVENT DATA PORT T_Failure.others;
  NETWORK : REQUIRES BUS ACCESS NETWORK.others;
END FAILURE_DETECTOR;

DEVICE IMPLEMENTATION FAILURE_DETECTOR.others
END FAILURE_DETECTOR.others;

BUS NETWORK
END NETWORK;

BUS IMPLEMENTATION NETWORK.others
END NETWORK.others;

MEMORY RAM
FEATURES
  NETWORK : REQUIRES BUS ACCESS NETWORK.others;
END RAM;

MEMORY IMPLEMENTATION RAM.others
END RAM.others;

PROCESS MONITOR
FEATURES
  failure : IN EVENT DATA PORT T_Failure.others;
END MONITOR;

PROCESS IMPLEMENTATION MONITOR.others
SUBCOMPONENTS
  COLLECT : THREAD COLLECT.others;
  BUFFER : DATA BUFFER.others;
  ANALYSE : THREAD ANALYSE.others;
  STORAGE : DATA STORAGE.others;
CONNECTIONS
  EVENT DATA PORT failure -> COLLECT.failure;
  DATA ACCESS BUFFER -> COLLECT.BUFFER;
  DATA ACCESS BUFFER -> ANALYSE.BUFFER;
  DATA ACCESS STORAGE -> ANALYSE.STORAGE;
END MONITOR.others;

THREAD COLLECT
FEATURES
  failure : IN EVENT DATA PORT T_Failure.others;
  BUFFER : REQUIRES DATA ACCESS BUFFER.others;
END COLLECT;

THREAD IMPLEMENTATION COLLECT.others
PROPERTIES
  Dispatch_Protocol => Sporadic;
  Compute_Execution_Time => 10ms..15ms;
  Deadline => 100 ms;
  Period => 100 ms;
END COLLECT.others;

DATA BUFFER
END BUFFER;

DATA IMPLEMENTATION BUFFER.others
END BUFFER.others;

THREAD ANALYSE
FEATURES
  BUFFER : REQUIRES DATA ACCESS BUFFER.others;
  STORAGE : REQUIRES DATA ACCESS STORAGE.others;
END ANALYSE;

THREAD IMPLEMENTATION ANALYSE.others
PROPERTIES
  Dispatch_Protocol => Periodic;
  Compute_Execution_Time => 10ms..15ms;
  Deadline => 100 ms;
  Period => 100 ms;
END ANALYSE.others;

DATA STORAGE
END STORAGE;

DATA IMPLEMENTATION STORAGE.others
END STORAGE.others;

DATA T_Failure
END T_Failure;

DATA IMPLEMENTATION T_Failure.others
END T_Failure.others;