International audienceEnsuring the correction of heterogeneous and complex systems is an essential stage in the process of engineering systems.In this paper we propose a methodology to verify and validate complex systems specified with SysML language using a combination of the two techniques of simulation and verification. We translate SysML specifications into SystemC models to validate the designed systems by simulation, then we propose to verify the derived SystemC models by using the Uppaal model checker. A case study is presented to demonstrate the effectiveness of our approach
SystemC has emerged lately as a de facto, open, industry standard modeling language, enabling a wide...
The research conducted during this thesis fall within the scope of modeling, verification and valida...
The term “model-based engineering” was coined to denote a set of engineering activities that conside...
Ensuring a correct behaviour of Systems of Systems (SoS) has a significant social impact. Their comp...
In this thesis, we address the issue of model-based verification and validation of systems engineeri...
Heterogeneous Systems are complex and become very critical. These systems integrate software andhard...
International audienceThe increasing complexity and heterogeneity of systems require engineers to co...
In the development of complex critical systems, an important source of errors is the misinterpretati...
This paper presents a solution for SysML model verification and validation, with a return of experie...
Workshop paper presenting the Toolchain to be produced by the DANSE project for modelling and verify...
Cyber-physical systems (CPSs) are often treated modularly to tackle both complexity and heterogeneit...
The increasing complexity of modern technical systems is challenging the system engineering domain e...
ABSTRACT SystemC has emerged lately as a de facto, open, industry standard modeling language, enabli...
SystemC has emerged lately as a de facto, open, industry standard modeling language, enabling a wide...
Modern systems tend to exhibit an ever increasing complexity especially due to their software design...
SystemC has emerged lately as a de facto, open, industry standard modeling language, enabling a wide...
The research conducted during this thesis fall within the scope of modeling, verification and valida...
The term “model-based engineering” was coined to denote a set of engineering activities that conside...
Ensuring a correct behaviour of Systems of Systems (SoS) has a significant social impact. Their comp...
In this thesis, we address the issue of model-based verification and validation of systems engineeri...
Heterogeneous Systems are complex and become very critical. These systems integrate software andhard...
International audienceThe increasing complexity and heterogeneity of systems require engineers to co...
In the development of complex critical systems, an important source of errors is the misinterpretati...
This paper presents a solution for SysML model verification and validation, with a return of experie...
Workshop paper presenting the Toolchain to be produced by the DANSE project for modelling and verify...
Cyber-physical systems (CPSs) are often treated modularly to tackle both complexity and heterogeneit...
The increasing complexity of modern technical systems is challenging the system engineering domain e...
ABSTRACT SystemC has emerged lately as a de facto, open, industry standard modeling language, enabli...
SystemC has emerged lately as a de facto, open, industry standard modeling language, enabling a wide...
Modern systems tend to exhibit an ever increasing complexity especially due to their software design...
SystemC has emerged lately as a de facto, open, industry standard modeling language, enabling a wide...
The research conducted during this thesis fall within the scope of modeling, verification and valida...
The term “model-based engineering” was coined to denote a set of engineering activities that conside...
Add to ORKG