/ by ID / 07zamsMAS
Total: 1
[publication]
Elenika Zamsha,
"Bridging the Gap Between SysML, HW/SW Codesign and Model Verification".
Master of Advanced Studies project,
Advanced Learning and Research Institute, Faculty of Informatics, University of Lugano,
Lugano, Switzerland,
July
2007
.
| Abstract | Goal of this project is to analyse the gap between SysML and HW/SW Codesign. In particular the gaps between SysML and Design Space Exploration, and between SysML and SystemC should be analysed. Possible solutions in order to fill these gaps should be proposed and a demo that solves these kinds of problems should be implemented. Finally the students should investigate how to verify the models by means of Model Checking techniques. The project will be developed using a simple case study. Goals: 1) Propose a solution towards filling the gap between system-level design, using UML/SysML, and design space exploration. 2) Moreover propose a possible solution in order to fill the transformation gap from SysML to SystemC. 3) Finally propose a methodology able to verify UML models against system requirements |
| Keywords | |
| Research area | System Level Design |
| Document |  permanent link
BibTeX |
Use this URL to link to this page:
http://www.alari.ch/Research/Theses/index.php?action=showcategory&by=ID&pub=07zamsMAS
http://www.alari.ch/Research/Theses/index.php?action=showcategory&by=ID&pub=07zamsMAS