Integritet (operativsystem)

Den aktuelle version af siden er endnu ikke blevet gennemgået af erfarne bidragydere og kan afvige væsentligt fra den version , der blev gennemgået den 1. april 2014; checks kræver 7 redigeringer .
Integritet
Udvikler Green Hills software
nyeste version  ( 29. oktober 2009 )
Understøttede platforme ARM
Kernel type mikrokerne
Licens Proprietære
Stat Aktiv
Internet side ghs.com

Integrity  er et realtidsoperativsystem udviklet af Californien - baserede Green Hills Software . POSIX Certificeret . Det er fokuseret på indlejrede systemer med én processor , i hvis centrale processor der er en hukommelsesstyringsenhed (arkitekturerne ARM , XScale , Blackfin , Freescale ColdFire , MIPS , PowerPC , x86 ). Systemet er baseret på mikrokernen med µ-hastighed . Systemets hovedfunktion er fejltolerance (hvis der opstår en fejl i et program, der kører i dette operativsystem, vil systemet som helhed fortsætte med at fungere normalt, og det vil forsøge at genstarte den faldne applikation ved at forsyne den med disse områder med datahukommelse , der blev allokeret til applikationen, før den faldt).

Integrity-178B

Integrity-178B  er et real-time operativsystem, et "undersæt" af Integrity, certificeret i henhold til niveau A af DO-178B standarden (i Rusland er det kendt som KT-178B [1] ). Understøtter fuldt ud ARINC 653 -1-Application/Executive (APEX) API.

Anvendes i amerikanske militærfly (f.eks . F-16 , F-22 , F-35 ) og helikoptere , også i civil Airbus A380 , Boeing 787 .

Noter

  1. Arkiveret kopi (link ikke tilgængeligt) . Hentet 1. november 2011. Arkiveret fra originalen 17. november 2011.   "Krav til software til udstyr om bord og systemer til certificering af luftfartsudstyr"

Links