Artem Kachitchkine <[EMAIL PROTECTED]> 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.
Meceds is interested in Solaris because os zones....
> > 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 :)
With Solaris, they could have one only.....
The problem is that all such computers together are not allowed to
consume more than 1 mA in standby mode.
Jörg
--
EMail:[EMAIL PROTECTED] (home) Jörg Schilling D-13353 Berlin
[EMAIL PROTECTED] (uni)
[EMAIL PROTECTED] (work) Blog: http://schily.blogspot.com/
URL: http://cdrecord.berlios.de/old/private/ ftp://ftp.berlios.de/pub/schily
_______________________________________________
opensolaris-discuss mailing list
opensolaris-discuss@opensolaris.org
