An approach based on dynamic UML diagrams and on a token player algorithm for the scenario verification of real time systems

被引：0

作者：

Julia, S ^{[1
]}

Kanacilo, EM ^{[1
]}

机构：

[1] Univ Fed Uberlandia, Fac Ciencia Comp, BR-38400902 Uberlandia, MG, Brazil

来源：

SIMULATION IN INDUSTRY | 2002年

关键词：

scheduling; model analysis; verification; real time; UML; p-time Petri net;

D O I：

暂无

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

The objective of this article is to present an approach based on UML dynamic diagrams and on p-time Petri Nets for scenario verification of Real Time Systems. The main idea consists of translating the sequence diagrams which express the initial specifications of the system in a unique p-time Petri Net model which represents the global behaviour of the entire system. A Token Player algorithm used for the scheduling problem of Real Time Systems and which can be seen as a simulation technique of a formal model is then applied to the obtained p-time Petri Net model for scenario verification. The approach is illustrated through an example of a batch system which can be seen as a particular case of a Real Time System.

引用

页码：377 / 381

页数：5

共 50 条

[41] Token-based Approach for Real-time Plagiarism Detection in Digital Designs
Wan, Han
Liu, Kangxu
Gao, Xiaopeng
2018 IEEE FRONTIERS IN EDUCATION CONFERENCE (FIE), 2018,
[42] A Dynamic Verification Mechanism for Real-time Self-adaptive Systems
Tsuda, Hiroki
Nakagawa, Hiroyuki
Tsuchiya, Tatsuhiro
2016 IEEE 1ST INTERNATIONAL WORKSHOPS ON FOUNDATIONS AND APPLICATIONS OF SELF* SYSTEMS (FAS*W), 2016, : 265 - 266
[43] Real-time dynamic optimization of nonlinear systems: A flatness-based approach
Guay, M.
2005 44TH IEEE CONFERENCE ON DECISION AND CONTROL & EUROPEAN CONTROL CONFERENCE, VOLS 1-8, 2005, : 5842 - 5847
[44] Real-time dynamic optimization of nonlinear systems: A flatness-based approach
Guay, M
Peters, N
COMPUTERS & CHEMICAL ENGINEERING, 2006, 30 (04) : 709 - 721
[45] Design of speaker verification systems with the use of an algorithm of Dynamic Time Warping (DTW)
Geppener V.V.
Simonchik K.K.
Haidar A.S.
Pattern Recognition and Image Analysis, 2007, 17 (4) : 470 - 479
[46] Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams
Lima, Bruno
Faria, Joao Pascoal
ICSOFT: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES, 2017, : 459 - 466
[47] Object Oriented Software Architecture Design based on UML/Petri Net approach for deadlock prevention of Real Time Systems
Bacala Junior, Silvio
Julia, Stephane
JOURNAL OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING, 2005, 5 (01) : S67 - S83
[48] Priority Based Dynamic Round Robin (PBDRR) Algorithm with Intelligent Time Slice for Soft Real Time Systems
Mohanty, Rakesh
Behera, H. S.
Patwari, Khusbu
Dash, Monisha
Prasanna, M. Lakshmi
INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2011, 2 (02) : 46 - 50
[49] The Verus tool: A quantitative approach to the formal verification of real-time systems
Campos, S
Clarke, E
Minea, M
COMPUTER AIDED VERIFICATION, 1997, 1254 : 452 - 455
[50] An approach for designing real-time embedded systems from RT-UML specifications
Computer Science Institute, UFRGS, Brazil
不详
不详
1600, 117-122 (2005):

← 1 2 3 4 5 →