AB3:Reaaliaikaisten tietoliikennejärjestelmien monimutkaisuus ja koko vaativat uusia menetelmiä niiden tarkkaan mallintamiseen. OCTOPUS menetelmä on tehty helpottamaan sulautettujen reaaliaikaisten järjestelmien mallintamista ...