Adaptation of SysML Blocks and Verification of Temporal Properties
Le travail présenté dans cette thèse a lieu dans le domaine de développement basé sur les composants, il est une contribution à laspécification, l'adaptation et la vérification des systèmes à base de composants. Le but principal de cette thèse est la proposition d'uneapproche formelle pour...
Main Author: | Bouaziz, Hamida |
---|---|
Other Authors: | Besançon |
Language: | en |
Published: |
2016
|
Subjects: | |
Online Access: | http://www.theses.fr/2016BESA2015/document |
Similar Items
-
Modeling in Modelica and SysML of System Engineering at Scania Applied to Fuel Level Display
by: Liang, Feng
Published: (2012) -
Supporting multidisciplinary analysis using system architectures in SysML
by: Branscomb, Jaclyn Marie
Published: (2013) -
Interactive SysML Diagrams using a Web Browser
by: Nilsson, Jesper
Published: (2020) -
Formal and incremental verification of SysML for the design of component-based system
by: Carrillo Rozo, Oscar
Published: (2015) -
An Improved FFIP Method Based on Mathematical Logic and SysML
by: Jian Jiao, et al.
Published: (2021-04-01)