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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Design and Implementation of a Tool for Modeling, Simulation and Verification of Component-based Embedded Systems
Linköping University, Department of Computer and Information Science.
2004 (English)Independent thesis Basic level (professional degree)Student thesis
Abstract [en]

Nowadays, embedded systems are becoming more and more complex. For this reason, designers focus more and more to adopt component-based methods for their designs. Consequently, there is an increasing interest on modeling and verification issues of component-based embedded systems.

In this thesis, a tool, which integrates modeling, simulation and verification of component-based embedded systems, is designed and implemented. This tool uses the PRES+, Petri Net based Representation for Embedded Systems, to model component-based embedded systems. Both simulation and verification of systems are based on the PRES+ models.

This tool consists of three integrated sub-tools, each of them with a graphical interface, the PRES+ Modeling tool, the PRES+ Simulation tool and the PRES+ Verification tool. The PRES+ Modeling tool is a graphical editor, with which system designers can model component-based embedded systems easily. The PRES+ Simulation tool, which is used to validate systems, visualizes the execution of a model in an intuitive manner. The PRES+ Verification tool provides a convenient access to a model checker, in which models can be formally verified with respect to temporal logic formulas.

Place, publisher, year, edition, pages
Institutionen för datavetenskap , 2004.
Keyword [en]
Datorsystem, Petri Net, IP, modeling, simulation, formal verification, model checking
Keyword [sv]
Datorsystem
National Category
Information Science
Identifiers
URN: urn:nbn:se:liu:diva-2655ISRN: LITH-IDA-EX--04/114--SEOAI: oai:DiVA.org:liu-2655DiVA: diva2:19991
Uppsok
samhälle/juridik
Available from: 2005-02-09 Created: 2005-02-09

Open Access in DiVA

fulltext(1332 kB)692 downloads
File information
File name FULLTEXT01.pdfFile size 1332 kBChecksum MD5
9c55023d7be2d6adfdc3d1580fd7262b54c1ee0bebdbb141b916a361f4d09f44d2678c1d
Type fulltextMimetype application/pdf

By organisation
Department of Computer and Information Science
Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 692 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

urn-nbn

Altmetric score

urn-nbn
Total: 392 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf