Combining SysML and SystemC to Simulate and Verify Complex Systems
De nombreux systèmes hétérogènes sont complexes et critiques. Ces systèmes intègrent du logiciel et des composants matériels avec des interactions fortes entre ces composants. Dans ce contexte, il est devenu absolument nécessaire de développer des méthodologies et des techniques pour spéciier et val...
Main Author: | Abdulhameed, Abbas Abdulazeez |
---|---|
Other Authors: | Besançon |
Language: | en |
Published: |
2016
|
Subjects: | |
Online Access: | http://www.theses.fr/2016BESA2045/document |
Similar Items
-
Formal and incremental verification of SysML for the design of component-based system
by: Carrillo Rozo, Oscar
Published: (2015) -
Supporting multidisciplinary analysis using system architectures in SysML
by: Branscomb, Jaclyn Marie
Published: (2013) -
Modeling in Modelica and SysML of System Engineering at Scania Applied to Fuel Level Display
by: Liang, Feng
Published: (2012) -
Multi-level modeling for verification and synthesis of complex systems in a multi-physics context.
by: Chaves Café, Daniel
Published: (2015) -
Multi-level modeling for verification and synthesis of complex systems in a multi-physics context.
by: Chaves Café, Daniel
Published: (2015)