Abstract-I detta papper presenterar vi SAN-Logic, ett lätt logikbaserat programmeringsparadigm som möjliggör dynamisk progammabilitet och konfiguration av sensor-aktuatorinteraktioner i trådlösa sensornätverk som används för att stödja Cyber-Physical Systems (CPS). Vårt mål är att förenkla komplex CPS-design genom att tillhandahålla en strukturerad modell av interaktioner som automatiskt kan kartläggas och spridas till ett sensor-aktuatornätverk på ett effektivt och skalbart sätt. I motsats till sensornätverk paradigm som distribuerar en applikation i enskilda delprogram, SAN-Logic modellerar systemet som en uppsättning booleska uttryck som kan delas över nätverket som portar i en krets. Användaren definierar interaktioner som tidsinställda asynkrona sekventiella logiska uttryck [1] med sensorer och ställdon som representerar systemets in- och utgångar. Detta tillvägagångssätt är mycket skalbart eftersom varje interaktion en gång utplaceras sker som en sekvens av oberoende och asynkrona händelser. Detta gör det möjligt för SAN-Logic att verka på ett helt distribuerat sätt utan en central myndighet. Med hjälp av detta ramverk sker optimering över flera uppgifter som möjliggör delning av resurser inom nätverket vilket kommer att vara en viktig del av framtida CPS. Redundanta rutter och kombinationslogikens statslösa karaktär (tillsammans med meddelanden om periodisk uppdatering av tillstånd) gör det möjligt för systemet att enkelt hantera paketförluster och misslyckade noder. En stor fördel med detta tillvägagångssätt är förmågan att utnyttja befintliga maskinvarudesign- och syntesverktyg som används av VLSI-designgemenskapen. Vi visar hur boolesk manipulation av logiken kan användas för att ändra kartläggningen av uttryck på nätverket och därmed kan användas för optimering och verifiering. Vi tillhandahåller ett tillvägagångssätt med hjälp av logisk förenkling och kartläggning som minskar meddelande passerar genom att faktorisera gemensamma termer över olika datavägar inom uppgifter och placera mellanliggande termer så att de drar nytta av kortare vägar. I komplexa system ser vi i genomsnitt en 40-procentig minskning av meddelandepassage jämfört med ett genomförande som inte optimerar kommunikationsmönster inom och över uppgifter.
I Wu and Rowe REFs arbete introducerar författarna SAN-Logic, ett lättviktigt logikbaserat programmeringsparadigm, för att möjliggöra den dynamiska programmerbarheten och konfigurationen av WSANs.
Logic-Based Programming for Wireless Sensor-Activator Networks
{'venue': '2011 IEEE/ACM Second International Conference on Cyber-Physical Systems', 'journal': '2011 IEEE/ACM Second International Conference on Cyber-Physical Systems', 'mag_field_of_study': ['Computer Science']}