Generation of SystemC/TLM code from UML/MARTE sequence diagrams for verification.
Emad Samuel Malki EbeidDavide QuagliaFranco FummiPublished in: DDECS (2012)
Keyphrases
- sequence diagrams
- class diagrams
- petri net
- uml models
- activity diagrams
- intermediate representation
- class diagram
- model checking
- regression testing
- model based testing
- test cases
- source code
- uml class diagrams
- object oriented
- unified modelling language
- open source
- object detection
- formal methods
- case study
- multi agent systems
- database systems