Loop-free asynchronous data sharing in multiprocessor real-time systems based on timing properties

Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306) ◽

10.1109/rtcsa.1999.811236 ◽

2003 ◽

Cited By ~ 10

Author(s):

J. Chen ◽

A. Burns

Keyword(s):

Real Time ◽

Data Sharing ◽

Real Time Systems ◽

Timing Properties ◽

Time Systems

Download Full-text

A loop-free asynchronous data sharing mechanism in multiprocessor real-time systems based on timing properties

23rd International Conference on Distributed Computing Systems Workshops, 2003. Proceedings. ◽

10.1109/icdcsw.2003.1203552 ◽

2004 ◽

Author(s):

Jing Chen

Keyword(s):

Real Time ◽

Data Sharing ◽

Real Time Systems ◽

Timing Properties ◽

Time Systems

Download Full-text

Specification and verification of timing properties of distributed real-time systems

IEEE TENCON'90: 1990 IEEE Region 10 Conference on Computer and Communication Systems. Conference Proceedings ◽

10.1109/tencon.1990.152615 ◽

2002 ◽

Cited By ~ 3

Author(s):

R. Mall ◽

L.M. Patnaik

Keyword(s):

Real Time ◽

Real Time Systems ◽

Timing Properties ◽

Specification And Verification ◽

Time Systems

Download Full-text

Automated analysis and fine-tuning of timing properties in embedded real-time systems

ACM SIGSOFT Software Engineering Notes ◽

10.1145/340855.341028 ◽

2000 ◽

Vol 25 (1) ◽

pp. 86-87

Author(s):

David B. Stewart

Keyword(s):

Real Time ◽

Automated Analysis ◽

Fine Tuning ◽

Real Time Systems ◽

Timing Properties ◽

Time Systems

Download Full-text

Comparing RTL and FNLOG- timing properties in real-time systems

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)45760-0 ◽

1994 ◽

Vol 27 (15) ◽

pp. 113-117

Author(s):

A. Sowmya

Keyword(s):

Real Time ◽

Real Time Systems ◽

Timing Properties ◽

Time Systems

Download Full-text

Non-blocking data sharing in multiprocessor real-time systems

Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306) ◽

10.1109/rtcsa.1999.811240 ◽

2003 ◽

Cited By ~ 9

Author(s):

P. Tsigas ◽

Yi Zhang

Keyword(s):

Real Time ◽

Data Sharing ◽

Real Time Systems ◽

Time Systems

Download Full-text

Asynchronous data sharing in multiprocessor real-time systems using process consensus

Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168) ◽

10.1109/emwrts.1998.684918 ◽

2002 ◽

Cited By ~ 12

Author(s):

J. Chen ◽

A. Burns

Keyword(s):

Real Time ◽

Data Sharing ◽

Real Time Systems ◽

Time Systems

Download Full-text

COMPARING RTL AND FNLOG- TIMING PROPERTIES IN REAL-TIME SYSTEMS

Distributed Computer Control Systems 1994 ◽

10.1016/b978-0-08-042237-4.50023-8 ◽

1995 ◽

pp. 107-111

Author(s):

A. SOWMYA

Keyword(s):

Real Time ◽

Real Time Systems ◽

Timing Properties ◽

Time Systems

Download Full-text

Safety analysis of timing properties in real-time systems

IEEE Transactions on Software Engineering ◽

10.1109/tse.1986.6313045 ◽

1986 ◽

Vol SE-12 (9) ◽

pp. 890-904 ◽

Cited By ~ 435

Author(s):

Farnam Jahanian ◽

Aloysius Ka-Lau Mok

Keyword(s):

Real Time ◽

Safety Analysis ◽

Real Time Systems ◽

Timing Properties ◽

Time Systems

Download Full-text

An event-based real-time logic to specify the behavior and timing properties of real-time systems

[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 ◽

10.1109/tai.1991.167097 ◽

2002 ◽

Author(s):

Horng-Yuan Chen ◽

J.J.P. Tsai ◽

Yaodong Bi

Keyword(s):

Real Time ◽

Real Time Systems ◽

Time Logic ◽

Timing Properties ◽

Event Based ◽

Time Systems

Download Full-text

Verifying timing properties for distributed real-time systems using timing constraint Petri nets

Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 ◽

10.1109/cmpsac.1996.542423 ◽

2002 ◽

Cited By ~ 1

Author(s):

J.J.P. Tsai ◽

S.J. Yang ◽

Yao-Hsiung Chang ◽

E.Y.T. Juan

Keyword(s):

Petri Nets ◽

Real Time ◽

Real Time Systems ◽

Timing Constraint ◽

Timing Properties ◽

Time Systems

Download Full-text