Timed high-level message sequence charts for real-time system design

Tai Hyo Kim, Sung Deok Cha

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

Existing notations for expressing time constraints in high-level message sequence charts (HMSC) may cause ambiguity when used with HMSC compositions such as alternative and iteration. To overcome such limitation, we propose timed high-level message sequence charts (THMSC) which include an unambiguous subset of time constraints and timed edges as a new complementary notation. THMSC is effective in accurately specifying popular requirement patterns such as watchdog timers and periodic tasks. We present the formal semantics and demonstrate the effectiveness of THMSC using a real-world example that formalizes timing requirements for Korea Multi-Purpose Satellite (KOMPSAT) software.

Original languageEnglish
Title of host publicationSystem Analysis and Modeling
Subtitle of host publicationLanguage Profiles - 5th International Workshop, SAM 2006, Revised Selected Papers
Pages82-98
Number of pages17
DOIs
Publication statusPublished - 2006
Event5th International Workshop on System Analysis and Modeling: Language Profiles, SAM 2006 - Kaiserslautern, Germany
Duration: 2006 May 312006 Jun 2

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4320 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other5th International Workshop on System Analysis and Modeling: Language Profiles, SAM 2006
CountryGermany
CityKaiserslautern
Period06/5/3106/6/2

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Timed high-level message sequence charts for real-time system design'. Together they form a unique fingerprint.

  • Cite this

    Kim, T. H., & Cha, S. D. (2006). Timed high-level message sequence charts for real-time system design. In System Analysis and Modeling: Language Profiles - 5th International Workshop, SAM 2006, Revised Selected Papers (pp. 82-98). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4320 LNCS). https://doi.org/10.1007/11951148_6