摘要 |
Oppfinnelsen omhandler forbedret pålitelighet i sikkerhetskritisk kontroll av objekter i den virkelige verden. Eksempler på objekter i den virkelige verden som er gjenstand for sikkerhetskontroll er gass/røyk/ild- deteksjonssystemer, oljeboringsutstyr, rør og rørledninger, destillasjonstårn, kompressorer, transportbånd, kjeler og turbiner. En testapplikasjon innbefatter alle relevante høynivå språkkonstruksjoner og utføres repeterende som assemblerkode i en industriell styreanordning, hvis CPU er gjenstand for feildeteksjon under on-line sikkerhetskontroll. |