[NRG] Reminder: NRG Meeting: Verifiably Safe Software-Defined Networks f... @ Mon Apr 1, 2013 11am - 12pm (NRG Calendar)
calendar-notification at google.com
Sun Mar 31 10:59:47 EDT 2013
This is a reminder for:
Title: NRG Meeting: Verifiably Safe Software-Defined Networks for
Cyber-Physical Systems (Rick Skowyra)
Title: Verifiably Safe Software-Defined Networks for Cyber-Physical Systems
Presenter: Rick Skowyra
Next generation cyber-physical systems (CPS) are expected to be deployed
in domains which require scalability as well as performance under dynamic
conditions. This scale and dynamicity will require that CPS communication
networks be programmatic (i.e., not requiring manual intervention at any
stage), but still maintain iron-clad safety guarantees. Software-Defined
Networking standards like OpenFlow provide a means for scalably building
tailor-made network architectures, but there is no guarantee that these
systems are safe, correct, or secure.
In this work we propose a methodology and accompanying tools for modeling
and composing distributed systems such that existing formal verification
techniques can be transparently used to analyze critical requirements and
properties prior to system implementation. We demonstrate this methodology
by iteratively modeling and verifying a CPS application using and Open-Flow
learning switch network with respect to network correctness, network
convergence, and mobility-related properties.
We posit that a design strategy based on the complementary pairing of
software-defined networking and formal verification would enable the CPS
community to build next generation systems without sacrificing the safety
and reliability that these systems must deliver.
When: Mon Apr 1, 2013 11am – 12pm Eastern Time
Where: MCS-148, 111 Cummington Mall, Boston, MA 02215
Calendar: NRG Calendar
* larissaspinelli at gmail.com - creator
Invitation from Google Calendar: https://www.google.com/calendar/
You are receiving this email at the account nrg-l at cs.bu.edu because you are
subscribed for reminders on calendar NRG Calendar.
To stop receiving these notifications, please log in to
https://www.google.com/calendar/ and change your notification settings for
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the NRG-L