Citation
Marco Di Natale. "Time and Schedulability analysis of Stateflow models". Talk or presentation, 23, October, 2012.

Abstract
Model-based design of embedded systems using Synchronous Reactive (SR) models is among the best practices for software development in the automotive and aeronautics industry. The correct implementation of an SR model must guarantee the synchronous assumption, that is, all the system reactions complete before the next event. This assumption can be verified using schedulability analysis, but the analysis can be quite challenging when the system also consists of blocks implementing finite state machines, as in modern modeling tools like Simulink and SCADE.

Electronic downloads

• dreams-marco-di-natale-2012.pdf · application/download · 2047 kbytes

• HTML

  Marco Di Natale. <a
  href="http://chess.eecs.berkeley.edu/pubs/944.html"
  ><i>Time and Schedulability analysis of Stateflow
  models</i></a>, Talk or presentation,  23,
  October, 2012.

• Plain text

  Marco Di Natale. "Time and Schedulability analysis of
  Stateflow models". Talk or presentation,  23, October,
  2012.

• BibTeX

  @presentation{DiNatale12_TimeSchedulabilityAnalysisOfStateflowModels,
      author = {Marco Di Natale},
      title = {Time and Schedulability analysis of Stateflow
                models},
      day = {23},
      month = {October},
      year = {2012},
      abstract = {Model-based design of embedded systems using
                Synchronous Reactive (SR) models is among the best
                practices for software development in the
                automotive and aeronautics industry. The correct
                implementation of an SR model must guarantee the
                synchronous assumption, that is, all the system
                reactions complete before the next event. This
                assumption can be verified using schedulability
                analysis, but the analysis can be quite
                challenging when the system also consists of
                blocks implementing finite state machines, as in
                modern modeling tools like Simulink and SCADE. },
      URL = {http://chess.eecs.berkeley.edu/pubs/944.html}
  }
  

Posted by David Broman on 23 Oct 2012.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.