Citation
David Broman. "High-Confidence Cyber-Physical Co-Design". in the Proceedings of the Work-in-Progress (WiP) session of the 33rd IEEE Real-Time Systems Symposium (RTSS 2012), Thomas Nolte (ed.), 12, December, 2012.

Abstract
Cyber-physical systems (CPSs) are characterized by combining computation, networks, and physical processes. The rapid development of a CPS with high confidence of its functional correctness is a co-design problem -- the design of the cyber part (embedded control systems and networks) and the physical part influence each other. We propose an integrated language and compiler based approach to address the co-design problem. Our work is based on an extensible host language called Modelyze. We intend to evaluate our approach in the mechatronics domain, where both the model of the physical plant, the control system, and the semantics of translating a model to PRET machine code are defined in Modelyze.

Electronic downloads

• broman-2012-rtss-wip.pdf · application/download · 100 kbytes
• http://www.es.mdh.se/pdf_publications/2721.pdf. (Proceedings of Work-in-Progress Session of the 33rd IEEE Real-Time Systems Symposium, p 12.)

• HTML

  David Broman. <a
  href="http://chess.eecs.berkeley.edu/pubs/957.html"
  >High-Confidence Cyber-Physical Co-Design</a>, in
  the Proceedings of the Work-in-Progress (WiP) session of the
  33rd IEEE Real-Time Systems Symposium (RTSS 2012), Thomas
  Nolte (ed.), 12, December, 2012.

• Plain text

  David Broman. "High-Confidence Cyber-Physical
  Co-Design". in the Proceedings of the Work-in-Progress
  (WiP) session of the 33rd IEEE Real-Time Systems Symposium
  (RTSS 2012), Thomas Nolte (ed.), 12, December, 2012.

• BibTeX

  @inproceedings{Broman12_HighConfidenceCyberPhysicalCoDesign,
      author = {David Broman},
      title = {High-Confidence Cyber-Physical Co-Design},
      booktitle = {in the Proceedings of the Work-in-Progress (WiP)
                session of the 33rd IEEE Real-Time Systems
                Symposium (RTSS 2012)},
      editor = {Thomas Nolte},
      pages = {12},
      month = {December},
      year = {2012},
      abstract = {Cyber-physical systems (CPSs) are characterized by
                combining computation, networks, and physical
                processes. The rapid development of a CPS with
                high confidence of its functional correctness is a
                co-design problem -- the design of the cyber part
                (embedded control systems and networks) and the
                physical part influence each other. We propose an
                integrated language and compiler based approach to
                address the co-design problem. Our work is based
                on an extensible host language called Modelyze. We
                intend to evaluate our approach in the
                mechatronics domain, where both the model of the
                physical plant, the control system, and the
                semantics of translating a model to PRET machine
                code are defined in Modelyze. },
      URL = {http://chess.eecs.berkeley.edu/pubs/957.html}
  }
  

Posted by David Broman on 17 Jan 2013.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.