Annons
Annons
Annons
Annons
Annons
Annons
Annons
Annons
Mjukvara | 07 april 2006

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.
Annons
Annons
Visa fler nyheter
2019-02-21 14:28 V12.2.5-1