Citation
Edward A. Lee. "Dependable Cyber-Physical Systems". to appear in Proceedings of Symposium on Dependable Software Engineering Theories, Tools and Applications (SETTA), Beijing, China Nov. 9-11, 2016.

Abstract
Cyber-physical systems are integrations of computation, communication networks, and physical dynamics. Applications include manufacturing, transportation, energy production and distribution, biomedical, smart buildings, and military systems, to name a few. Increasingly, today, such systems leverage Internet technology, despite a significant mismatch in technical objectives. A major challenge today is to make this technology reliable, predictable, and controllable enough for ”important” things, such as safety-critical and mission-critical systems. In this talk, I will analyze how emerging technologies can translate into better models and better engineering methods for this evolving Internet of Important things.

Electronic downloads

• Lee_DependableCPS_SETTA_2016_Abstract.pdf · application/x-octet-stream · 34 kbytes

• HTML

  Edward A. Lee. <a
  href="http://chess.eecs.berkeley.edu/pubs/1179.html"
  >Dependable Cyber-Physical Systems</a>, <i>to
  appear</i> in Proceedings of Symposium on Dependable
  Software Engineering Theories, Tools and Applications
  (SETTA), Beijing, China Nov. 9-11, 2016.

• Plain text

  Edward A. Lee. "Dependable Cyber-Physical
  Systems". <i>to appear</i> in Proceedings
  of Symposium on Dependable Software Engineering Theories,
  Tools and Applications (SETTA), Beijing, China Nov. 9-11,
  2016.

• BibTeX

  @inproceedings{Lee16_DependableCyberPhysicalSystems,
      author = {Edward A. Lee},
      title = {Dependable Cyber-Physical Systems},
      booktitle = {<i>to appear</i> in Proceedings of Symposium on
                Dependable Software Engineering Theories, Tools
                and Applications (SETTA), Beijing, China Nov. 9-11},
      year = {2016},
      abstract = {Cyber-physical systems are integrations of
                computation, communication networks, and physical
                dynamics. Applications include manufacturing,
                transportation, energy production and
                distribution, biomedical, smart buildings, and
                military systems, to name a few. Increasingly,
                today, such systems leverage Internet technology,
                despite a significant mismatch in technical
                objectives. A major challenge today is to make
                this technology reliable, predictable, and
                controllable enough for �important� things,
                such as safety-critical and mission-critical
                systems. In this talk, I will analyze how emerging
                technologies can translate into better models and
                better engineering methods for this evolving
                Internet of Important things.},
      URL = {http://chess.eecs.berkeley.edu/pubs/1179.html}
  }
  

Posted by Mary Stewart on 31 Aug 2016.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.