I detta dokument undersöks konsekvenserna av att använda moderna superskalarprocessorer inom det säkerhetskritiska området. För det första ges en beskrivning av nuvarande certifieringspraxis och utrustning som bakgrund. Detta följs av en beskrivning av certifieringsargumentet för en processor när den används i en säkerhetskritisk tillämpning. Under hela presentationen av argumentet beaktas två typer av moderna processorer, kommersiella off-the-shelf (COTS) processorer och specialdesignade skräddarsydda enheter. Detta gör det möjligt att ta fram positiva och negativa egenskaper hos processorer som kan användas som en del av valet (för COTS) eller design (för skräddarsydda) processen.
Bate m.fl. REF diskuterar användningen av moderna processorer i säkerhetskritiska applikationer.
Use of modern processors in safety−critical applications
{'venue': 'The Computer Journal', 'journal': None, 'mag_field_of_study': ['Computer Science']}