Karsten Strehl  Home/Search
Context Related
| tik.ee.ethz.ch/pub/peopl...Diss00.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: tik.ee.ethz.ch/~symbolic (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In many of today's technical appliances, embedded systems are deployed on an increasing scale. This trend is expected to massively gain in importance, especially for applications in consumer and automotive electronics, telecommunications, medical engineering, and avionics. Embedded systems can be characterized as follows: . They mostly consist of both hardware and software and perform control or communication tasks within an overall system, to which they are connected via networks, sensors,... (Update)
Context of citations to this paper: More
...exist and are employed in diverse application domains. An example is a recently introduced model of computation called FunState [5] 6] [7] which combines dataflow properties with finite state machine behavior and is especially suited to embedded systems design. Many other...
...and infinite state dataflow queues. Even the timed FunState model can be verified by combining process networks and timed automata [37]. The verification procedure for FunState models has been implemented, and its e#ciency in comparison to other state set...
Cited by: More
FunState - An Internal Design Representation for Codesign - Strehl, Thiele, Gries.. (2001) (Correct)
Interval Diagrams for Efficient Symbolic Verification of.. - Strehl, Thiele (2000) (Correct)
Similar documents (at the sentence level):
6.7%: Symbolic Model Checking Using Interval Diagram Techniques - Strehl, Thiele (1998) (Correct)
Similar documents based on text: More All
0.4: Reconfigurable Accelerators for Minimum Covering Problems - Plessl (2001) (Correct)
0.3: Wavelength Conversion in Networks of Bounded Treewidth - Erlebach, Stefanakos (2002) (Correct)
0.2: Evolutionary Algorithms for Multiobjective Optimization: Methods.. - Zitzler (1999) (Correct)
Related documents from co-citation: More All
3: Scheduling hardware/software systems using symbolic techniques - Strehl, Thiele et al. - 1999
2: Interval diagrams: Increasing e#ciency of symbolic real-time verification (context) - Strehl - 1999
2: FunState ---an internal design representation for codesign - Thiele, Strehl et al. - 1999
BibTeX entry: (Update)
Karsten Strehl, Symbolic Methods Applied to Formal Verification and Synthesis in Embedded Systems Design, Ph.D. thesis, Swiss Federal Institute of Technology (ETH) Zurich, Shaker Verlag, Aachen, Germany, ISBN 3-8265-7193-2, March 2000. http://citeseer.ist.psu.edu/strehl00symbolic.html More
@misc{ strehl00symbolic,
author = "K. Strehl",
title = "Symbolic Methods Applied to Formal Verification and Synthesis in Embedded
Systems Design",
text = "Karsten Strehl, Symbolic Methods Applied to Formal Verification and Synthesis
in Embedded Systems Design, Ph.D. thesis, Swiss Federal Institute of Technology
(ETH) Zurich, Shaker Verlag, Aachen, Germany, ISBN 3-8265-7193-2, March
2000.",
year = "2000",
url = "citeseer.ist.psu.edu/strehl00symbolic.html" }
Citations not processed or no citations identified.
Documents on the same site (http://www.tik.ee.ethz.ch/~symbolic): More
Symbolic Model Checking of Process Networks Using Interval.. - Strehl, Thiele (1998) (Correct)
Scheduling Hardware/Software Systems Using Symbolic.. - Strehl, Thiele.. (1999) (Correct)
Interval Diagram Techniques for Symbolic Model Checking of Petri.. - Thiele (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC