*banner
 

A Model-Based Design Methodology for Cyber-Physical Systems
Jeff C. Jensen, Danica Chang, Edward A. Lee

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

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

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