Sammanfattning:
|
Datorsystem blir allt mindre och allt mer komplexa. De allra flesta datorsystem är inbyggda system för att kontrollera bilar, tåg, telekommunikationssystem, och flygplan. Det är därför viktigt att datorsystem fungerar korrekt och att de gör det hela dess livslängd. Det är dock allt svårare att försäkra sig om att datorsystem fungerar som det är tänkt hela sin livslängd. Det är redan i dag problem med så kallade ”No Trouble Found (NTF)”, vilket innebär att ett datorsystem under drift visar sig vara felaktigt eller indikerar att något är felaktigt men när systemet tas till en verkstad kan inget fel hittas. Kostnader för detta är höga. NTF och åldrande elektronik är stora utmaningar när system som bilar, tåg, flygplan och telekommunikations system utvecklas. Eftersom datorsystem ofta är själva hjärnan måste man försäkra sig om att hjärnan fungerar.
|