Fordon
Letar buggar i automatstyrda bilar
Klarar automatnavigeringen att lotsa in två bilar i samma fil. (Illustration Carnegie Mellon)
Buggar i program som styr automatnavigering i bilar får bara inte förekomma. Nu finns en modell att säkra programmen.
Forskare vid Carnegie Mellon under ledning av Andre Platzer har utvecklat en modell för att säkra att de komplexa datasystemen fungerar med en mängd automatstyrda bilar som ska samsas på exempelvis en flerfilig motorväg.
Att söka buggar i enskilda system kan vara nog så utmanande, men när det gäller automatnavigering av bilar handlar det om processorer och programvara i olika fordon som helst ska kunna kommunicera med varandra så att trafiken flyter på effektivast möjliga vis utan att olyckor inträffar.