I detta dokument tar vi upp den roll som middleware spelar för att möjliggöra robusta och motståndskraftiga cyberfysiska system (CPS) i framtiden. I synnerhet kommer vi att fokusera på hur anpassningstjänster kan användas för att förbättra tillförlitligheten i instrumenterade it-fysiska system baserade på principerna för "beräkningsreflektion". CPS-miljöer innehåller en mängd olika avkännings- och aktiveringsanordningar i en distribuerad arkitektur; en sådan spridning används för att skapa en digital representation av den föränderliga fysiska världen och dess processer för användning av ett brett spektrum av tillämpningar. CPS-tillämpningar, särskilt uppdragskritiska uppgifter, måste utföras på ett tillförlitligt sätt trots störningar orsakade av fel och begränsningar i avkänning, kommunikation och beräkning. I detta dokument diskuteras en rad tillämpningar, deras tillförlitlighetsbehov och potentiella tillförlitlighetshål som kan orsaka prestandadegradering och applikationsfel. I synnerhet skiljer vi mellan begreppet infrastruktur och informationstillförlitlighet och illustrerar behovet av att formellt modellera och resonera om en rad CPS-tillämpningar och deras behov av avlösningsförmåga. Formella metoder baserade verktyg kan hjälpa oss att utforma meningsfulla cross-layer anpassningstekniker på olika systemskikt i CPS-miljön och därmed uppnå end-to-end tillförlitlighet på både infrastruktur- och informationsnivåer.
I Ref skiljer författarna mellan begreppen informations- och infrastruktursäkerhet och illustrerar tydligt behovet av att formellt modellera och resonera om tillförlitligheten i CPS-tillämpningar.
Resilient dependable cyber-physical systems: a middleware perspective
{'venue': 'Journal of Internet Services and Applications', 'journal': 'Journal of Internet Services and Applications', 'mag_field_of_study': ['Computer Science']}