R3S3

Research on Really Reliable and Secure Systems Software

 Coordinatore STICHTING VU-VUMC 

Spiacenti, non ci sono informazioni su questo coordinatore. Contattare Fabio per maggiori infomrazioni, grazie.

 Nazionalità Coordinatore Netherlands [NL]
 Totale costo 2˙448˙420 €
 EC contributo 2˙448˙420 €
 Programma FP7-IDEAS-ERC
Specific programme: "Ideas" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013)
 Code Call ERC-2008-AdG
 Funding Scheme ERC-AG
 Anno di inizio 2008
 Periodo (anno-mese-giorno) 2008-11-01   -   2014-04-30

 Partecipanti

# participant  country  role  EC contrib. [€] 
1    VERENIGING VOOR CHRISTELIJK HOGER ONDERWIJS WETENSCHAPPELIJK ONDERZOEK EN PATIENTENZORG

 Organization address address: De Boelelaan 1105
city: AMSTERDAM
postcode: 1081 HV

contact info
Titolo: Ms.
Nome: Dirkje
Cognome: Schinkelshoek
Email: send email
Telefono: +31 20 5987500
Fax: +31 20 5987448

NL (AMSTERDAM) beneficiary 0.00
2    STICHTING VU-VUMC

 Organization address address: DE BOELELAAN 1105
city: AMSTERDAM
postcode: 1081 HV

contact info
Titolo: Dr.
Nome: Yvonne
Cognome: Kops
Email: send email
Telefono: 31205987500

NL (AMSTERDAM) hostInstitution 0.00
3    STICHTING VU-VUMC

 Organization address address: DE BOELELAAN 1105
city: AMSTERDAM
postcode: 1081 HV

contact info
Titolo: Prof.
Nome: Andrew Stuart
Cognome: Tanenbaum
Email: send email
Telefono: +31 20 5987780
Fax: +31 20 5987448

NL (AMSTERDAM) hostInstitution 0.00

Mappa


 Word cloud

Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.

crash    security    job    kernel    secure    computers    want    reliability    never    years   

 Obiettivo del progetto (Objective)

'Current operating systems have poor reliability and security. Computers crash regularly whereas other electronic devices such as televisions and mobile phones never crash. Furthermore, practically every week one reads about another security hole in Windows. As computers become more essential for all aspects of society this situation is unacceptable. The goal of my proposed research is to conceive, design, implement, and test an operating system that is as reliable and secure as is humanly possible. The job will be finished when the average user has never experienced a crash in his lifetime and RESET buttons on computers have passed into history, like 5¼ -inch floppy disks. The basic concept I want to use to achieve a reliable, secure operating system is the POLA The Principle of Least Authority. The operating system will be moved out the kernel (where it has unrestricted access to all of memory, critical machine instructions the I/O devices) into a set of multiple, tightly constrained user processes. Each process (e.g., a file server) will be given exactly the authority it needs to do its job and no more. This mechanism ensures that problems in one process cannot spill over into other ones. While this goal has floated around for years, no one really knows how to do it, so research is needed. Furthermore, I also want to make the system fault tolerant and self healing so it can continue to run even in the presence of hardware and software errors. Recovery should be done automatically without affecting running programs. Designing and building a new operating system that runs counter to 50 years of experience is extremely ground-breaking and ambitious. But the current road we are on with millions of lines of code in the kernel and growing all the time cannot be sustained. We need research that will lead to much better reliability and security. I have 30 years experience in the field and think I have a chance to pull it off.'

Altri progetti dello stesso programma (FP7-IDEAS-ERC)

NANOPHYS (2011)

"Nanophysiology of fast-spiking, parvalbumin-expressing GABAergic interneurons"

Read More  

SLRA (2011)

"Structured low-rank approximation: Theory, algorithms, and applications"

Read More  

ANPROB (2011)

Analytic-probabilistic methods for borderline singular integrals

Read More