liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Automatic Generation of Simulation Models from Designs
Linköping University, Department of Computer and Information Science.
2007 (English)Independent thesis Basic level (professional degree), 20 points / 30 hpStudent thesis
Abstract [en]

When working with embedded systems, secure and fast applications are desired. To achieve this the applications needs to be analyzed and optimized so that they will not be deadlocked or communicate inefficiently. For this purpose an analysis program that can track communications, deadlocks and response times is needed. Operating System Embedded, OSE, is a wide spread real-time operating system that is used in embedded systems. OSE-applications are excellent candidates for analysis and there exists such a tool, VirtualTime, for that purpose. To analyze an OSE-application a model needs to be written that VirtualTime can analyze. This takes up time and effort as the models can require a lot of work to write.

In this thesis we have investigated and implemented a prototype that translates OSE-application code into VirtualTime simulation model code. We used the transformation tool TXL to translate communication and timing behaviors. In the translation one needs to preserve the communication and timing behavior and throw away other unnecessary code in the OSE-application. This complicates the translation and sophisticated methods like backward slicing might be necessary. A proposed method in this thesis could help with the problem.

Place, publisher, year, edition, pages
Institutionen för datavetenskap , 2007. , 38 p.
Keyword [en]
TXL, VirtualTime, OSE, Backward Slicing, System Dependence Graph
National Category
Computer Science
URN: urn:nbn:se:liu:diva-10409ISRN: LITH-IDA-EX--07/064--SEOAI: diva2:17151
2007-12-05, Donald Knuth, Hus B, Linköping, 10:15
Available from: 2008-02-27 Created: 2008-02-27

Open Access in DiVA

fulltext(625 kB)305 downloads
File information
File name FULLTEXT01.pdfFile size 625 kBChecksum MD5
Type fulltextMimetype application/pdf

By organisation
Department of Computer and Information Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 305 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 278 hits
ReferencesLink to record
Permanent link

Direct link