-=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- (c) WidthPadding Industries 1987 0|699|0 -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=- -=+=-
SoCoder -> Link Home -> PC/Tech News


 
Spare
Created : 27 September 2009
 

Bug free kernel



https://ertos.nicta.com.au/research/l4.verified/
Australian researchers claim to have built a completely bug free kernel.

 

Comments


Sunday, 27 September 2009, 04:21
Jayenkai
Uhoh..

<insert 100,000 hackers and virus makers there>
Sunday, 27 September 2009, 11:06
JL235
It's interesting stuff. It's only 8,700 lines, I have plenty of bigger projects, but I would predict that none of my projects are entirely free from bugs.

Over 70% of blue-screens in Windows are caused by non-Microsoft code, like drivers. This is what stops any OS from being bug-free.
Monday, 28 September 2009, 01:53
Afr0
I think it might be possible.
The software for the Airbus A380 was, IIRC, written in C, and had to be completely bug-free.
Monday, 28 September 2009, 01:56
JL235
I've heard that the software that runs the Paris Metro is also entirely bug free. It was done in a similar way to this bug-free kernel where they analysed and proved that the code was correct.
Monday, 28 September 2009, 12:39
Mog
2+2...

There. Bug Free. I always get 4. It's very possible. If you only give it certain conditions to go through, then you can only get so many ways to fuck its logic. Remember that most bugs are just unpredicted logic or bad math.