Citation
Marjan Sirjani. "Schedulability, Deadlock Freedom, and Performance Analysis of Timed Actors". Talk or presentation, 4, June, 2013.

Abstract
Asynchronous event-based systems can be modeled using Timed Rebeca with least effort. Network and computational delays, periodic events, and required deadlines can be expressed in the model. The language is actor-based and the syntax is Java-like. Model checking and simulation tools are built based on the formal semantics of the language given as SOS rules. For deadlock-freedom and schedulability analysis a so-called floating-time transition system is introduced which reduced the state space by exploiting the isolation of method execution in the model. For performance analysis, a simulation tool is developed which uses McErlang as the backend. Simulation traces are saved in SQL database for further analysis. Case studies are used to show the applicability of the language and the tools.

Electronic downloads

• dreams-sirjani-june-2013.pdf · application/pdf · 8389 kbytes

• HTML

  Marjan Sirjani. <a
  href="http://chess.eecs.berkeley.edu/pubs/998.html"
  ><i>Schedulability, Deadlock Freedom, and
  Performance Analysis of Timed Actors</i></a>,
  Talk or presentation,  4, June, 2013.

• Plain text

  Marjan Sirjani. "Schedulability, Deadlock Freedom, and
  Performance Analysis of Timed Actors". Talk or
  presentation,  4, June, 2013.

• BibTeX

  @presentation{Sirjani13_SchedulabilityDeadlockFreedomPerformanceAnalysisOf,
      author = {Marjan Sirjani},
      title = {Schedulability, Deadlock Freedom, and Performance
                Analysis of Timed Actors},
      day = {4},
      month = {June},
      year = {2013},
      abstract = {Asynchronous event-based systems can be modeled
                using Timed Rebeca with least effort. Network and
                computational delays, periodic events, and
                required deadlines can be expressed in the model.
                The language is actor-based and the syntax is
                Java-like. Model checking and simulation tools are
                built based on the formal semantics of the
                language given as SOS rules. For deadlock-freedom
                and schedulability analysis a so-called
                floating-time transition system is introduced
                which reduced the state space by exploiting the
                isolation of method execution in the model. For
                performance analysis, a simulation tool is
                developed which uses McErlang as the backend.
                Simulation traces are saved in SQL database for
                further analysis. Case studies are used to show
                the applicability of the language and the tools.},
      URL = {http://chess.eecs.berkeley.edu/pubs/998.html}
  }
  

Posted by David Broman on 11 Jul 2013.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.