Memory management of safety-critical hard real-time systems designed in SystemJ

Microprocessors and Microsystems ◽

10.1016/j.micpro.2018.10.007 ◽

2019 ◽

Vol 64 ◽

pp. 101-119

Author(s):

Avinash Malik ◽

HeeJong Park ◽

Muhammad Nadeem ◽

Zoran Salcic

Keyword(s):

Real Time ◽

Memory Management ◽

Real Time Systems ◽

Safety Critical ◽

Hard Real Time ◽

Download Full-text

Models of Replication for Safety Critical Hard Real Time Systems

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)43762-1 ◽

1996 ◽

Vol 29 (6) ◽

pp. 181-188

Author(s):

P.A. Barrett ◽

A. Burns ◽

A.J. Wellings

Keyword(s):

Real Time ◽

Real Time Systems ◽

Safety Critical ◽

Hard Real Time ◽

Download Full-text

Propagating Temporal Demands into the Software Design to Support the Evaluation of Safety Critical Hard Real-time Systems

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)49436-5 ◽

1992 ◽

Vol 25 (30) ◽

pp. 231-237

Author(s):

R. Bareiss

Keyword(s):

Real Time ◽

Software Design ◽

Real Time Systems ◽

Safety Critical ◽

Hard Real Time ◽

Download Full-text

Propagating Temporal Demands into the Software Design to Support the Evaluation of Safety Critical Hard Real-Time Systems

Safety of Computer Control Systems 1992 (Safecomp ' 92) ◽

10.1016/b978-0-08-041893-3.50043-4 ◽

1992 ◽

pp. 231-237

Author(s):

R. Bareiss

Keyword(s):

Real Time ◽

Software Design ◽

Real Time Systems ◽

Safety Critical ◽

Hard Real Time ◽

Download Full-text

154 Propagating temporal demands into the software design to support the evaluation of safety-critical hard real-time systems

Control Engineering Practice ◽

10.1016/0967-0661(93)91785-u ◽

1993 ◽

Vol 1 (2) ◽

pp. 401

Keyword(s):

Real Time ◽

Software Design ◽

Real Time Systems ◽

Safety Critical ◽

Hard Real Time ◽

Download Full-text

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

10.1109/milcom.1983.4794801 ◽

1983 ◽

Author(s):

Stuart R. Faulk ◽

David L. Parnas

Keyword(s):

Real Time ◽

Real Time Systems ◽

Hard Real Time ◽

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 ◽

Author(s):

J.S. Sagoo ◽

D.J. Holding

Keyword(s):

Real Time ◽

Petri Net ◽

Real Time Systems ◽

Hard Real Time ◽

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 ◽

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 ◽

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 ◽

Hard Real Time ◽

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 ◽

Author(s):

Faridah M. Ali ◽

A. Shoba Das

Keyword(s):

Real Time ◽

Real Time Systems ◽

Hard Real Time ◽

Download Full-text