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

2014 ◽  
Vol 26 (2) ◽  
pp. 983-991
Author(s):  
Zhao Tian ◽  
Zun-Dong Zhang ◽  
Yang-Dong Ye ◽  
Li-Min Jia
Keyword(s):  
Petri Nets ◽  
Real Time ◽  
Time Petri Nets ◽  
Time System ◽  
Real Time System

Formal Verification of UML2 Timing Diagrams based on Time Petri Nets

2016 ◽  
Vol 8 (2) ◽  
pp. 87-97 ◽  
Author(s):  
Aymen Louati ◽  
Kamel Barkaoui
Keyword(s):  
Petri Nets ◽  
Formal Verification ◽  
Real Time ◽  
Unified Modeling Language ◽  
Time Petri Nets ◽  
Object Constraint Language ◽  
Real Time System ◽  
Interaction Diagram ◽  
Timing Diagram ◽  
System Verification

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.

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

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.

The Goal-Setting Model in a Multiagent Hard Real-Time System

Vestnik MEI ◽  
2018 ◽  
Vol 5 (5) ◽  
pp. 73-78
Author(s):  
Igor В. Fominykh ◽  
◽  
Sergey V. Romanchuk ◽  
Nikolay Р. Alekseev ◽  
◽  
...  
Keyword(s):  
Real Time ◽  
Goal Setting ◽  
Time System ◽  
Real Time System ◽  
Hard Real Time

Design of Preliminary Experiments with the Sun Java Real-Time System

2006 ◽  
Author(s):  
T. S. Cook ◽  
D. Drusinsky ◽  
J. B. Michael ◽  
T. W. Otani ◽  
M. Shing
Keyword(s):  
Real Time ◽  
The Sun ◽  
Time System ◽  
Real Time System
Sign in / Sign up

Export Citation Format

Share Document