Android

Europa Fondsen Beveiligd Besturingssysteem Onderzoek

Europa: Toen, nu en straks in 15 minuten

Europa: Toen, nu en straks in 15 minuten
Anonim

Een Nederlandse universiteit heeft een Europese Subsidie ​​voor Onderzoeksraad om door te gaan met werken aan een Unix-besturingssysteem dat betrouwbaarder en veiliger is dan Linux of Microsoft Windows.

De subsidie ​​van € 2,5 miljoen (US $ 3,3 miljoen) zal drie onderzoekers en twee programmeurs financieren, zei Andrew S. Tanenbaum, hoogleraar computerwetenschappen aan de Vrije Universiteit in Nederland.

Tanenbaum ontwikkelde Minix, een besturingssysteem dat enigszins op Unix is ​​gebaseerd en een kleine codebasis heeft en krachtige beveiligingscontroles implementeert.

[Meer informatie: Hoe malware van uw Windows-pc verwijderen]

Met de nieuwste subsidie ​​kan nader onderzoek worden gedaan naar een besturingssysteem dat in staat is zichzelf te herstellen wanneer een bug wordt gedetecteerd, zodat computers betrouwbaarder zijn, aldus Tanenbaum.

"Het irriteert me tot het einde als software niet werkt", zei Tanenbaum. "Het opnieuw opstarten van je computer is pijnlijk, maar de vraag is:" Kun je een systeem maken dat echt heel goed werkt? ""

Software-bugs zullen nooit worden geëlimineerd, schreef Tanenbaum in het projectvoorstel. Maar besturingssystemen zoals Windows en Linux zijn zo ontworpen dat ze minder betrouwbaar zijn dan ze zouden kunnen zijn, zei hij.

Stuurprogramma's voor functies zoals geluid en andere randapparatuur moeten bijvoorbeeld in de kernel van het besturingssysteem worden geïnstalleerd, of de kerncode van de computer. Als er iets fout gaat, hangt het meestal op in de machine.

Minix is ​​echter zo ontworpen dat stuurprogramma's werken als applicaties buiten de kernel, wat betekent dat als ze crashen, de computer zal doorgaan, zei Tanenbaum. Het concept wordt een "microkernel" genoemd in plaats van het tegenovergestelde, een monolithische kern.

In het model van Tanenbaum zullen andere componenten van het besturingssysteem functioneren in strak ingesloten modules die elkaar niet kunnen storen als ze falen. Het verbetert ook de algemene beveiliging.

Een veiliger besturingssysteem laat softwareleveranciers ook meer verantwoordelijk voor softwarekwetsbaarheden. De verwachtingen voor software zijn veel lager dan voor andere industrieën, waar een defect aan een onderdeel, zoals een autoband, tot terugroepingen en rechtszaken leidt, zei Tanenbaum.

Maar die aansprakelijkheid kan gemakkelijker worden toegewezen als de software minder complex en meer is stabiel, zei hij.

"We willen software maken die zeer, zeer betrouwbaar is," zei Tanenbaum.

Dankzij de financiering kan het onderzoek van Minix nog vijf jaar doorgaan.