Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines

Angelo Furfaro; Libero Nigro; Francesco Pupo

doi:10.1007/s11241-006-5318-0

Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines

Real-Time Systems ◽

10.1007/s11241-006-5318-0 ◽

2006 ◽

Vol 32 (1-2) ◽

pp. 105-123 ◽

Cited By ~ 4

Author(s):

Angelo Furfaro ◽

Libero Nigro ◽

Francesco Pupo

Keyword(s):

Real Time ◽

Modular Design ◽

State Machines ◽

Real Time Systems ◽

Time Systems

Download Full-text

Dynamic Reconfiguration of Mechatronic Real-Time Systems Based on Configuration State Machines

19th IEEE International Parallel and Distributed Processing Symposium ◽

10.1109/ipdps.2005.180 ◽

2005 ◽

Cited By ~ 5

Author(s):

S. Toscher ◽

R. Kasper ◽

T. Reinemann

Keyword(s):

Real Time ◽

Dynamic Reconfiguration ◽

State Machines ◽

Real Time Systems ◽

Time Systems

Download Full-text

Real-Time Systems Development Using Hierarchical State Machines

Lecture Notes in Computer Science - Modular Programming Languages ◽

10.1007/978-3-540-45213-3_16 ◽

2003 ◽

pp. 110-121 ◽

Cited By ~ 2

Author(s):

Angelo Furfaro ◽

Libero Nigro ◽

Francesco Pupo

Keyword(s):

Real Time ◽

Systems Development ◽

State Machines ◽

Real Time Systems ◽

Hierarchical State Machines ◽

Time Systems

Download Full-text

High-Level Executable Models of Reactive Real-Time Systems with Logic-Labelled Finite-State Machines and FPGAs

2018 International Conference on ReConFigurable Computing and FPGAs (ReConFig) ◽

10.1109/reconfig.2018.8641710 ◽

2018 ◽

Author(s):

Vladimir Estivill-Castro ◽

Rene Hexel ◽

Morgan McColl

Keyword(s):

Real Time ◽

Finite State Machines ◽

State Machines ◽

Real Time Systems ◽

Finite State ◽

High Level ◽

Time Systems ◽

Executable Models

Download Full-text

A modular design space exploration framework for multiprocessor real-time systems

2016 Forum on Specification and Design Languages (FDL) ◽

10.1109/fdl.2016.7880377 ◽

2016 ◽

Cited By ~ 6

Author(s):

Nima Khalilzad ◽

Kathrin Rosvall ◽

Ingo Sander

Keyword(s):

Real Time ◽

Design Space Exploration ◽

Design Space ◽

Modular Design ◽

Space Exploration ◽

Real Time Systems ◽

Time Systems

Download Full-text

Modular Design and Verification of Distributed Adaptive Real-Time Systems Based on Refinements and Abstractions

EAI Endorsed Transactions on Self-Adaptive Systems ◽

10.4108/sas.1.1.e5 ◽

2015 ◽

Vol 1 (1) ◽

pp. e5 ◽

Cited By ~ 3

Author(s):

Thomas Göthel ◽

Verena Klös ◽

Björn Bartels

Keyword(s):

Real Time ◽

Modular Design ◽

Real Time Systems ◽

Time Systems

Download Full-text

Modular Design and Verification of Distributed Adaptive Real-Time Systems

Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering - Nature of Computation and Communication ◽

10.1007/978-3-319-15392-6_1 ◽

2015 ◽

pp. 3-12 ◽

Cited By ~ 1

Author(s):

Thomas Göthel ◽

Björn Bartels

Keyword(s):

Real Time ◽

Modular Design ◽

Real Time Systems ◽

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

Low Power Scheduling for Embedded Real-Time Systems with Quality of Service Constraint

Advanced Materials and Information Technology Processing ◽

10.2495/amitp130461 ◽

2014 ◽

Author(s):

Linwei Niu

Keyword(s):

Quality Of Service ◽

Low Power ◽

Real Time ◽

Real Time Systems ◽

Power Scheduling ◽

Time Systems

Download Full-text