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

Citation formats

• 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.
For additional information, see the Publications FAQ or contact webmaster at www truststc org..

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.