Composability Verification of Real Time System Models Using Colored Petri Nets

Author(s):  
I. Mahmood ◽  
R. Ayani ◽  
V. Vlassov ◽  
F. Moradi
SIMULATION ◽  
2009 ◽  
Vol 85 (11-12) ◽  
pp. 709-734 ◽  
Author(s):  
Oana Florescu ◽  
Jeroen Voeten ◽  
Bart Theelen ◽  
Henk Corporaal

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

2015 ◽  
Vol 2 (1) ◽  
pp. 35-41
Author(s):  
Rivan Risdaryanto ◽  
Houtman P. Siregar ◽  
Dedy Loebis

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.


Vestnik MEI ◽  
2018 ◽  
Vol 5 (5) ◽  
pp. 73-78
Author(s):  
Igor В. Fominykh ◽  
◽  
Sergey V. Romanchuk ◽  
Nikolay Р. Alekseev ◽  
◽  
...  

Sign in / Sign up

Export Citation Format

Share Document