Citation
Jeff C. Jensen, Danica Chang, Edward A. Lee. "A Model-Based Design Methodology for Cyber-Physical Systems". Wireless Communications and Mobile Computing Conference (IWCMC), 2011 7th International, 1666 - 1671, 6, July, 2011.

Abstract
Model-based design is a powerful design technique for cyber-physical systems, but too often literature assumes knowledge of a methodology without reference to an explicit design process, instead focusing on isolated steps such as simulation, software synthesis, or verification. We combine these steps into an explicit and holistic methodology for model-based design of cyber-physical systems from abstraction to architecture, and from concept to realization. We decompose model-based design into ten fundamental steps, describe and evaluate an iterative design methodology, and evaluate this methodology in the development of a cyber-physical system.

Electronic downloads

• JensenEtAl_CPS_CyPhy.pdf · application/pdf · 1878 kbytes
• http://dx.doi.org/10.1109/IWCMC.2011.5982785

• HTML

  Jeff C. Jensen, Danica Chang, Edward A. Lee. <a
  href="http://chess.eecs.berkeley.edu/pubs/837.html"
  >A Model-Based Design Methodology for Cyber-Physical
  Systems</a>, Wireless Communications and Mobile
  Computing Conference (IWCMC), 2011 7th International, 1666 -
  1671, 6, July, 2011.

• Plain text

  Jeff C. Jensen, Danica Chang, Edward A. Lee. "A
  Model-Based Design Methodology for Cyber-Physical
  Systems". Wireless Communications and Mobile Computing
  Conference (IWCMC), 2011 7th International, 1666 - 1671, 6,
  July, 2011.

• BibTeX

  @inproceedings{JensenChangLee11_ModelBasedDesignMethodologyForCyberPhysicalSystems,
      author = {Jeff C. Jensen and Danica Chang and Edward A. Lee},
      title = {A Model-Based Design Methodology for
                Cyber-Physical Systems},
      booktitle = {Wireless Communications and Mobile Computing
                Conference (IWCMC), 2011 7th International},
      pages = {1666 - 1671},
      day = {6},
      month = {July},
      year = {2011},
      abstract = {Model-based design is a powerful design technique
                for cyber-physical systems, but too often
                literature assumes knowledge of a methodology
                without reference to an explicit design process,
                instead focusing on isolated steps such as
                simulation, software synthesis, or verification.
                We combine these steps into an explicit and
                holistic methodology for model-based design of
                cyber-physical systems from abstraction to
                architecture, and from concept to realization. We
                decompose model-based design into ten fundamental
                steps, describe and evaluate an iterative design
                methodology, and evaluate this methodology in the
                development of a cyber-physical system.},
      URL = {http://chess.eecs.berkeley.edu/pubs/837.html}
  }
  

Posted by Mary Stewart on 26 Apr 2011.
Groups: actionwebs
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.