See this document in CiteSeerX!

Synthesis of Embedded Software Using Free-Choice Petri Nets (1999)  (Make Corrections)  (18 citations)
Marco Sgroi, Luciano Lavagno, Yosinori Watanabe, Alberto Sangiovanni-Vincentelli
Design Automation Conference



  Home/Search   Context   Related

 
View or download:
berkeley.edu/Respep/R...Sgroi_dac99.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  berkeley.edu/HomePages...pubslast (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained partitioning. However, in order to be implemented in software, concurrent tasks need to be scheduled on a shared resource (the processor). The choice of the scheduling policy mainly depends on the specification of the system. For pure dataflow specifications, it is possible to apply a fully static scheduling technique,... (Update)

Context of citations to this paper:   More

...aid of the tool, the best number of tasks. However, new techniques exist that allow, in some cases, this choice to be made automatically [4]. Mapping B : exploiting the ATU capabilities. The second solution tries to minimize the amount of software executed by the CPU by...

...support hierarchical constructions. Several other models extending Petri nets have been used in the design of embedded systems [Mac99] [Sgr99], Ess98] 19 [Ben92] 3.2 Formal Verification Though formal methods are not commonplace in embedded systems design, several...

Cited by:   More
Quasi-Static Scheduling for Concurrent Architectures - Jordi Cortadella Universitat   (Correct)
Communicating Transaction Processes - Roychoudhury, Thiagarajan (2002)   (Correct)
A Petri Net based Modeling and Verification Technique for.. - Cortes (2001)   (Correct)

Similar documents (at the sentence level):
27.9%:   Quasi-Static Scheduling of Embedded Software Using .. - Sgroi, Lavagno.. (1995)   (Correct)

Active bibliography (related documents):   More   All
0.3:   CSTs (Covering Sharing Trees): Compact Data Structures.. - Delzanno, Raskin, Van..   (Correct)
0.3:   Covering Sharing Trees: A Compact Data Structure for.. - Delzanno, Raskin, Van..   (Correct)
0.1:   Petri Net-based Thread Composition for Improved System - Level Simulation Nick   (Correct)

Similar documents based on text:   More   All
0.6:   Synthesis of Real-Time Embedded Software by Timed.. - Pao-Ann Hsiung And   (Correct)
0.4:   Task Generation and Compile-Time Scheduling for.. - Cortadella.. (2000)   (Correct)
0.4:   Extended Quasi-Static Scheduling for Formal Synthesis and Code.. - Su, Hsiung (2002)   (Correct)

Related documents from co-citation:   More   All
9:   Software synthesis of process-based concurrent programs - Lin - 1998
7:   Hardware-Software Co-design of Embedded Systems -- The POLIS approach (context) - Balarin, Sentovich et al. - 1997
5:   Scheduling dynamic dataflow graphs with bounded memory using the Token Flow Mode.. - Buck - 1993

BibTeX entry:   (Update)

M. Sgroi, L. Lavagno, Y. Watanabe, and A. Sangiovanni-Vincentelli. Synthesis of embedded software using free-choice Petri nets. In 36th ACM/IEEE Design Automation Conference, June 1999. http://citeseer.ist.psu.edu/sgroi99synthesis.html   More

@inproceedings{ sgroi99synthesis,
    author = "Marco Sgroi and Luciano Lavagno",
    title = "Synthesis of Embedded Software Using Free-Choice Petri Nets",
    booktitle = "Design Automation Conference",
    pages = "805-810",
    year = "1999",
    url = "citeseer.ist.psu.edu/sgroi99synthesis.html" }
Citations (may not include all citations):
368   analysis and applications (context) - Murata, properties - 1989
150   Static scheduling of synchronous dataflow programs for digit.. (context) - Lee, Messerschmitt - 1987
71   Scheduling dynamic dataflow graphs with bounded memory using.. - Buck - 1993
65   Analysis of Production Schemata by Petri Nets - Hack - 1972
16   Software synthesis of process-based concurrent programs - Lin - 1998
13   Real-time multi-tasking in software synthesis for informatio.. - Thoen - 1995
12   Quasi-static scheduling of embedded software using free-choi.. - Sgroi - 1998
10   Intellectual property re-use in embedded system co-design: a.. (context) - Filippi - 1998
3   Structure theory Weighted PlaceTransition Net system (context) - theory, Place et al. - 1994



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://www-cad.eecs.berkeley.edu/HomePages/alberto/pubslast/pubslast.html):   More
Solution of Parallel Language Equations for Logic.. - Yevtushenko, Villa.. (2001)   (Correct)
Designing Digital Video Systems: Modeling and Scheduling - Kenter, Passerone.. (1999)   (Correct)
Synthesis of Robust Control Systems Under Resource.. - Palopoli, Pinello.. (2002)   (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