Research Article
Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE
Table 7
Processing_Resource model elements of MARTE.
| --IPM Module | Processing_Resource ( Type => Regular_Processor, Name => processor1, Max_Interrupt_Priority => 32,767, Min_Interrupt_Priority => 1, Speed_Factor => 1.00); | --AFDX Networks Module | Processing_Resource ( Type => AFDX_Link, Name => AFDXNETWORK, Transmission => FULL_DUPLEX, Max_Packet_Size => 1, Min_Packet_Size => 0.00, Speed_Factor => 1.00); |
|
|