Browsing by Author "Zhou, Shikun"

Now showing 1 - 3 of 3
  • Thumbnail Image
    ItemOpen Access
    Compositional framework for the guided evolution of time-critical systems
    (De Montfort University, 2002) Zhou, Shikun
  • Thumbnail Image
    ItemOpen Access
    A framework for analysing the effect of "change" in legacy code
    (2005-09-05) Zhou, Shikun; Zedan, Hussein; Cau, A. (Antonio)
    We propose a sound and practical approach, based on a formal method (known as Interval Temporal Logic), to cope with “change” and analyse its effect. The approach allows us to capture a snapshot of system’s behaviour over which various interesting properties, such as liveness, timeliness and safety properties, can be validated compositionally. These properties may include invariants that are required to be valid after changes have taken place. We also present and evaluate design and implementation of a formal tool, AnaTempura, which supports the developed approach. A case study is presented to illustrate our approach and the tool.
  • No Thumbnail Available
    ItemMetadata only
    Run-time analysis of time-critical systems.
    (Elsevier, 2005-05-01) Cau, A. (Antonio); Zedan, Hussein; Zhou, Shikun