A key challenge in model-based design approaches is the modeling of time-dependent systems. A manual modeling often proves to be very demanding in terms of time and cost, because exact knowledge of the device or process to be modeled is required. This again requires highly skilled human resources. The development of an exact model can be tedious and requires expert knowledge gathered by human observations. For this reason, in this paper two methods for the automatic generation of models are given: (i) the automatic generation of device models, which comprise the timing behavior of network components and (ii) the automatic learning of the timing process behavior model of the production plant. Further two application scenarios are given: the ...
The testing of a real-time system involves more challenges than in a regular one. Real-time system t...
In this paper, we describe a timing model for clock estimation during high-level synthesis. In order...
International audienceIn this article we introduce the problem of timed pattern diagnosis in timed s...
Model-based anomaly detection approaches by now have established themselves in the field of engineer...
A tailored model of a system is the prerequisite for various analysis tasks, such as anomaly detecti...
The manufacturing industry is undergoing a digital revolution, often referred to as Industry 4.0. Th...
This report has two main objectives, firstly to provide a brief understanding of the currently avail...
This paper describes ongoing work on the automatic constructionof formal models from Real-Time imple...
The complexity of software running on vehicular embedded systems is constantly increasing and this ...
Real-time systems are found in an increasing variety of application elds. Usually, they are embedded...
Testing and verification are essential to safe and consistent products. Simulation is a widely accep...
International audienceModern manufacturing systems can benefit from the use of digital tools to supp...
Model-based approaches to system design, testing and diagnosis have been used successfully for more ...
In job-shop production systems, orders are assigned to work centers according to their routes, and t...
National audienceThe objective of this thesis, funded as a CIFRE contract with STMicroelectronics C...
The testing of a real-time system involves more challenges than in a regular one. Real-time system t...
In this paper, we describe a timing model for clock estimation during high-level synthesis. In order...
International audienceIn this article we introduce the problem of timed pattern diagnosis in timed s...
Model-based anomaly detection approaches by now have established themselves in the field of engineer...
A tailored model of a system is the prerequisite for various analysis tasks, such as anomaly detecti...
The manufacturing industry is undergoing a digital revolution, often referred to as Industry 4.0. Th...
This report has two main objectives, firstly to provide a brief understanding of the currently avail...
This paper describes ongoing work on the automatic constructionof formal models from Real-Time imple...
The complexity of software running on vehicular embedded systems is constantly increasing and this ...
Real-time systems are found in an increasing variety of application elds. Usually, they are embedded...
Testing and verification are essential to safe and consistent products. Simulation is a widely accep...
International audienceModern manufacturing systems can benefit from the use of digital tools to supp...
Model-based approaches to system design, testing and diagnosis have been used successfully for more ...
In job-shop production systems, orders are assigned to work centers according to their routes, and t...
National audienceThe objective of this thesis, funded as a CIFRE contract with STMicroelectronics C...
The testing of a real-time system involves more challenges than in a regular one. Real-time system t...
In this paper, we describe a timing model for clock estimation during high-level synthesis. In order...
International audienceIn this article we introduce the problem of timed pattern diagnosis in timed s...