Team for Research in
Ubiquitous Secure Technology

Citation
Matthew Eby, Jan Werner, Janos Mathe. " Experimental Platform for Model-Based Design of Embedded Systems". Talk or presentation, 27, April, 2006; Poster given at Trust NSF Site Visit.

Abstract
We have developed an experimental platform to test Model-Based approaches to security in embedded systems. A high-fidelity real-time simulation of the physical plant allows for "Hardware"-in-the-Loop testing of embedded controllers. Code Generators create code from security enriched models of the system. We exercise this code on the experimental platform to test for security properties. We show example attacks on a controller for a three tank fluid-transfer system and demonstrate how security models can be mapped to underlying platform services.

Electronic downloads

• eby_ExperimentalPlatformForModelBasedDesign_TrustApril06Poster.ppt · application/vnd.ms-powerpoint · 1235 kbytes

• HTML

  Matthew Eby, Jan Werner, Janos Mathe. <a
  href="http://www.truststc.org/pubs/73.html"
  ><i> Experimental Platform for Model-Based Design
  of Embedded Systems</i></a>, Talk or
  presentation,  27, April, 2006; Poster given at Trust NSF
  Site Visit.

• Plain text

  Matthew Eby, Jan Werner, Janos Mathe. " Experimental
  Platform for Model-Based Design of Embedded Systems".
  Talk or presentation,  27, April, 2006; Poster given at
  Trust NSF Site Visit.

• BibTeX

  @presentation{EbyWernerMathe06_ExperimentalPlatformForModelBasedDesignOfEmbeddedSystems,
      author = {Matthew Eby, Jan Werner, Janos Mathe},
      title = { Experimental Platform for Model-Based Design of
                Embedded Systems},
      day = {27},
      month = {April},
      year = {2006},
      note = {Poster given at Trust NSF Site Visit},
      abstract = {We have developed an experimental platform to test
                Model-Based approaches to security in embedded
                systems. A high-fidelity real-time simulation of
                the physical plant allows for
                "Hardware"-in-the-Loop testing of embedded
                controllers. Code Generators create code from
                security enriched models of the system. We
                exercise this code on the experimental platform to
                test for security properties. We show example
                attacks on a controller for a three tank
                fluid-transfer system and demonstrate how security
                models can be mapped to underlying platform
                services.},
      URL = {http://www.truststc.org/pubs/73.html}
  }
  

Posted by Christopher Brooks on 4 May 2006.
Groups: trust
For additional information, see the Publications FAQ or contact webmaster at www truststc org.