Modeling legacy code with BIP: how to reduce the gap between formal description and real-time implementation

2016 ◽  
Author(s):  
Briag Le Nabec ◽  
Belgacem Ben Hedia ◽  
Jean-Philippe Babau ◽  
Mathieu Jan ◽  
Hela Guesmi
Keyword(s):  
Real Time ◽  
Formal Description ◽  
Legacy Code

Application of Formal Description Techniques to Real-Time Scheduling

1992 ◽  
Vol 25 (11) ◽  
pp. 253-258
Author(s):  
A. García Lirola ◽  
F. Fournón y González-barcia ◽  
F. Gómez Molinero
Keyword(s):  
Real Time ◽  
Formal Description ◽  
Real Time Scheduling ◽  
Time Scheduling ◽  
Formal Description Techniques

A Language for Formal Description of Real Time Systems

1983 ◽  
Vol 16 (18) ◽  
pp. 119-126
Author(s):  
F. Boussinot ◽  
R. Martin ◽  
G. Memmi ◽  
G. Ruggiu ◽  
J. Vapné
Keyword(s):  
Real Time ◽  
Formal Description ◽  
Real Time Systems ◽  
Time Systems

A LANGUAGE FOR FORMAL DESCRIPTION OF REAL TIME SYSTEMS

1983 ◽  
pp. 119-126 ◽  
Author(s):  
F. Boussinot ◽  
R. Martin ◽  
G. Memmi ◽  
G. Ruggiu ◽  
J. Vapné
Keyword(s):  
Real Time ◽  
Formal Description ◽  
Real Time Systems ◽  
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.

Application of Formal Description Techniques to Real-Time Scheduling

1992 ◽  
pp. 253-258
Author(s):  
A. García Lirola ◽  
F. Fournón y Gonzalez-Barcia ◽  
F. Gómez Molinero
Keyword(s):  
Real Time ◽  
Formal Description ◽  
Real Time Scheduling ◽  
Time Scheduling ◽  
Formal Description Techniques

Multicore system architecture aspects and deployment

2017 ◽  
Vol 59 (5) ◽  
Author(s):  
Stefan Kuntz ◽  
Laurent Dieudonne
Keyword(s):  
Real Time ◽  
System Architecture ◽  
Formal Description ◽  
Real Time Systems ◽  
System Architectures ◽  
Safety Critical ◽  
Domain Specific ◽  
Multicore System ◽  
Time Systems ◽  
Design Techniques

AbstractThe crucial foundation in developing embedded safety-critical real-time systems based on multicore based platforms is the capability to combined different methodologies and approaches with a sound formal description of the system architecture. With such a system of methodologies and system architectures it is possible to develop a system satisfying all requirements and even being able to optimize the overall system towards domain specific goals. This article discusses activities in ARAMiS, which have been performed on system architecture level, including improvements of modeling existing architectures and design techniques concerning reliability, independence, segregation and determinism for deployment strategies.

Sign in / Sign up

Export Citation Format

Share Document