*banner
 

Formal Analysis of Timing Effects on Closed-loop Properties of Cyber Physical Systems
Arne Hamann

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

Citation formats  
  • 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.

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.

©2002-2018 Chess