ARINC 653 specification has been introduced as a standardized interface definition of real-time operating system to simplify the development of Integrated Modular Avionics. The ARINC 653 provides a strict and robust time and space partitioning to guarantee the reliability of avionics by isolating the failures of the system. Configuration data for the time and space partitions in the ARINC 653 can be defined as the XML configuration file that can be accessed only by system OS. Unfortunately, it is quite tedious activity to confirm the integrity of partition scheduling and to check the syntax errors of XML during the integration tasks. In this paper, we present a software configuration tool that provides generating the configuration data and verifying the integrity of partitioning based on XML Scheme of the ARINC 653 standard.
Correction to: Effect of time and space partitioning strategies of samples on regional landslide susceptibility modelling
