Abstract-Cyber-Physical Systems (CPS) integrera diskrettime computing och kontinuerliga fysiska-världen enheter, som ofta är trådlöst sammankopplade. Användning av trådlösa säkerhetskritiska CPS (kontroll, sjukvård etc.) kräver säkerhetsgarantier trots kommunikationsfel. Detta dokument är inriktat på en viktig uppsättning av sådana säkerhetsbestämmelser: Korrekt Temporal-Embedding (PTE). Vår lösning introducerar hybridautomata för att formellt beskriva och analysera CPS designmönster. Vi föreslår ett nytt hyresbaserat designmönster, tillsammans med slutna konfigurationsbegränsningar, för att garantera PTE-säkerhetsregler vid godtyckliga fel på trådlös kommunikation. Vi föreslår en formell metod för att omvandla designmönstret hybrid automata till specifika trådlösa CPS-konstruktioner. Denna metod kan effektivt isolera parametrar i den fysiska världen från att påverka PTE-säkerheten i den resulterande specifika konstruktionen. Vi genomför en fallstudie på lasertrakeotomi trådlös CPS för att visa att det resulterande systemet är säkert och kan motstå kommunikationsstörningar.
Tan och Al. I REF föreslogs ett designmönster för trådlösa medicinska Cyber-Physical Systems (CPS).
Guaranteeing Proper-Temporal-Embedding safety rules in wireless CPS: A hybrid formal modeling approach
{'venue': '2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)', 'journal': '2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)', 'mag_field_of_study': ['Computer Science']}