Add to ORKGEmbedded systems often are described with graphical data flow languages like Matlab/Simulink or Lustre/SCADE, which are used at the first stage of development cycle, that is at the specification level. Most of program verification activities currently are applied to the source code that is a low level description of systems. We propose to study a new approach based on frequency analysis to apply static analysis to data flow languages
We overview the main semantics-based static analysis techniques for software verification: Data-flow...
Static profiling is a technique that produces estimates of exe-cution likelihoods or frequencies bas...
Three approaches to the problem of testing synchronous data-flow programs written in LUSTRE are pres...
Fundamental Approaches to Software Engineering - 22nd International conference, FASE 2019, held as ...
At a high level of abstraction, the VHDL specification of the functionalities that a circuit shall p...
At a high level of abstraction, the VHDL specification of the functionalities that a circuit shall p...
This paper describes the language LUSTRE which is a data flow synchronous language, designed for pro...
This paper is devoted to the advance of the existing analysis methods of data flow of software by us...
This paper examines the problem of statically analyzing the performance of embedded software. This p...
In this paper, we present a theory of synchronous data-flow languages. Our theory is supported by bo...
The processing capabilities of modern System-on-Chips allow artists to push the boundaries of digita...
International audienceData flow formalisms are commonly used to model systems in order to solve prob...
During the embedded system development an estimation of software performance on different hardware i...
Chapter 8Hard real-time embedded systems are often designed as automatic control systems that can in...
As the complexity of modern real-time embedded systems grows, it is important to perform analysis of...
We overview the main semantics-based static analysis techniques for software verification: Data-flow...
Static profiling is a technique that produces estimates of exe-cution likelihoods or frequencies bas...
Three approaches to the problem of testing synchronous data-flow programs written in LUSTRE are pres...
Fundamental Approaches to Software Engineering - 22nd International conference, FASE 2019, held as ...
At a high level of abstraction, the VHDL specification of the functionalities that a circuit shall p...
At a high level of abstraction, the VHDL specification of the functionalities that a circuit shall p...
This paper describes the language LUSTRE which is a data flow synchronous language, designed for pro...
This paper is devoted to the advance of the existing analysis methods of data flow of software by us...
This paper examines the problem of statically analyzing the performance of embedded software. This p...
In this paper, we present a theory of synchronous data-flow languages. Our theory is supported by bo...
The processing capabilities of modern System-on-Chips allow artists to push the boundaries of digita...
International audienceData flow formalisms are commonly used to model systems in order to solve prob...
During the embedded system development an estimation of software performance on different hardware i...
Chapter 8Hard real-time embedded systems are often designed as automatic control systems that can in...
As the complexity of modern real-time embedded systems grows, it is important to perform analysis of...
We overview the main semantics-based static analysis techniques for software verification: Data-flow...
Static profiling is a technique that produces estimates of exe-cution likelihoods or frequencies bas...
Three approaches to the problem of testing synchronous data-flow programs written in LUSTRE are pres...