Europe funds secure operating system research

Money will ensure five more years of research into developing the Minux operating system

A Dutch university has landed a European Research Council grant to continue work on a Unix-type operating system that aims to be more reliable and secure than Linux or Microsoft Windows.

The EUR2.5 million (US$3.3 million) grant will fund three researchers and two programmers, said Andrew S. Tanenbaum, a computer science professor at Vrije Universiteit in the Netherlands.

Tanenbaum developed Minix, an operating system based somewhat on Unix that has a small code base and implements strong security controls.

The latest grant will allow further research into a making the operating system capable of fixing itself when a bug is detected, allowing computers to be a more reliable, Tanenbaum said.

"It irritates me to no end when software doesn't work," Tanenbaum said. "Having to reboot your computer is just a pain. The question is 'Can you make a system that actually works very well?'"

Software bugs will never be eliminated, Tanenbaum wrote in the project proposal. But operating system such as Windows and Linux are designed in ways that make them less reliable than they could be, he said.

For example, drivers for features such as sound and other peripheral components must be installed inside the operating system's kernel, or the computer's core code. If something goes wrong, it usually hangs up the machine.

Minix, however, is designed so drivers operate like applications outside of the kernel, which means if they crash, the computer will carry on, Tanenbaum said. The concept is called a "microkernel" rather than its opposite, a monolithic kernel.

In Tanenbaum's model, other components of the operating system will function in tightly constrained modules that can't interfere with one another if they fail. It also improves overall security.

A more secure operating system also leaves software vendors more accountable for software vulnerabilities. The expectations for software are much lower than for other industries, where a component failure such as a vehicle tire leads to recalls and law suits, Tanenbaum said.

But that liability could be assigned more easily if the software is less complex and more stable, he said.

"We want to make software that is very, very reliable," Tanenbaum said.

The funding will allow Minix research to continue for five more years.

Join the newsletter!

Or

Sign up to gain exclusive access to email subscriptions, event invitations, competitions, giveaways, and much more.

Membership is free, and your security and privacy remain protected. View our privacy policy before signing up.

Error: Please check your email address.

Tags Linuxresearchlinux kerneleuropemicrokernelminix

Keep up with the latest tech news, reviews and previews by subscribing to the Good Gear Guide newsletter.

Jeremy Kirk

IDG News Service
Show Comments

Cool Tech

Toys for Boys

Family Friendly

Stocking Stuffer

SmartLens - Clip on Phone Camera Lens Set of 3

Learn more >

Christmas Gift Guide

Click for more ›

Brand Post

Most Popular Reviews

Latest Articles

Resources

PCW Evaluation Team

Aysha Strobbe

Microsoft Office 365/HP Spectre x360

Microsoft Office continues to make a student’s life that little bit easier by offering reliable, easy to use, time-saving functionality, while continuing to develop new features that further enhance what is already a formidable collection of applications

Michael Hargreaves

Microsoft Office 365/Dell XPS 15 2-in-1

I’d recommend a Dell XPS 15 2-in-1 and the new Windows 10 to anyone who needs to get serious work done (before you kick back on your couch with your favourite Netflix show.)

Maryellen Rose George

Brother PT-P750W

It’s useful for office tasks as well as pragmatic labelling of equipment and storage – just don’t get too excited and label everything in sight!

Cathy Giles

Brother MFC-L8900CDW

The Brother MFC-L8900CDW is an absolute stand out. I struggle to fault it.

Luke Hill

MSI GT75 TITAN

I need power and lots of it. As a Front End Web developer anything less just won’t cut it which is why the MSI GT75 is an outstanding laptop for me. It’s a sleek and futuristic looking, high quality, beast that has a touch of sci-fi flare about it.

Emily Tyson

MSI GE63 Raider

If you’re looking to invest in your next work horse laptop for work or home use, you can’t go wrong with the MSI GE63.

Featured Content

Product Launch Showcase

Don’t have an account? Sign up here

Don't have an account? Sign up now

Forgot password?