I detta dokument beskrivs en modulär representations- och kompositionsanalys av ett systems hård- och programvarukomponenter, så kallade Fault Propagation and Transformation Calculus (FPTC). Vi visar hur, med tanke på en arkitektonisk beskrivning av hur komponenter kombineras till ett helt system, tillsammans med ett FPTC-uttryck av varje komponents felbeteende, hela systemets felegenskaper kan beräknas automatiskt från de enskilda FPTC-uttrycken. Ur säkerhetssynpunkt ger detta en viss uppfattning om robusthet: systemets förmåga att tåla vissa typer av fel i enskilda komponenter. Det ger också ett sätt att förstå hur och var man kan utveckla felboende inom en arkitektur.
I REF introduceras en modulär representation kallad Fault Propagation and Transformation Calculus (FPTC).
Modular architectural representation and analysis of fault propagation and transformation
{'venue': 'Proc. FESCA 2005, ENTCS 141(3), Elsevier', 'journal': None, 'mag_field_of_study': ['Computer Science']}