*banner
 

High-Confidence Cyber-Physical Co-Design
David Broman

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

Citation formats  
  • 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.

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.

You are not logged in 
©2002-2017 Chess