System-Level Design Under Confidentiality and Integrity Constraints
Janos Sztipanovits

Citation
Janos Sztipanovits. "System-Level Design Under Confidentiality and Integrity Constraints". Talk or presentation, 5, November, 2015.

Abstract
The goal of system-level design in CPS is the synthesis of architectures that satisfy requirements related to essential design concerns. This research effort focuses on a co-design approach that is able to satisfy simultaneously functional, timing, and security requirements. After developing a semantic framework for the synthesis problem that can span the selected design concerns, we have developed algorithms for generating architectures that satisfy all constraints. The talk will summarize earlier results and discuss latest progress in applying the method in the transportation domain.

Electronic downloads

Internal. This publication has been marked by the author for FORCES-only distribution, so electronic downloads are not available without logging in.

Citation formats

• HTML

  Janos Sztipanovits. <a
  href="http://www.cps-forces.org/pubs/104.html"
  ><i>System-Level Design Under Confidentiality and
  Integrity Constraints</i></a>, Talk or
  presentation,  5, November, 2015.

• Plain text

  Janos Sztipanovits. "System-Level Design Under
  Confidentiality and Integrity Constraints". Talk or
  presentation,  5, November, 2015.

• BibTeX

  @presentation{Sztipanovits15_SystemLevelDesignUnderConfidentialityIntegrityConstraints,
      author = {Janos Sztipanovits},
      title = {System-Level Design Under Confidentiality and
                Integrity Constraints},
      day = {5},
      month = {November},
      year = {2015},
      abstract = {The goal of system-level design in CPS is the
                synthesis of architectures that satisfy
                requirements related to essential design concerns.
                This research effort focuses on a co-design
                approach that is able to satisfy simultaneously
                functional, timing, and security requirements.
                After developing a semantic framework for the
                synthesis problem that can span the selected
                design concerns, we have developed algorithms for
                generating architectures that satisfy all
                constraints. The talk will summarize earlier
                results and discuss latest progress in applying
                the method in the transportation domain.},
      URL = {http://cps-forces.org/pubs/104.html}
  }
  

Posted by Carolyn Winter on 5 Nov 2015.
Groups: forces
For additional information, see the Publications FAQ or contact webmaster at cps-forces org.