 Valid-653™Company Description:Valid-653™ is a pure implementation of the ARINC-653 APEX (APplication/EXecutive) interface for Integrated Modular Avionics (IMA) systems and other safety-critical environments. It is a pure and "native" implementation of ARINC-653 and therefore does not require any other operating system environment.Using industry-standard ARINC-653 semantics, Valid-653™ efficiently implements both time and space partitioning. Applications are separated into discrete Memory Management Unit (MMU)-controlled partitions on a single processor. Each partition is guaranteed a slice of time for execution as specified by the system designer. Threads inside each partition are scheduled on a priority-preemptive basis, similar to a standard real-time operating system (RTOS). Valid-653™ is available for both safety-certified and non-safety-critical systems. Additional benefits of Valid-653™ are: Higher Software Portability. Reduced Software Verification. Mixing of Different Criticality Software. Support for Heterogeneous RTOS Environments. Please see complete details at http://www.ValidatedSoftware.com Worldwide Headquarters:
|