Analysis of real-time system conflict based on fuzzy time Petri nets

Unified Modeling Language (UML) is using in the design notation in industry and academia projects. Interesting by the critical Real-Time System verification, it is important to ensure its dependability in order to avoid eventual errors. In this paper, the authors aim to extend the UML diagrams by adding a formal verification stage. They tackle with the UML2 timing diagram (TD), as interaction diagram in order to describe the system's behavior in temporal way. For that, the authors give a formal description for TD using Time Petri Nets (TPN). Then, they propose a formal verification by means of Romeo Model Checker. In particular, they show how to formulate quantitative properties using TCTL (timed computation tree logic). In addition, the authors show how they can derive the TCTL formulae from Object Constraint Language-Real Time (OCLRT) constraints. Finally, they illustrate the proposed approach through a real case study.

Download Full-text

Development of real-time system specifications through the refinement of duration interval Petri nets

SMC 2000 Conference Proceedings. 2000 IEEE International Conference on Systems, Man and Cybernetics. 'Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions' (Cat. No.00CH37166) ◽

10.1109/icsmc.2000.884474 ◽

2002 ◽

Cited By ~ 1

Author(s):

D. Gurovic ◽

W. Fengler ◽

J. Nutzel

Keyword(s):

Petri Nets ◽

Real Time ◽

Time System ◽

Real Time System

Download Full-text

Timing constraint Petri nets and their application to schedulability analysis of real-time system specifications

IEEE Transactions on Software Engineering ◽

10.1109/32.341845 ◽

1995 ◽

Vol 21 (1) ◽

pp. 32-49 ◽

Cited By ~ 79

Author(s):

J.J.P. Tsai ◽

S. Jennhwa Yang ◽

Yao-Hsiung Chang

Keyword(s):

Petri Nets ◽

Real Time ◽

Schedulability Analysis ◽

Time System ◽

Real Time System ◽

Timing Constraint

Download Full-text

Real-Time System for Sending Data from Three Clients to One Server with MATLAB

ACMIT Proceedings ◽

10.33555/acmit.v2i1.7 ◽

2015 ◽

Vol 2 (1) ◽

pp. 35-41

Author(s):

Rivan Risdaryanto ◽

Houtman P. Siregar ◽

Dedy Loebis

Keyword(s):

Information System ◽

Real Time ◽

Time System ◽

Real Time System ◽

The Real ◽

Performance Time ◽

Data Process ◽

Effectiveness And Efficiency

The real-time system is now used on many fields, such as telecommunication, military, information system, evenmedical to get information quickly, on time and accurate. Needless to say, a real-time system will always considerthe performance time. In our application, we define the time target/deadline, so that the system should execute thewhole tasks under predefined deadline. However, if the system failed to finish the tasks, it will lead to fatal failure.In other words, if the system cannot be executed on time, it will affect the subsequent tasks. In this paper, wepropose a real-time system for sending data to find effectiveness and efficiency. Sending data process will beconstructed in MATLAB and sending data process has a time target as when data will send.

Download Full-text