The mix of threads and events complicates reasoning about correctness of applications under all possible interleavings.
Then, by using the CTL formal language, we formalize basic criteria to establish correctness of the application.
Moreover, we propose to verify the temporal correctness of the application with regard to global temporal properties (end to end delays).
These tools rely on semantic descriptions of workflows and components by means of an ontology that supports the reasoning regarding the correctness of the application being generated.
Correctness of such applications is of paramount importance due to their safety-critical nature.
This paper deals with the temporal correctness of control applications designed using the component-based standard IEC 61499.
Testing the correctness of a GUI-based applisation is more complex than the conventional code-based application.
Data protection has played an important role in maintaining the continuity and correctness of data processing application.
The deployment of control algorithms into software-based controllers is fundamental for the correctness of the designed application.
In conclusion, VIPPE can be used to analyze the correctness of the target application while executed on a multicore platform, to make a design space exploration with respect to architectural parameters, and to evaluate the impact of different choices in the use of OpenMP.
