Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE

Table 1

Example of general configuration information table of ARINC653 system.

Configuration entry types	Explanations
PARTITION_NB	Number of avionics application partitions
SYSTEM_PARTITION_NB	Number of system administration partitions
MAF_DURATION	Duration of the major time frame
CACHE_CONFIG	Cache configuration data
RAM_BEGIN	Starting address of memory for OS and drivers
RAM_SIZE	Memory size for the OS and drivers
CFG_AREA_BEGIN	Starting address of memory for configuration data
CFG_AREA_SIZE	Memory size for the configuration data
MAC_ADDRESS	MAC addresses for sending and receiving
MODULE_LOCATION	MAC addresses for sending and receiving