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

Authors:
Tai Hyo Kim;Sung Deok Cha
Affiliations:
Division of Computer Science, Korea Advanced Institute of Science and Technology, Daejeon, Republic of Korea;Division of Computer Science, Korea Advanced Institute of Science and Technology, Daejeon, Republic of Korea
Venue:
SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles
Year:
2006

Citing 14
Cited 1

Modeling concurrency with partial orders

International Journal of Parallel Programming
Operational semantics for MSC'96

Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue on advanced topics on SDL and MSC
From MSCs to statecharts

DIPES '98 Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems
Synthesis of Behavioral Models from Scenarios

IEEE Transactions on Software Engineering
Realizability and Verification of MSC Graphs

ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts

TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
An Analyser for Mesage Sequence Charts

TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Time consistency of MSC-2000 specifications

Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine

Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
MSC+: From Requirement to Prototyped Systems

ECRTS '01 Proceedings of the 13th Euromicro Conference on Real-Time Systems
Scenario and Property Checking of Real-Time Systems Using a Synchronous Approach

ISORC '01 Proceedings of the Fourth International Symposium on Object-Oriented Real-Time Distributed Computing
Timing Analysis of Message Sequence Charts

Timing Analysis of Message Sequence Charts
From Live Sequence Charts to State Machines and Back: A Guided Tour

IEEE Transactions on Software Engineering
Capturing overlapping, triggered, and preemptive collaborations using MSCs

FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering

An evaluation of timed scenario notations

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

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.