Now showing items 1-4 of 4

    • Automatic verification of linear controller software 

      Lee, Insup; Pajic, M; Pappas, GJ; Park, J; Sokolsky, O (2015 Proceedings of the International Conference on Embedded Software, EMSOFT 2015, 2015-11-04)
      © 2015 IEEE.We consider the problem of verification of software implementations of linear time-invariant controllers. Commonly, different implementations use different representations of the controller's state, for example ...
    • Model-driven safety analysis of closed-loop medical systems 

      Arney, D; Goldman, J; Lee, Insup; Mangharam, R; Pajic, M; Sokolsky, O (IEEE Transactions on Industrial Informatics, 2014-01-01)
      In modern hospitals, patients are treated using a wide array of medical devices that are increasingly interacting with each other over the network, thus offering a perfect example of a cyber-physical system. We study the ...
    • Robustness of attack-resilient state estimators 

      Bezzo, N; Lee, Insup; Pajic, M; Pappas, GJ; Sokolsky, O; Tabuada, P; Weimer, J (2014 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2014, 2014-01-01)
      The interaction between information technology and phys ical world makes Cyber-Physical Systems (CPS) vulnerable to malicious attacks beyond the standard cyber attacks. This has motivated the need for attack-resilient state ...
    • Safety-critical medical device development using the UPP2SF model translation tool 

      Jiang, Z; Lee, Insup; Mangharam, R; Pajic, M; Sokolsky, O (Transactions on Embedded Computing Systems, 2014-01-01)
      Software-based control of life-critical embedded systems has become increasingly complex, and to a large extent has come to determine the safety of the human being. For example, implantable cardiac pacemakers have over 80,000 ...