Provides the space and time partitioning RTOS to model safety-critical avionics
VisualSim ARINC 653 is a system simulation library that contains the model of the real-time operating system (RTOS), components to emulate the software tasks, hardware components and analysis tools. The models can be used for timing analysis, power consumption and functional correctness. Each application software/task is called a partition and has its own memory space. It also has a dedicated time slot allocated. Within each Partition multitasking is allowed. The API provides services to manage partitions, processes and timing, as well as partition/process communication and error handling.
ARINC 653 is the aerospace industry software specification for space and time partitioning in Safety-critical avionics Real-time operating systems. The standard enables hosting multiple applications at different software levels on the same hardware in the context of Integrated Modular Avionics architecture. ARINC 653 is part of ARINC 600-Series Standards for Digital Aircraft & Flight Simulators.
The VisualSim ARINC 653 platform contains hardware modules for real-time computing, an abstraction layer managing the time, priority and space partitioning, ARINC 653 services (the APEX API), parameters and a large array or reports. The parameters are used to configure the platform, size the slot timings, assign tasks to partitions and size the time allocations.