Introduction to the Formal Design of Real-Time Systems

Mapping Intimacies ◽

10.1007/978-1-4471-0889-4 ◽

1999 ◽

Cited By ~ 4

Author(s):

David Gray

Keyword(s):

Real Time ◽

Real Time Systems ◽

Formal Design ◽

Time Systems

Download Full-text

A formal design language for real-time systems with data

Science of Computer Programming ◽

10.1016/s0167-6423(00)00025-3 ◽

2001 ◽

Vol 40 (1) ◽

pp. 3-29

Author(s):

Steven Bradley ◽

William Henderson ◽

David Kendall ◽

Adrian Robson

Keyword(s):

Real Time ◽

Real Time Systems ◽

Design Language ◽

Formal Design ◽

Time Systems

Download Full-text

Signal: A formal design environment for real-time systems

TAPSOFT '95: Theory and Practice of Software Development - Lecture Notes in Computer Science ◽

10.1007/3-540-59293-8_235 ◽

1995 ◽

pp. 787-790

Author(s):

Keyword(s):

Real Time ◽

Real Time Systems ◽

Design Environment ◽

Formal Design ◽

Time Systems

Download Full-text

An ADL Centric Approach for the Formal Design of Real-Time Systems

IFIP The International Federation for Information Processing - Architecture Description Languages ◽

10.1007/0-387-24590-1_5 ◽

2005 ◽

pp. 67-82 ◽

Cited By ~ 2

Author(s):

Sébastien Faucou ◽

Anne-Marie Déplanche ◽

Yvon Trinquet

Keyword(s):

Real Time ◽

Real Time Systems ◽

Formal Design ◽

Time Systems

Download Full-text

A practical approach to formal design of real-time systems

1996 IEEE International Conference on Systems, Man and Cybernetics. Information Intelligence and Systems (Cat. No.96CH35929) ◽

10.1109/icsmc.1996.571219 ◽

2002 ◽

Cited By ~ 7

Author(s):

L. Baresi ◽

V. Braberman ◽

M. Felder ◽

M. Pezze ◽

F. Piezianek

Keyword(s):

Real Time ◽

Practical Approach ◽

Real Time Systems ◽

Formal Design ◽

Time Systems

Download Full-text

A Model-Based Engineering Methodology for Requirements and Formal Design of Embedded and Real-Time Systems

Proceedings of the 50th Hawaii International Conference on System Sciences (2017) ◽

10.24251/hicss.2017.741 ◽

2017 ◽

Author(s):

Fabíola Gonçalves ◽

Achim Rettberg ◽

Carlos Pereira ◽

Michel Soares

Keyword(s):

Real Time ◽

Real Time Systems ◽

Model Based ◽

Formal Design ◽

Time Systems

Download Full-text

Formal Design Methodology for Hard-Real-Time Systems.

10.21236/ada298843 ◽

1994 ◽

Author(s):

Aloysius K. Mok

Keyword(s):

Real Time ◽

Design Methodology ◽

Real Time Systems ◽

Hard Real Time ◽

Formal Design ◽

Time Systems

Download Full-text

A formal design notation for real-time systems

ACM Transactions on Software Engineering and Methodology ◽

10.1145/505145.505146 ◽

2002 ◽

Vol 11 (2) ◽

pp. 149-190 ◽

Cited By ~ 7

Author(s):

Miguel Felder ◽

Mauro Pezzè

Keyword(s):

Real Time ◽

Real Time Systems ◽

Formal Design ◽

Time Systems

Download Full-text

Software Engineering for Real Time Systems

IEE Review ◽

10.1049/ir:19920047 ◽

1992 ◽

Vol 38 (3) ◽

pp. 112

Author(s):

Stuart Bennett

Keyword(s):

Software Engineering ◽

Real Time ◽

Real Time Systems ◽

Time Systems

Download Full-text

An adaptive scheduling algorithm for fault-tolerant real-time systems

Software Engineering Journal ◽

10.1049/sej.1991.0013 ◽

1991 ◽

Vol 6 (3) ◽

pp. 93 ◽

Cited By ~ 13

Author(s):

Houssine Chetto ◽

Maryline Chetto

Keyword(s):

Real Time ◽

Fault Tolerant ◽

Scheduling Algorithm ◽

Adaptive Scheduling ◽

Real Time Systems ◽

Time Systems

Download Full-text

Generic Round Robin Scheduling for Real Time Systems

International Journal of Advanced Research in Computer Science and Software Engineering ◽

10.23956/ijarcsse/sv7i5/0125 ◽

2017 ◽

Vol 7 (5) ◽

pp. 148-155

Author(s):

Pallab Banerjee ◽

◽

Riya Shree ◽

Richa Kumari Verma ◽

◽

...

Keyword(s):

Real Time ◽

Round Robin ◽

Real Time Systems ◽

Time Systems

Download Full-text