Presentation | 2014-08-21 Validation of UML Timing Diagrams Using Timed Automata Kengo KAJIMURA, Yoshiyuki SHINKAWA, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | Originally, UML had mainly been widely used as a model description language for analyzing, designing, manufacturing and evaluating enterprise operational systems. However, emerging embedded systems required more hardware oriented modeling capability, and from UML 2.0, the timing diagram is available for this purpose. While UML timing diagram can represent the state transitions of each object, along with the interactions between them simultaneously, including time constraints, which are previously expressed using state machine diagram and sequence diagram respectively, we need to create a timing diagram for each behavioral instance. As a result, it seems difficult to evaluate the correctness and consistency of the whole system behavior. The paper presents an approach to evaluating and validating the correctness and consistency of a system expressed in the form of multiple timing diagrams, which are to be integrated in to a single timed automaton for each object. These aoutomata are expressed as UPPAAL models with channel communication, and are evaluated and validated through simulation. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | UML Timing Diagram / Timed Automata / Model Checking / Time Constraint / UPPAAL |
Paper # | SWIM2014-11 |
Date of Issue |
Conference Information | |
Committee | SWIM |
---|---|
Conference Date | 2014/8/14(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Software Interprise Modeling (SWIM) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Validation of UML Timing Diagrams Using Timed Automata |
Sub Title (in English) | |
Keyword(1) | UML Timing Diagram |
Keyword(2) | Timed Automata |
Keyword(3) | Model Checking |
Keyword(4) | Time Constraint |
Keyword(5) | UPPAAL |
1st Author's Name | Kengo KAJIMURA |
1st Author's Affiliation | Department of Science and Engineering, Ryukoku University() |
2nd Author's Name | Yoshiyuki SHINKAWA |
2nd Author's Affiliation | Department of Science and Engineering, Ryukoku University |
Date | 2014-08-21 |
Paper # | SWIM2014-11 |
Volume (vol) | vol.114 |
Number (no) | 188 |
Page | pp.pp.- |
#Pages | 5 |
Date of Issue |