[NRG] Reminder: NRG Meeting: Verifiably Safe Software-Defined Networks f... @ Mon Apr 1, 2013 11am - 12pm (NRG Calendar)

Google 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

Event details:  

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  
this calendar.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://cs-mailman.bu.edu/pipermail/nrg-l/attachments/20130331/f6f190cb/attachment.html>

More information about the NRG-L mailing list