Mjukvara |
Green Hills mjukvara i flygplanet Hawk
Green Hills Software, Inc., teknologiledande när det gäller realtidsoperativsystem och utvecklingsverktyg för säkerhetssystem meddelar att BAE Systems har valt Green Hills GMART SPARK Ada-kompatibla kärna och utvecklingsmiljön AdaMULTI för den senaste versionen av skolflygplanet Hawk.
Kärnan GMART för PowerPC kommer att användas i nästa generation flygplan i familjen Hawk Mission System som kommer att ha två nya stridsdatorer med öppen arkitektur. Med dessa kan de två piloterna arbeta oberoende och de kan även användas för andra uppgifter för att uppfylla träningsuppgifterna. Instruktören i baksätet kan övervaka eleven eller konfigurera systemet för andra ändamål. Den andra datorn utgör också en backuppmöjlighet vid fall av fel. Systemet tillhandahåller grafik till alla sex displaypanelerna i förarkabinen och en ”heads-up”-display.
”Green Hills Software är mycket glada över att BAE Systems har valt vår säkerhetskärna GMART och vår utvecklingsmiljö AdaMULTI för det senaste Hawk-programmet,” säger Dan O'Down, grundare och VD för Green Hills Software. ”Green Hills Software har flera olika kärnor i sitt säkerhetssortiment. Dessa har utvecklats för olika specifika program. Kärnan GMART är en SPARK-kompatibel, liten och deterministisk kärna som är statistiskt verifierbar till att vara riktig.”
Green Hills Software har en komplett uppsättning säkerhetsprodukter. Bland dessa kan nämnas Green Hills Minimal Ada Run-Time (GMART), som används av BAE Systems, Green Hills Small Tasking Ada Run-Time (GSTART), realtidsoperativsystemet (RTOS) INTEGRITY-178B och alla supportverktyg som behövs för utveckling av säkerhetskritiska tillämpningar. GMART och GSTART är båda små, snabba och deterministiska kärnor för enanvändartillämpningar på en inbäddad dator. INTEGRITY-178B är ett tids- och minnespartitionerat operativsystem certifierat till DO-178B Level A och uppfyller fullständigt ARINC-653-1.
Stödet för ARINC-653-1 med dess partitioneringsdefinition gör det möjlighet att köra flera tillämpningar med olika säkerhetsnivåer på en processor. Denna kraftfulla möjlighet gör att man kan minska antalet datorer. Dessutom är INTEGRITY-178B det enda säkerhetskritiska RTOS som kommer att certifieras för flera språk som Ada, C, MISKRA C och Embedded C++. Man kan alltså välja det språk som passa en tillämpning bäst.
