Open Universiteit gaat vliegtuigsoftware beveiligen
De Open Universiteit gaat samen met andere Europese partijen in vliegtuigen gebruikte software beveiligen, zodat kritieke informatie niet wordt beïnvloed door bijvoorbeeld informatie van het entertainmentsysteem. Zonder goede beveiliging bestaat bijvoorbeeld het gevaar dat het entertainmentsysteem op een vliegtuigstoel invloed heeft op het besturingssysteem van een vliegtuig.
De Open Universiteit is een universiteit in Nederland en Vlaanderen, die wetenschappelijk onderwijs ontwikkelt. Het is een partner van het Europese EURO-MILS project, dat de veiligheid van vliegtuigsoftware moet verbeteren. De primaire rol van de Open Universiteit is om het formele wiskundige bewijs te leveren dat de architectuur van de software PikeOS aan de beveiligingseisen voldoet.
PikeOS
"PikeOS is een zogenaamde ‘separation kernel’. Dit is een stuk software dat ervoor zorgt dat kritieke informatie, zoals die zit in het besturingssysteem van een vliegtuig, niet wordt beïnvloed door niet-kritieke informatie, die bijvoorbeeld in het geluidssysteem in je vliegtuigstoel zit", zegt Universitair docent Julien Schmaltz.
Volgens Schmaltz zorgt de software ervoor dat elk domein een apart domein is en dat ze niet met elkaar kunnen interfereren. "En de OU onderzoekt of wiskundig bewezen kan worden dat PikeOS aan de hoogste beveiligingseisen voldoet." Het is de eerste keer in Europa dat gestreefd wordt dergelijke software tot het hoogst mogelijke niveau beveiligd te krijgen.
Maar begrijp ik hier uit dat het geen gescheiden systemen zijn?
Of moet ik hieruit concluderen dat de zin
"zodat kritieke informatie niet wordt beïnvloed door bijvoorbeeld informatie van het entertainmentsysteem"
ietwat ongelukkig is gekozen....
Ik ben een gediplomeerde nitwit
Maar begrijp ik hier uit dat het geen gescheiden systemen zijn?
Of moet ik hieruit concluderen dat de zin
"zodat kritieke informatie niet wordt beïnvloed door bijvoorbeeld informatie van het entertainmentsysteem"
ietwat ongelukkig is gekozen....
De informatie over de vlucht (waar zijn we, airspeed, buitentemperatuur ) krijg je (ook) op het scherm van het entertainment systeem.
Ik ga ervan uit dat die koppeling niet bestaat uit de co-piloot die het continu overtikt; Kortom, er is dus een interface of api waarmee het entertainment systeem data krijgt die uiteindelijk afkomstig zijn van het vliegtuig.
Dat moet natuurlijk een eenrichtings koppeling zijn ; Op welke manier het dat is (of niet) ?
http://www.wired.com/politics/security/news/2008/01/dreamliner_security
Ik ga ervan uit dat die koppeling niet bestaat uit de co-piloot die het continu overtikt; Kortom, er is dus een interface of api waarmee het entertainment systeem data krijgt die uiteindelijk afkomstig zijn van het vliegtuig.
Dat moet natuurlijk een eenrichtings koppeling zijn ; Op welke manier het dat is (of niet) ?
Kritiekpuntje is wel dat dit PikeOS proprietary is en dat dit dus verkapte subsidie naar een duits bedrijf toe is. Niet dat subsidies aan bedrijven vreemd of zeldzaam zijn, maar ik denk dat vragen waarom hier niet op open source ingezet wordt valide is (en er zijn best open source microkernels te vinden, bijvoorbeeld het in Amsterdam ontwikkelde Minix*), al was het alleen maar omdat onderzoek gepubliceerd moet worden, zeker als het met gemeenschapsgeld gefinancierd wordt, en dat zo'n proprietary ding zich daar niet voor leent cq de broodnodige peer review in de wielen rijdt.
* Waar ik mijn sollicitatie afgewezen zag worden, ziedaar mijn full disclosure belang.
Systeem reageerde niet en ik gaf veel input achter elkaar waar ie blijkbaar niet tegen kon dus het systeem rebootte en zette zichzelf automatisch terug vanuit een image, zoveel werd mij duidelijk.
Bij het ontwerpen van alle electronische systemen van een vliegtuig is uiteraard rekening gehouden met het gescheiden houden van de verschillende systemen die voor verschillende doelen bestemd zijn.
Ik denk dat de uitleg in het artikel verkeerd is (geïnterpreteerd).
Deze posting is gelocked. Reageren is niet meer mogelijk.
Specialiseer je in Forensisch ICT
Online informatieavond 19 november
Wil jij je specialiseren in digitaal forensisch onderzoek? Je kennis verbreden en tech-nische vaardigheden ontwikkelen? Ontdek de cursus- en opleidingsmogelijkheden van Hogeschool Leiden:
- Bachelor Informatica Forensisch ICT (deeltijd)
- Master Digital Forensics (vol- en deeltijd)
- Module Mobile Forensics
- Module Data Analytics
Interesse? Meld je aan!
Cybersecurity Trainer / Streamer
Toe aan een nieuwe nieuwe job waarmee je het verschil maakt? In de Certified Secure trainingen laat je deelnemers zien hoe actuele kwetsbaarheden structureel verholpen worden. Ook werk je actief mee aan de ontwikkeling van onze gamified security challenges. Bij het maken van challenges kom je telkens nieuwe technieken tegen, van Flutter tot GraphQL, van Elastic Search tot Kubernetes.
