I am not a really big fan of Formula-1 racing. Mostly because I don't have the time rather than any other reason. This article caught my eye. The quote "The Council also decided that Microsoft has won the tender to become 'official ECU supplier' for the same period." seems to me that Microsoft will be providing some software for the races. I am not really sure what an ECU is and the article doesn't elaborate. I remember a few years back a video about .NET providing statistics on race cars but I think they were more of the stock cars. I am sure that there must be a lot of trust in the software provided because at the speeds these guys travel it would be deadly to have a software malfunction.
In any case, it will be interesting to watch and see how many people bring out the old jokes about having to reboot your car.