Abstrakt. I detta kapitel presenterar vi metoder för analys och övervakning av tillförlitlighet och prestanda hos uppkopplade system och deras kombinerade användning. Dessa tillvägagångssätt måste ta hänsyn till de uppkopplade systemens dynamik och utvecklingsförmåga. Kapitlet omfattar framför allt den kvantitativa bedömningen av tillförlitlighet och prestandaegenskaper genom ett stokastiskt modellbaserat tillvägagångssätt: För det första ger en översikt över tillförlitliga mätningar och stokastiska modellbaserade tillvägagångssätt den nödvändiga bakgrunden. Därefter beskrivs vårt förslag i Connect om en automatiserad och modulär tillförlitlighetsanalysram för dynamiskt anslutna system. Detta ramverk kan användas offline för systemdesign (särskilt i Connect, för Connector syntes) och on-line, för att kontinuerligt bedöma systembeteende och upptäcka eventuella problem som uppstår i drifttid. För detta ändamål har en generisk, flexibel och modulär övervakningsinfrastruktur utvecklats. Övervakning är kärnan i Connect vision, för att säkerställa körtid observation av specificerade kvantitativa egenskaper och eventuellt utlösa lämpliga reaktioner. Vi fokuserar här på interaktionskedjan mellan övervakning och analys, för att möjliggöra kontinuerlig validering online av specificerad pålitlighet och prestandaegenskaper. Illustrativa exempel på tillämpningar av analys och övervakning ges med hänvisning till scenariot Connect Terrorist Alert.
Bertolino föreslog metoder för att spåra tillförlitlighet och prestanda hos anslutna system REF.
Dependability and Performance Assessment of Dynamic CONNECTed Systems
{'venue': 'SFM', 'journal': None, 'mag_field_of_study': ['Computer Science']}