Citation
Arne Hamann. "Formal Analysis of Timing Effects on Closed-loop Properties of Cyber Physical Systems". Talk or presentation, 7, October, 2014.

Abstract
The underlying theories of, both, control engineering and real-time systems engineering, assume idealized system abstractions that mutually neglect central aspects of the other discipline. Control engineering theory usually assumes jitter free sampling and insignificant (constant) input-output latencies disregarding complex real-world timing effects. Real-time systems theory, on the other hand, uses abstract performance models that neglect the functional behavior, and derives worst-case situations that have little expressiveness for control functionalities in physically dominated automotive systems. However, there is a lot to gain from a systematic co-engineering between both disciplines, increasing design efficiency and confidence. In this talk an approach is presented that integrates state-of-the-art timing models into functional analysis. A general system model is presented and integrated into closed-loop reachability analysis using the hybrid system state space explorer SpaceEx. This enables a systematic co-engineering between both disciplines, increasing design efficiency and confidence. The approach is demonstrated based on an industrial example, the control software of an electro-mechanical braking system.

Electronic downloads

• 2014_10_07_Talk_Hamann_UC_Berkeley.pdf · application/pdf · 1599 kbytes

• HTML

  Arne Hamann. <a
  href="http://chess.eecs.berkeley.edu/pubs/1076.html"
  ><i>Formal Analysis of Timing Effects on
  Closed-loop Properties of Cyber Physical
  Systems</i></a>, Talk or presentation,  7,
  October, 2014.

• Plain text

  Arne Hamann. "Formal Analysis of Timing Effects on
  Closed-loop Properties of Cyber Physical Systems". Talk
  or presentation,  7, October, 2014.

• BibTeX

  @presentation{Hamann14_FormalAnalysisOfTimingEffectsOnClosedloopProperties,
      author = {Arne Hamann},
      title = {Formal Analysis of Timing Effects on Closed-loop
                Properties of Cyber Physical Systems},
      day = {7},
      month = {October},
      year = {2014},
      abstract = {The underlying theories of, both, control
                engineering and real-time systems engineering,
                assume idealized system abstractions that mutually
                neglect central aspects of the other discipline.
                Control engineering theory usually assumes jitter
                free sampling and insignificant (constant)
                input-output latencies disregarding complex
                real-world timing effects. Real-time systems
                theory, on the other hand, uses abstract
                performance models that neglect the functional
                behavior, and derives worst-case situations that
                have little expressiveness for control
                functionalities in physically dominated automotive
                systems. However, there is a lot to gain from a
                systematic co-engineering between both
                disciplines, increasing design efficiency and
                confidence. In this talk an approach is presented
                that integrates state-of-the-art timing models
                into functional analysis. A general system model
                is presented and integrated into closed-loop
                reachability analysis using the hybrid system
                state space explorer SpaceEx. This enables a
                systematic co-engineering between both
                disciplines, increasing design efficiency and
                confidence. The approach is demonstrated based on
                an industrial example, the control software of an
                electro-mechanical braking system.},
      URL = {http://chess.eecs.berkeley.edu/pubs/1076.html}
  }
  

Posted by Armin Wasicek on 9 Oct 2014.
Groups: chess chessworkshop
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.