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

Tai Hyo Kim, Sungdeok 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 publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages82-98
Number of pages17
Volume4320 LNCS
DOIs
Publication statusPublished - 2006 Dec 1
Externally publishedYes
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)03029743
ISSN (Electronic)16113349

Other

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

Fingerprint

Real time systems
Chart
System Design
Semantics
Systems analysis
Satellites
Real-time
Chemical analysis
Notation
Periodic Tasks
Formal Semantics
Requirements
Timing
Iteration
Subset
Software
Alternatives
Demonstrate

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Kim, T. H., & Cha, S. (2006). Timed high-level message sequence charts for real-time system design. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4320 LNCS, 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

Timed high-level message sequence charts for real-time system design. / Kim, Tai Hyo; Cha, Sungdeok.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4320 LNCS 2006. p. 82-98 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4320 LNCS).

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

Kim, TH & Cha, S 2006, Timed high-level message sequence charts for real-time system design. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 4320 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4320 LNCS, pp. 82-98, 5th International Workshop on System Analysis and Modeling: Language Profiles, SAM 2006, Kaiserslautern, Germany, 06/5/31. https://doi.org/10.1007/11951148_6
Kim TH, Cha S. Timed high-level message sequence charts for real-time system design. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4320 LNCS. 2006. p. 82-98. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/11951148_6
Kim, Tai Hyo ; Cha, Sungdeok. / Timed high-level message sequence charts for real-time system design. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4320 LNCS 2006. pp. 82-98 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{6e7d5faefbdd430ea48d157859a54b7d,
title = "Timed high-level message sequence charts for real-time system design",
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.",
author = "Kim, {Tai Hyo} and Sungdeok Cha",
year = "2006",
month = "12",
day = "1",
doi = "10.1007/11951148_6",
language = "English",
isbn = "3540683712",
volume = "4320 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "82--98",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

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

AU - Kim, Tai Hyo

AU - Cha, Sungdeok

PY - 2006/12/1

Y1 - 2006/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=79952266466&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=79952266466&partnerID=8YFLogxK

U2 - 10.1007/11951148_6

DO - 10.1007/11951148_6

M3 - Conference contribution

AN - SCOPUS:79952266466

SN - 3540683712

SN - 9783540683711

VL - 4320 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 82

EP - 98

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -