Article

Free access

Intellectual property re-use in embedded system co-design: an industrial case study

Authors:

A. Sangiovanni-VincentelliAuthors Info & Claims

ISSS '98: Proceedings of the 11th international symposium on System synthesis

Pages 37 - 42

Published: 02 December 1998 Publication History

PDF eReader Publisher Site

References

[1]

F.Balarin et al., "Hardware-Software Co-design of Embedded Systems - The POLLS experience", Kluwer Academic Pub., 1997.

Digital Library

Google Scholar

[2]

E.Filippi, L. Licciardi, A. Montanaro, M. Paolini, M. Turolla, M. Taliercio, "The Virtual Chip Set: A Parametric IP Library for System on a Chip Design", CICC, Santa Clara, May 1998.

Google Scholar

[3]

CISI Ingenierie, "Esterel V3 Language Reference Manual, V3.1, rel.4"

Google Scholar

[4]

Tabbara, "Validation of Reactive Real-Time Systems Using VHDL" Masters Thesis, University of California at Berkeley, May 1998.

Google Scholar

[5]

S.M. Waiters, M. Ahmed, "Broadband Virtual Private Networks and their Evolution", International Switching Symposium ISS'92, Yokohama, October 25-30, 1992

Google Scholar

[6]

Coppo, M. D'Ambrosio, V. Vercellone, "The A-VPN Server, a solution for ATM Virtual Private Networks", Proc. of ICCS 94, Singapore, November 14-18, 1994

Google Scholar

[7]

The ATM Forum. "UTOPIA, an ATM-PHY Interface specification, level 1, v2.01", March 1994.

Google Scholar

[8]

J.W. Roberts. "Resource sharing in B-ISDN using virtual spacing scheduling", Proceeding of the 6th International Network Planning Symposium, 1994.

Google Scholar

[9]

J.W. Roberts, P.E. Boyer, M.J. Servel. "A real-time sorter with application to ATM traffic control", Proc. ISS'95

Google Scholar

[10]

M. Sgroi, "Quasi-Static Scheduling of Embedded Software Using Free-Choice Petri Nets", M.S. Thesis, University of California at Berkeley, May 1998.

Google Scholar

Cited By

View all

Cortés LEles PPeng ZKurdahi FHermida R(2000)Verification of embedded systems using a petri net based representationProceedings of the 13th international symposium on System synthesis10.5555/501790.501822(149-155)Online publication date: 20-Sep-2000
https://dl.acm.org/doi/10.5555/501790.501822
Hsieh HBalarin FLavagno LSangiovanni-Vincentelli ADe Micheli G(2000)Efficient methods for embedded system design space explorationProceedings of the 37th Annual Design Automation Conference10.1145/337292.337593(607-612)Online publication date: 1-Jun-2000
https://dl.acm.org/doi/10.1145/337292.337593
Sgroi MLavagno LWatanabe YSangiovanni-Vincentelli A(1999)Synthesis of embedded software using free-choice Petri netsProceedings of the 36th annual ACM/IEEE Design Automation Conference10.1145/309847.310073(805-810)Online publication date: 1-Jun-1999
https://dl.acm.org/doi/10.1145/309847.310073

Index Terms

Intellectual property re-use in embedded system co-design: an industrial case study

Recommendations

The scientific data reuse and intellectual property of data sharing in biomedical field
BIC '24: Proceedings of the 2024 4th International Conference on Bioinformatics and Intelligent Computing

With the advancement of data technology, the management and research of scientific datasets have attracted extensive attention. Scientific dataset reuse can maximize the value of scientific datasets through effective development and utilization of ...
Embedded Fortress - Software Environment for Intellectual Property Protection in Embedded Systems
Computer Aided Systems Theory - EUROCAST 2009

Embedded Fortress system is the tool designed for electronics engineers and designers, who wish to secure the Intellectual Property (IP) in their embedded systems. The main tasks of Embedded Fortress software include providing designer with a ready-made ...
Embedded System Design: Modeling, Synthesis and Verification

Comments

Information & Contributors

Information

Published In

ISSS '98: Proceedings of the 11th international symposium on System synthesis

December 1998

164 pages

ISBN:0818686235

Editor:
Francky Catthoor
IMEC v.z.w., Leuven, Belgium

Publisher

IEEE Computer Society

United States

Publication History

Published: 02 December 1998

Check for updates

Qualifiers

Article

Conference

ISSS98

Sponsor:

SIGDA
IEEE-CS

ISSS98: 11th International Symposium on Systems Synthesis

December 2 - 4, 1998

Taiwan, Hsinchu, China

Acceptance Rates

Overall Acceptance Rate 38 of 71 submissions, 54%

Upcoming Conference

ESWEEK '24

Sponsor:
sigbed
sigbed
sigbed

Twentieth Embedded Systems Week

September 29 - October 4, 2024

Raleigh , NC , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
222
Total Downloads

Downloads (Last 12 months)15
Downloads (Last 6 weeks)7

Reflects downloads up to 03 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Cortés LEles PPeng ZKurdahi FHermida R(2000)Verification of embedded systems using a petri net based representationProceedings of the 13th international symposium on System synthesis10.5555/501790.501822(149-155)Online publication date: 20-Sep-2000
https://dl.acm.org/doi/10.5555/501790.501822
Hsieh HBalarin FLavagno LSangiovanni-Vincentelli ADe Micheli G(2000)Efficient methods for embedded system design space explorationProceedings of the 37th Annual Design Automation Conference10.1145/337292.337593(607-612)Online publication date: 1-Jun-2000
https://dl.acm.org/doi/10.1145/337292.337593
Sgroi MLavagno LWatanabe YSangiovanni-Vincentelli A(1999)Synthesis of embedded software using free-choice Petri netsProceedings of the 36th annual ACM/IEEE Design Automation Conference10.1145/309847.310073(805-810)Online publication date: 1-Jun-1999
https://dl.acm.org/doi/10.1145/309847.310073

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

The scientific data reuse and intellectual property of data sharing in biomedical field

Embedded Fortress - Software Environment for Intellectual Property Protection in Embedded Systems

Embedded System Design: Modeling, Synthesis and Verification

Comments

Published In

Sponsors

Publisher

Publication History

Check for updates

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

References

Cited By

Index Terms

Recommendations

The scientific data reuse and intellectual property of data sharing in biomedical field

Embedded Fortress - Software Environment for Intellectual Property Protection in Embedded Systems

Embedded System Design: Modeling, Synthesis and Verification

Comments

Information

Published In

Sponsors

Publisher

Publication History

Check for updates

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations