|
SoCoder -> Link Home -> PC/Tech News |
|
|
|
|
Spare
|
Bug free kernelhttps://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.
|
|
|
| |||
|
| ||||