|
|
 |
|
Formal Methods Seminar by Stefan Petters |
|
Date: July 15, 2005
Time: 10:30am
Location: NIA, Rm 137
Secure Embedded Systems Need Microkernels!
Stefan Petters, National ICT Australia Ltd.
In the area of embedded systems development we see an incredible increase of functionality and ubiquity. System complexity has long reached levels, which essentially prevent formal methods to be applied to the whole of the system.
Furthermore the error rate in number of errors per line of source code is almost constant. Hence we have to deal with systems, which are prone to errors which have not been uncovered during system testing.
In order to address this, the system needs to be compartmentalized.
Using microkernels is an initial step in this direction. In this talk I
will go into detail of the benefits of microkernels in general and L4::Pistachio in particular and provide an overview of the work we conduct in the Embedded Real-Time and Operating Systems Program within National ICT Australia Ltd.
|
|
|
Home