Work In Progress: Control-Flow Migration for Data-Locality Optimisation in Multi-Core Real-Time Systems

2020 ◽  
Author(s):  
Stefan Reif ◽  
Phillip Raffeck ◽  
Peter Ulbrich ◽  
Wolfgang Schroder-Preikschat
Keyword(s):  
Real Time ◽  
Data Locality ◽  
Control Flow ◽  
Real Time Systems ◽  
Progress Control ◽  
Work In Progress ◽  
Time Systems

scholarly journals Work-in-Progress: Evaluating Task Dropping Strategies for Overloaded Real-Time Systems

2021 ◽  
Author(s):  
Yiqin Gao ◽  
Guillaume Pallez ◽  
Yves Robert ◽  
Frederic Vivien
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Work In Progress ◽  
Time Systems

FORMAL METHOD FOR AUTOMATED TRANSFORMATION OF LOTOS SPECIFICATIONS TO ESTELLE SPECIFICATIONS

2005 ◽  
Vol 15 (05) ◽  
pp. 873-891 ◽  
Author(s):  
HAZEM EL-GENDY ◽  
NABIL EL-KADHI
Keyword(s):  
Real Time ◽  
Formal Method ◽  
Conformance Testing ◽  
Control Flow ◽  
Semantic Model ◽  
Formal Description ◽  
Real Time Systems ◽  
Behavior Tree ◽  
Time Systems ◽  
Formal Description Techniques

ISO and IEC have jointly developed two Formal Description Techniques (FDTs) for specifying distributed real time systems such as computer/telecommunications protocols. These are Lotos and Estelle. In this paper, a formal method for automated transformation of a Lotos specification to an Estelle specification is presented. The method is applicable to various Lotos specification styles and to various communications protocols of ISO OSI layers. Our method has applications in conformance testing of such systems and building common semantic model for the various FDTs. In this paper, we develop an algorithm for constructing a 'Data Oriented'-Restricted Behavior Tree T that represent both the control flow aspects and the data flow aspects of the system. Then, we develop an algorithm for constructing the Estelle specifications from T. A minimization rule is also developed to optimize the size of the Estelle specification by reducing both the number of states and the number of transitions.

scholarly journals Cross-Kernel Control-Flow--Graph Analysis for Event-Driven Real-Time Systems

2015 ◽  
Vol 50 (5) ◽  
pp. 1-10
Author(s):  
Christian Dietrich ◽  
Martin Hoffmann ◽  
Daniel Lohmann
Keyword(s):  
Real Time ◽  
Control Flow ◽  
Graph Analysis ◽  
Control Flow Graph ◽  
Real Time Systems ◽  
Flow Graph ◽  
Event Driven ◽  
Time Systems
Sign in / Sign up

Export Citation Format

Share Document