International audienceSystems engineering, and especially the modeling of safety critical systems, needs proper means for early Validation and Verification (V&V) to detect critical issues as soon as possible. The objective of our work is to identify a verifiable subset of SysML that is usable by system engineers, while still amenable to automatic transformation towards formal verification tools. As we are interested in proving safety properties expressed using invariants on states, we consider the B method for this purpose. Our approach consists in an alignment of SysML concepts with an identified subset of the B method, using semantic similarities between both languages. We define a restricted SysML extended by a lightweight profile and a ...
International audienceThis paper presents an illustration of the utilization of an information model...
Product Solution (short)International audienceSafety software engineers lack automatic interaction t...
International audienceEnsuring the correction of heterogeneous and complex systems is an essential s...
International audienceSystems engineering, and especially the modeling of safety critical systems, n...
This paper presents a solution for SysML model verification and validation, with a return of experie...
Model Based Systems Engineering (MBSE) has encouraged the use of a single systems model in languages...
Introduction of new information and communication technology in automated systems leads to a growth ...
Formal methods for systems and system of systems engineering (SoSE) can bring precision to architect...
Migrating systems and safety engineering (often with legacy processes and certified tools) towards a...
L’introduction des nouvelles technologies de l’information et de la communication dans les systèmes ...
International audienceIn the component paradigm, the system is seen as an assembly of heterogeneous ...
UML-B is a 'UML like' notation based on the Event-B formalism which allows models to be progressivel...
The SysML/KAOS method allows to model system requirements through goal hierarchies. B System is a fo...
Abstract. Mechatronic systems are complex systems involving knowledge from various disciplines such ...
Abstract. Industrial safety-related standards strongly recommend the use of formal methods to contro...
International audienceThis paper presents an illustration of the utilization of an information model...
Product Solution (short)International audienceSafety software engineers lack automatic interaction t...
International audienceEnsuring the correction of heterogeneous and complex systems is an essential s...
International audienceSystems engineering, and especially the modeling of safety critical systems, n...
This paper presents a solution for SysML model verification and validation, with a return of experie...
Model Based Systems Engineering (MBSE) has encouraged the use of a single systems model in languages...
Introduction of new information and communication technology in automated systems leads to a growth ...
Formal methods for systems and system of systems engineering (SoSE) can bring precision to architect...
Migrating systems and safety engineering (often with legacy processes and certified tools) towards a...
L’introduction des nouvelles technologies de l’information et de la communication dans les systèmes ...
International audienceIn the component paradigm, the system is seen as an assembly of heterogeneous ...
UML-B is a 'UML like' notation based on the Event-B formalism which allows models to be progressivel...
The SysML/KAOS method allows to model system requirements through goal hierarchies. B System is a fo...
Abstract. Mechatronic systems are complex systems involving knowledge from various disciplines such ...
Abstract. Industrial safety-related standards strongly recommend the use of formal methods to contro...
International audienceThis paper presents an illustration of the utilization of an information model...
Product Solution (short)International audienceSafety software engineers lack automatic interaction t...
International audienceEnsuring the correction of heterogeneous and complex systems is an essential s...