*banner
 

What Is Real Time Computing? A Personal View
Edward A. Lee

Citation
Edward A. Lee. "What Is Real Time Computing? A Personal View". to appear in IEEE Design & Test, 2017.

Abstract
Today, real-time behavior of programs is a property that emerges from implementations rather than a property that is specified in models. Control over timing behavior of software is difficult to achieve, and timing behavior is neither predictable nor repeatable. This paper argues that this problem can be solved by making a commitment to deterministic models that embrace temporal properties as an integral part of the modeling paradigm.

Electronic downloads

Citation formats  
  • HTML
    Edward A. Lee. <a
    href="http://chess.eecs.berkeley.edu/pubs/1192.html"
    >What Is Real Time Computing? A Personal View</a>,
    <i>to appear in <em>IEEE Design &
    Test</em></i>,  2017.
  • Plain text
    Edward A. Lee. "What Is Real Time Computing? A Personal
    View". <i>to appear in <em>IEEE Design
    & Test</em></i>,  2017.
  • BibTeX
    @article{Lee17_WhatIsRealTimeComputingPersonalView,
        author = {Edward A. Lee},
        title = {What Is Real Time Computing? A Personal View},
        journal = {to appear in <em>IEEE Design \& Test</em>},
        year = {2017},
        abstract = {Today, real-time behavior of programs is a
                  property that emerges from implementations rather
                  than a property that is specified in models.
                  Control over timing behavior of software is
                  difficult to achieve, and timing behavior is
                  neither predictable nor repeatable. This paper
                  argues that this problem can be solved by making a
                  commitment to deterministic models that embrace
                  temporal properties as an integral part of the
                  modeling paradigm.},
        URL = {http://chess.eecs.berkeley.edu/pubs/1192.html}
    }
    

Posted by Mary Stewart on 28 Jun 2017.
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