Handling Failures in Cyber-Physical Systems: Potential Directions

Johnson, Taylor T.; Mitra, Sayan

Abstract:

The strong coupling of software and physical processes in the emerging field of cyber-physical systems (CPS) motivates the development of new methods to respond to failures in both the cyber and physical domains. To this end, we propose a study of existing work on handling failures from various disciplines. If these models and methods are applicable to CPS, appropriate extensions should be made to apply them. However, if they are not, then we should head off into uncharted territory, developing new methods, which we suggest to be drawn from fields such as formal methods and verification.

Reference:

Taylor T. Johnson, Sayan Mitra, "Handling Failures in Cyber-Physical Systems: Potential Directions", Presented at RTSS 2009 PhD Student Forum, 2009, dec. (Award for Most Interesting Cyber-Physical Systems Research Problem)

Bibtex Entry:

@misc{johnson2009rtss,
        author          =       {Taylor T. Johnson and Sayan Mitra},
        title           =       {Handling Failures in Cyber-Physical Systems: Potential Directions},
        note        =   {Presented at <a href="http://cse.unl.edu/rtss2008/archive/rtss2009/">RTSS 2009</a> <a href="http://cse.unl.edu/rtss2008/archive/rtss2009/index.php?SelectedItem=PhDForum">PhD Student Forum</a>},
        year            =       {2009},
        month           =       dec,
        gsid        =   {18127665186175310638},
        abstract        =       {The strong coupling of software and physical processes in the emerging field of cyber-physical systems (CPS) motivates the development of new methods to respond to failures in both the cyber and physical domains.  To this end, we propose a study of existing work on handling failures from various disciplines.  If these models and methods are applicable to CPS, appropriate extensions should be made to apply them.  However, if they are not, then we should head off into uncharted territory, developing new methods, which we suggest to be drawn from fields such as formal methods and verification.},
    comment     =   {<b>Award for Most Interesting Cyber-Physical Systems Research Problem</b>},
    pdf = {http://www.taylortjohnson.com/research/johnson2009rtss.pdf},
    slides = {http://www.taylortjohnson.com/research/slides/johnson2009rtss_slides.pdf},
}