Specification and quality assurance of timing constraints in real-time systems development

1992 ◽  
Vol 22 (11) ◽  
pp. 963-984
Author(s):  
Chih-Cheng Lien ◽  
Chien-Chiao Yang
Keyword(s):  
Quality Assurance ◽  
Real Time ◽  
Systems Development ◽  
Timing Constraints ◽  
Real Time Systems ◽  
Time Systems

scholarly journals Time Petri Nets with Action Duration

2013 ◽  
Vol 4 (2) ◽  
pp. 62-83 ◽  
Author(s):  
N. Belala ◽  
D.E. Saїdouni ◽  
R. Boukharrou ◽  
A.C. Chaouche ◽  
A. Seraoui ◽  
...  
Keyword(s):  
Petri Nets ◽  
Real Time ◽  
Timed Automata ◽  
Operational Semantics ◽  
Time Interval ◽  
Timing Constraints ◽  
Time Petri Nets ◽  
Real Time Systems ◽  
High Level ◽  
Time Systems

The design of real-time systems needs a high-level specification model supporting at the same time timing constraints and actions duration. The authors introduce in this paper an extension of Petri Nets called Time Petri Nets with Action Duration (DTPN) where time is associated with transitions. In DTPN, the firing of transitions is bound to a time interval and transitions represent actions which have explicit durations. The authors give an operational semantics for DTPN in terms of Durational Action Timed Automata (DATA). DTPN considers both timing constraints and durations under a true-concurrency semantics with an aim of better expressing concurrent and parallel behaviours of real-time systems.

scholarly journals A hardware-in-the-loop simulation environment for real-time systems development and architecture evaluation

2010 ◽  
Vol 1 (1/2/3) ◽  
pp. 5 ◽  
Author(s):  
Vasily V. Balashov ◽  
Anatoly G. Bakhmurov ◽  
Maxim V. Chistolinov ◽  
Ruslan L. Smeliansky ◽  
Dmitry Y. Volkanov ◽  
...  
Keyword(s):  
Real Time ◽  
Systems Development ◽  
Hardware In The Loop ◽  
Real Time Systems ◽  
Simulation Environment ◽  
Architecture Evaluation ◽  
Time Systems

Real-Time Systems Development with RTEMS and Multicore Processors

2020 ◽  
Author(s):  
Gedare Bloom ◽  
Joel Sherrill ◽  
Tingting Hu ◽  
Ivan Cibrario Bertolotti
Keyword(s):  
Real Time ◽  
Multicore Processors ◽  
Systems Development ◽  
Real Time Systems ◽  
Time Systems
Sign in / Sign up

Export Citation Format

Share Document