A formal approach to the specification and the behavior validation of real-time systems based on rewriting logic

Ammar Attoui; Michel Schneider

doi:10.1007/bf00357881

A formal approach to the specification and the behavior validation of real-time systems based on rewriting logic

Real-Time Systems ◽

10.1007/bf00357881 ◽

1996 ◽

Vol 10 (1) ◽

pp. 5-22 ◽

Cited By ~ 3

Author(s):

Ammar Attoui ◽

Michel Schneider

Keyword(s):

Real Time ◽

Real Time Systems ◽

Rewriting Logic ◽

Formal Approach ◽

Time Systems

Download Full-text

A formal approach for architectural modeling and prototyping of distributed real-time systems

Proceedings of the Thirtieth Hawaii International Conference on System Sciences ◽

10.1109/hicss.1997.667304 ◽

2002 ◽

Cited By ~ 2

Author(s):

Y. Deng ◽

S. Lu ◽

M. Evangelist

Keyword(s):

Real Time ◽

Real Time Systems ◽

Formal Approach ◽

Architectural Modeling ◽

Time Systems

Download Full-text

Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach

Formal Approaches to Software Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31848-4_7 ◽

2005 ◽

pp. 95-109 ◽

Cited By ~ 2

Author(s):

Behzad Bordbar ◽

Kozo Okano

Keyword(s):

Real Time ◽

Real Time Systems ◽

Formal Approach ◽

Time Systems

Download Full-text

Verification of Complex Real-time Systems using Rewriting Logic

Journal of Computing and Information Technology ◽

10.2498/cit.1001272 ◽

2009 ◽

Vol 17 (3) ◽

pp. 265

Author(s):

Mustapha Bourahla

Keyword(s):

Real Time ◽

Real Time Systems ◽

Rewriting Logic ◽

Time Systems

Download Full-text

A Formal Approach to Multi-Dimensional Sensitivity Analysis of Embedded Real-Time Systems

18th Euromicro Conference on Real-Time Systems (ECRTS'06) ◽

10.1109/ecrts.2006.5 ◽

2006 ◽

Cited By ~ 10

Author(s):

R. Racu ◽

A. Hamann ◽

R. Ernst

Keyword(s):

Sensitivity Analysis ◽

Real Time ◽

Real Time Systems ◽

Formal Approach ◽

Time Systems

Download Full-text

A formal approach to fault-tolerance in distributed real-time systems

10.1145/504136.504176 ◽

1990 ◽

Cited By ~ 5

Author(s):

J. Coenen ◽

J. Hooman

Keyword(s):

Fault Tolerance ◽

Real Time ◽

Real Time Systems ◽

Formal Approach ◽

Time Systems

Download Full-text

Specifying Real-Time Systems in Rewriting Logic

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(04)00044-1 ◽

1996 ◽

Vol 4 ◽

pp. 284-309 ◽

Cited By ~ 8

Author(s):

Peter Csaba Ölveczky ◽

José Meseguer

Keyword(s):

Real Time ◽

Real Time Systems ◽

Rewriting Logic ◽

Time Systems

Download Full-text

Model checking of real-time systems using rewriting logic

2017 International Conference on Electrical and Information Technologies (ICEIT) ◽

10.1109/eitech.2017.8255280 ◽

2017 ◽

Author(s):

Messaoud Bendiaf ◽

Mustapha Bourahla ◽

Malika Boudia ◽

Seidali Rehab

Keyword(s):

Model Checking ◽

Real Time ◽

Real Time Systems ◽

Rewriting Logic ◽

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