Logotype Mälardalenn University

PROGRESS publications



A UPPAAL model for timing analysis of atomic execution in component-based multi-mode systems

Full text:  
Authors: Hang Yin, Hans Hansson
Source: Technical Report, MRTC
 

Abstract

This report provides a complete UPPAAL model of an Atomic Execution Group (AEG) in a component-based multi-mode system (CBMMS) with pipe-and-filter architecture. The purpose of this model is to analyze the worst-case latency due to the atomic execution of this AEG during a mode switch. This worst-case latency plays a significant role in deriving the global mode switch time of a CBMMS.
 

BibTeX entry

@techreport{Yin_2754:2012,
   author = {Hang Yin and Hans Hansson},
   title = {A UPPAAL model for timing analysis of atomic execution in component-based multi-mode systems},
   month = {February},
   year = {2012},
   institution = {M{\aa}lardalen University},
   number = {},
   type = {{T}echnical {R}eport},
   url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=2754},
}

  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2009.11.03