On satisfying timing constraints in hard-real-time systems

Proceedings of the conference on Software for citical systems - SIGSOFT '91 ◽

10.1145/125083.123066 ◽

1991 ◽

Cited By ~ 31

Author(s):

Jia Xu ◽

David Lorge Parnas

Keyword(s):

Real Time ◽

Timing Constraints ◽

Real Time Systems ◽

Hard Real Time ◽

Time Systems

Download Full-text

A survey on estimating the timing constraints of hard real-time systems

Design Automation for Embedded Systems ◽

10.1007/bf00133303 ◽

1996 ◽

Vol 1 (3) ◽

pp. 213-230

Author(s):

A. P. Magalh�es

Keyword(s):

Real Time ◽

Timing Constraints ◽

Real Time Systems ◽

Hard Real Time ◽

Time Systems

Download Full-text

On satisfying timing constraints in hard-real-time systems

ACM SIGSOFT Software Engineering Notes ◽

10.1145/123041.123066 ◽

1991 ◽

Vol 16 (5) ◽

pp. 132-146 ◽

Cited By ~ 11

Author(s):

Jia Xu ◽

David Lorge Parnas

Keyword(s):

Real Time ◽

Timing Constraints ◽

Real Time Systems ◽

Hard Real Time ◽

Time Systems

Download Full-text

On satisfying timing constraints in hard-real-time systems

IEEE Transactions on Software Engineering ◽

10.1109/32.210308 ◽

1993 ◽

Vol 19 (1) ◽

pp. 70-84 ◽

Cited By ~ 131

Author(s):

J. Xu ◽

D.L. Parnas

Keyword(s):

Real Time ◽

Timing Constraints ◽

Real Time Systems ◽

Hard Real Time ◽

Time Systems

Download Full-text

Correction to 'On satisfying timing constraints in hard-real-time systems' by J. Xu and D.L. Parnas

IEEE Transactions on Software Engineering ◽

10.1109/32.221141 ◽

1993 ◽

Vol 19 (3) ◽

pp. 310

Author(s):

J. Xu ◽

D.L. Parnas

Keyword(s):

Real Time ◽

Timing Constraints ◽

Real Time Systems ◽

Hard Real Time ◽

Time Systems

Download Full-text

On the Uses of Synchronization in Hard-real-time Systems

10.1109/milcom.1983.4794801 ◽

1983 ◽

Cited By ~ 1

Author(s):

Stuart R. Faulk ◽

David L. Parnas

Keyword(s):

Real Time ◽

Real Time Systems ◽

Hard Real Time ◽

Time Systems

Download Full-text

A comparison of temporal Petri net techniques in the specification and design of hard real-time systems

Microprocessing and Microprogramming ◽

10.1016/0165-6074(91)90332-n ◽

1991 ◽

Vol 32 (1-5) ◽

pp. 111-118 ◽

Cited By ~ 8

Author(s):

J.S. Sagoo ◽

D.J. Holding

Keyword(s):

Real Time ◽

Petri Net ◽

Real Time Systems ◽

Hard Real Time ◽

Time Systems

Download Full-text

Energy efficient scheduling for hard real-time systems with fixed-priority assignment

International Performance Computing and Communications Conference ◽

10.1109/pccc.2010.5682315 ◽

2010 ◽

Cited By ~ 1

Author(s):

Linwei Niu

Keyword(s):

Real Time ◽

Energy Efficient ◽

Real Time Systems ◽

Priority Assignment ◽

Fixed Priority ◽

Hard Real Time ◽

Time Systems ◽

Energy Efficient Scheduling

Download Full-text

Multi-Criteria Function Inlining for Hard Real-Time Systems

Proceedings of the 28th International Conference on Real-Time Networks and Systems ◽

10.1145/3394810.3394819 ◽

2020 ◽

Author(s):

Kateryna Muts ◽

Heiko Falk

Keyword(s):

Real Time ◽

Real Time Systems ◽

Hard Real Time ◽

Time Systems

Download Full-text

Extending Windows/NT and /CE for embedded and hard real-time systems

10.1049/ic:19980414 ◽

1998 ◽

Author(s):

M. Rogosin ◽

M. Zimmerman ◽

N. Nachiappan

Keyword(s):

Real Time ◽

Real Time Systems ◽

Windows Nt ◽

Hard Real Time ◽

Time Systems

Download Full-text

Hardware-software co-synthesis of hard real-time systems with reconfigurable FPGAs

Computers & Electrical Engineering ◽

10.1016/j.compeleceng.2004.09.001 ◽

2004 ◽

Vol 30 (7) ◽

pp. 471-489 ◽

Cited By ~ 5

Author(s):

Faridah M. Ali ◽

A. Shoba Das

Keyword(s):

Real Time ◽

Real Time Systems ◽

Hard Real Time ◽

Time Systems

Download Full-text