LiVE! - The Linux Verification Enterprise
The project´s goals result from the distinct problems when
using operating systems in safety critical applications:
- Understanding the requirements safety relevant applications have
regarding the reliability of operating systems;
- Knowing the operating system Linux in detail;
- Developing safe components of the Linux operating system for an
exemplary application;
Apart from that, a basic understanding for working with big systems
being in development, as well as knowledge of methods and tools for
the support of developing such systems.
Fundamental knowledge in the areas operating systems and critical
applications will be taught. This includes:
- Architecture of operating systems, especially for critical
applications;
- Use of formal methods for the specification and development of
critical applications;
- CASE techniques in UNIX environments, especially the management of
big project regarding configuration management, reengineering, and
reusability of verification results, validation, and tests;
- Implementation of operating system components - in this regard,
insufficient implementations shall be replaced by sufficient ones
(this will be centered on reliability, real time aspects, and process
communications);
- Case studies as a base for the design and implementation of a
safe operating system kernel.
Everything will be implemented in C, because the Linux kernel also
is.
|
