Valid-653™

Company:

Validated Software Corporation

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

Product Properties

• Development Hosts:
  Windows, Solaris, Any GNU hosts
• Supported Target Processors:
  x86, PowerPC, ARM, MIPS, Any Processor with an MMU
• Board Support Packages:
  Developed and DO-178B certified upon demand
• Supported Compilers:
  Any GNU or any other commercial compiler
• Supported Tools:
  Any GNU and any supporting ARINC-653
• Supported Networks:
  TCP/IP, FTP, SMTP, SNMP, PPP, Bootp, See our DO-178B Certifiable Stacks for complete offering
• Supported Standards:
  ARINC-653, DO-178B, ED-12B, DO-254, ED-80, DO-278
• Development Methodology:
  Cross
• RTOS Supplied as:
  Object, Source
• Supported GUI:
  Any GNU GUI
• Available Components:
  Floating Point, Communication, Math Library, File Support
• Kernel ROM (min, max):
  Please Inquire,Please Inquire
• Kernel RAM (min, max):
  Please Inquire,Please Inquire
• Minimum RAM per process:
  Please Inquire
• Minimum RAM per thread:
  Please Inquire
• Minimum RAM per queue:
  Please Inquire
• Number of thread priority levels:
  Please Inquire
• Typical Thread Switch Latency:
  Please Inquire
• Guaranteed Maximum Interrupt Latency:
  Please Inquire
• System Clock Resolution:
  Please Inquire
• Priority Inversion Avoidance Mechanism:
  Yes,any per ARINC-653
• Multiprocess Support:
  Yes
• Multiprocessor Support:
  Yes
• MMU Support:
  Yes
• Scheduling Policies:
  ARINC-653 Time and Space Partition Scheduler. Any policy for RTOS processes inside MMU-protected partitions
• Royalty Free:
  Yes
• Cost Development Seat:
  Please Inquire
• Standard Phone Support:
  Free
• Preferred Phone Support:
  Free