Synthesis of embedded software using free-choice Petri nets

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Synthesis of embedded software using free-choice Petri nets

Full text

Pdf (122 KB)

Source

Annual ACM IEEE Design Automation Conference archive
Proceedings of the 36th annual ACM/IEEE Design Automation Conference table of contents

New Orleans, Louisiana, United States

Pages: 805 - 810

Year of Publication: 1999

ISBN:1-58133-109-7

Authors

Marco Sgroi	University of California, Berkeley, CA
Luciano Lavagno	Cadence Design Systems
Yosinori Watanabe	Cadence Design Systems
Alberto Sangiovanni-Vincentelli	University of California, Berkeley, CA

Sponsors

EDAC : Electronic Design Automation Consortium
IEEE-CAS : Circuits & Systems
SIGDA: ACM Special Interest Group on Design Automation

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 16, Citation Count: 20

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/309847.310073 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Edward Ashford Lee , David G. Messerschmitt, Static scheduling of synchronous data flow programs for digital signal processing, IEEE Transactions on Computers, v.36 n.1, p.24-35, Jan. 1987 [doi>10.1109/TC.1987.5009446]
	2	E. Filippi , L. Lavagno , L. Licciardi , A. Montanaro , M. Paolini , R. Passerone , M. Sgroi , A. Sangiovanni-Vincentelli, Intellectual property re-use in embedded system co-design: an industrial case study, Proceedings of the 11th international symposium on System synthesis, p.37-42, December 02-04, 1998, Hsinchu, Taiwan, China
	3	Filip Thoen , Marco Cornero , Gert Goossens , Hugo De Man, Real-time multi-tasking in software synthesis for information processing systems, Proceedings of the 8th international symposium on System synthesis, p.48-53, September 13-15, 1995, Cannes, France [doi>10.1145/224486.224496]
	4	E.Teruel. Structure theory of Weighted Place/Transition Net systems. The Equal Conflict hiatus. Ph.D dissertation. Universidad de Zaragoza, 1994.
	5	Joseph Tobin Buck , Edward A. Lee, Scheduling dynamic dataflow graphs with bounded memory using the token flow model, 1993
	6	Bill Lin, Software synthesis of process-based concurrent programs, Proceedings of the 35th annual conference on Design automation, p.502-505, June 15-19, 1998, San Francisco, California, United States [doi>10.1145/277044.277182]
	7	M.Hack. Analysis of Production Schemata by Petri Nets. Master thesis. MIT, 1972.
	8	M. Sgroi. Quasi-static scheduling of embedded software using free-choice petri nets. Technical Report Memo No. UCB/ERL M98/, M.S. dissertation. UC Berkeley, May 1998.
	9	T. Murata. Petri nets: properties, analysis and applications. In Proceedings of the IEEE, April 1989.

CITED BY 20

	M. Baleani , A. Ferrari , A. Sangiovanni-Vincentelli , C. Turchetti, HW/SW codesign of an engine management system, Proceedings of the conference on Design, automation and test in Europe, p.263-269, March 27-30, 2000, Paris, France
	Pao-Ann Hsiung, Formal synthesis and code generation of embedded real-time software, Proceedings of the ninth international symposium on Hardware/software codesign, p.208-213, April 2001, Copenhagen, Denmark
	Yunjian Jiang , Robert K. Brayton, Software synthesis from synchronous specifications using logic simulation techniques, Proceedings of the 39th conference on Design automation, June 10-14, 2002, New Orleans, Louisiana, USA
	Stephen A. Edwards, Compiling Esterel into sequential code, Proceedings of the 37th conference on Design automation, p.322-327, June 05-09, 2000, Los Angeles, California, United States
	Jordi Cortadella , Alex Kondratyev , Luciano Lavagno , Marc Massot , Sandra Moral , Claudio Passerone , Yosinori Watanabe , Alberto Sangiovanni-Vincentelli, Task generation and compile-time scheduling for mixed data-control embedded software, Proceedings of the 37th conference on Design automation, p.489-494, June 05-09, 2000, Los Angeles, California, United States
	E. A. de Kock, Multiprocessor mapping of process networks: a JPEG decoding case study, Proceedings of the 15th international symposium on System Synthesis, October 02-04, 2002, Kyoto, Japan
	Wolfgang Müller , Wolfgang Rosenstiel , Jürgen Ruf, References, SystemC: methodologies and applications, Kluwer Academic Publishers, Norwell, MA, 2003
	Stephen A. Edwards, Tutorial: Compiling concurrent languages for sequential processors, ACM Transactions on Design Automation of Electronic Systems (TODAES), v.8 n.2, p.141-187, April 2003
	Luis Alejandro Cortés , Petru Eles , Zebo Peng, Modeling and formal verification of embedded systems based on a Petri net representation, Journal of Systems Architecture: the EUROMICRO Journal, v.49 n.12-15, p.571-598, December 2003
	Marco Sgroi , Luciano Lavagno , Alberto Sangiovanni-Vincentelli, Formal Models for Embedded System Design, IEEE Design & Test, v.17 n.2, p.14-27, April 2000
	Pao-Ann Hsiung , Cheng-Yi Lin, Synthesis of real-time embedded software with local and global deadlines, Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, October 01-03, 2003, Newport Beach, CA, USA
	Raimundo Barreto , Marília Neves , Meuse Oliveira, Jr. , Paulo Maciel , Eduardo Tavares , Ricardo Lima, A formal software synthesis approach for embedded hard real-time systems, Proceedings of the 17th symposium on Integrated circuits and system design, September 07-11, 2004, Pernambuco, Brazil
	Eduardo Tavares , Paulo Maciel , Arthur Bessa , Raimundo Barreto , Leonardo Barros , Meuse Oliveira, Jr , Ricardo Lima, A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes, Proceedings of the 18th annual symposium on Integrated circuits and system design, September 04-07, 2005, Florianolpolis, Brazil
	Feng-Shi Su , Pao-Ann Hsiung, Extended quasi-static scheduling for formal synthesis and code generation of embedded software, Proceedings of the tenth international symposium on Hardware/software codesign, May 06-08, 2002, Estes Park, Colorado
	Stephen A. Edwards , Olivier Tardieu, Efficient code generation from SHIM models, ACM SIGPLAN Notices, v.41 n.7, July 2006
	Yongjin Ahn , Keesung Han , Ganghee Lee , Hyunjik Song , Junhee Yoo , Kiyoung Choi , Xingguang Feng, SoCDAL: System-on-chip design AcceLerator, ACM Transactions on Design Automation of Electronic Systems (TODAES), v.13 n.1, p.1-38, January 2008
	Jordi Cortadella , Alex Kondratyev , Luciano Lavagno , Alexander Taubin , Yosinori Watanabe, Quasi-static Scheduling for Concurrent Architectures, Fundamenta Informaticae, v.62 n.2, p.171-196, April 2004
	Yunsi Fei , Srivaths Ravi , Anand Raghunathan , Niraj K. Jha, Energy-optimizing source code transformations for operating system-driven embedded software, ACM Transactions on Embedded Computing Systems (TECS), v.7 n.1, p.1-26, December 2007
	Kyller Gorgônio , Jordi Cortadella , Fei Xia , Alex Yakovlev, Automating Synthesis of Asynchronous Communication Mechanisms, Fundamenta Informaticae, v.78 n.1, p.75-100, January 2007
	Cong Liu , Alex Kondratyev , Yosinori Watanabe , Jörg Desel , Alberto Sangiovanni-Vincentelli, Schedulability Analysis of Petri Nets Based on Structural Properties, Fundamenta Informaticae, v.86 n.3, p.325-341, October 2008