Logotype Mälardalenn University

PROGRESS publications



Analyzing a Pattern-Based Model of a Real-Time Turntable System

Full text:  
Authors: Davor Slutej (external), John Håkansson (Department of Information Technology, Uppsala University), Jagadish Suryadevara, Cristina Seceleanu, Paul Pettersson
Source: 6th International Workshop on Formal Engineering approaches to Software Components and Architectures(FESCA), ETAPS'09, York, UK, March, p 161-178, Electronic Notes in Theoretical Computer Science (ENTCS), Vol 253, Elsevier, Editor(s):Jens Happe, Barbora Zimmerova
 

Abstract

Designers of industrial real-time systems are commonly faced with the problem of complex system modeling and analysis, even if a component-based design paradigm is employed. In this paper, we present a casestudy in formal modeling and analysis of a turntable system, for which the components are described in the SaveCCM language. The search for general principles underlying the internal structure of our real-time system has motivated us to propose three modeling patterns of common behaviors of real-time components, which can be instantiated in appropriate design contexts. The benefits of such reusable patterns are shown in the case-study, by allowing us to produce easy-to-read and manageable models for the real-time components of the turntable system. Moreover, we believe that the patterns may pave the way toward a generic pattern based modeling framework targeting real-time systems in particular.
 

BibTeX entry

@inproceedings{Slutej_1607:2009,
   author = {Davor Slutej and John H{\aa}kansson and Jagadish Suryadevara and Cristina Seceleanu and Paul Pettersson},
   title = {Analyzing a Pattern-Based Model of a Real-Time Turntable System},
   booktitle = {6th International Workshop on Formal Engineering approaches to Software Components and Architectures(FESCA), ETAPS'09, York, UK, March},
   month = {September},
   year = {2009},
   pages = {161-178},
   editor = {Jens Happe, Barbora Zimmerova},
   publisher = {Electronic Notes in Theoretical Computer Science (ENTCS), Vol 253, Elsevier},
   url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=1607},
}

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