Artem Kachitchkine wrote:
Wouldn't it be cool if the OS behind your car's electronics was
Solaris
That would be terrible. I'd rather prefer that the software in my car
was simple enough for its correctness to be formally provable. As well
as testable with 100% coverage through a procedure based on something
simple such as a finite state machine.
I believe that some Mercedes Benz cars have Microsoft Windows
based systems in them, for better or worse.
I suppose they have several computers in the car, and a
general-purpose OS is only in the least critical of them - like an
iPod controller :)
Right. Some cars can have as many as 5 or more seperate computers.
Using a general purpose OS to drive things like the display you use for
GPS based navigation or entertainment makes good sense.
Darren
_______________________________________________
opensolaris-discuss mailing list
[email protected]
