Vidím tu nějaké dotazy na MS technologie, tak jsem tu s odpověďmi :)
SharePoint je prostě DMS, který bude řídící středisko Galileo používat na zemina ukládání směrnic a dokumentace, workflow atd. Nejsou sami - SharePoint používá většina větších společností. Mluvit o "softwarovém vývoji projektu Galileo" je trochu nadnesené, ale společnost BoldBrick má hezkou referenci, a PR se počítá :)
Veřejně dostupné informace o satelitech systému Galileo: HW je postavený na CPU ERC32, což je rad-hardened verze SPARCu V7. Jako OS se používá RTEMS (který EADS mimochodem používá na více projektech), což je RTOS napsaný v jazyce C, který neposkytuje aplikaci žádnou správu paměti a nepodporuje procesy. Aplikační vrstva je psaná v jazyce Ada, a je implementovaná jako smyčka s HW watchdog timerem. Používání klasické dynamické alokaci paměti je zakázáno (Ravenscar profile). V případě fatální chyby se systém restartuje v "safe mode". Kompletní binárka má 1.2MB a potřebuje 2.6MB RAM.
Ten "operační systém" a smyčka není nic překvapivého, podobné cyklické schedulery jezdí i v autech. Záleží ale na tom kde - někde se nasazují i opravdové RTOS.
Kolik ms trvá jeden cyklus? Když se ptám "kolik ms", znamená to "kolik milisekund", nikoliv kolik "MicroSoftů"...
Je někde dokument, ze kterého jste čerpali?
Tady je to shrnuté, včetně toho, že tam kromě RTEMS používají i Linux :-)
Já tam ale nevidím, že by na satelitech Galileo byl použitý Linux. Píše se tam o Linuxu na prototypu planetárního roveru, a o tom že Critical Software má ve vývoji projekt XLuna. To je projekt používající RTEMS nebo FreeRTOS, nad kterým běží Linux nebo Android.
http://www.criticalsoftware.com/en_us/products/p/xluna
BTW to co dělá xLuna je principu je podobné jako RTX64 (RTOS nad Windows řady NT) od společnosti IntervalZero.
http://intervalzero.com/assets/RTX642013/RTX_RTX64_integratedplatform.jpg
http://intervalzero.com/assets/IZ-Raytheon-CS.pdf
Souhlas, je to v podobných aplikacích poměrně obvyklý design. RTOS to je, časy jsou deterministické. ACOS podle všeho používá 200ms smyčku.
Vývoj dělala University of Würzburg, a mají o tom na webu dost informací:
https://wuecampus2.uni-wuerzburg.de/moodle/pluginfile.php/372080/mod_resource/content/1/Galileo-DHS.pdf
Pár dalších zajímavostí. Myslím že někde najdete i Galileo Software Standard (GSWS, GAL-SPE-GLI-SYST).
http://air.di.fc.ul.pt/air-ii/downloads/Silva09inforum.pdf
http://www.qasystems.de/fileadmin/data/Case-Studies/CaseStudy_AdaCore_Technologies.pdf