Article

Free access

A software synthesis tool for distributed embedded system design

Authors:

J. K. Hollingsworth,

M. SaksenaAuthors Info & Claims

LCTES '99: Proceedings of the ACM SIGPLAN 1999 workshop on Languages, compilers, and tools for embedded systems

Pages 87 - 95

https://doi.org/10.1145/314403.314468

Published: 01 May 1999 Publication History

Abstract

We present a design tool for automated synthesis of embedded systems on distributed COTS-based platforms. Our synthesis tool consists of (1) a graphical user interface for input of software layouts, which maps tasks to resources and (2) a constraints solving engine, which allocates local resources to tasks, all with the goal of meeting specified performance criteria. Our tool differs from previous work in that it allows (a) use of stochastic (rather than worst-case) models of resource usage and (b) resource sharing among components. Our approach uses analytical approximate solutions for quick estimates of the desired performance measures. These estimates permit an efficient search of the possible design space. Once candidate designs are determined, they are validated through a simulation model. We demonstrate the efficiency and robustness of this tool on a synthetic aperture radar benchmark.

References

[1]

Jon C.R. Bennett and Hui Zhang. WF2Q : Worstcase Fair Weighted Fair Queueing. In Proceedings o} IEEE INFOCOM. IEEE Computer Society Press, March 1996.

Digital Library

[2]

C.P. Brown, R. A. Games, and J.J. Vaccaro. Real-Time Parallel Software Design Case Study: Implementation of the RASSP SAR Benchmark on the Intel Paragon. Technical Report MTR 95BTBD, The'MITRE Corporation, Bedford, MA, 1995.

[3]

Alan Burns. Preemptive Priority Based Scheduling: An Appropriate Engineering Approach. In Sang Son, editor, Principles of Real-Time Systems. Prentice Hall, 1994.

[4]

Alan Demers. Analysis and Simulation of a Fair Queueing Algorithm. In Proceedings of A CM SIGCOMM, pages 1-12. ACM Press, September 1989.

Digital Library

[5]

Peter Dinda, Thomas Gross, David O'Hallaron, Edward Segall, James Stichnoth, Jaspal Subhlok, Jon Webb, and Bwolen Yang. The CMU Task Parallel Program Suite. Technical Report CMU-CS-94-131, School of Computer Science, Carnegie Mellon University, March 1994.

[6]

J. Liu et al. Perts: A prototype environment for realtime systems. Technical Report UIUCDCS-R-93-1802, Department of Computer Science, University of Illinois, 1993.

Digital Library

[7]

R. Gerber, S. Hong, and M. Saksena. Guaranteeing Real-Time Requirements with Resource-Based Calibration of Periodic Processes. IEEE Transactions on Software Engineering, 21, July 1995.

Digital Library

[8]

R. Gerber, Dong-In Kang, Seongsoo Hong, and Manas Saksena. End-to-End Design of Real-Time Systems, chapter 10, pages 237-265. Wiley, 1996. In Formal Methods/or Real-Time Computing, edited by Constance Heitmeyer and Dino Mandrioli.

[9]

M. Harbour, M. Klein, and J. Lehoczky. Fixed Priority Scheduling of Periodic Tasks with Varying Execution Priority. in Proceedings, IEEE Real-Time Systems Symposium, pages 116-128, December 1991.

[10]

Constance Heitmeyer and editors Dino Mandrioli. Formal Methods for Real-Time Computing. Wiley, 1996.

Digital Library

[11]

Wagner Meira Jr. Understanding Parallel Program Performance Using Cause-Effect Analysis. Technical Report Ph.D. Thesis, University of Rochester, 1997.

Digital Library

[12]

Dong-In Kang, Richard Gerber, and Leans Golubchik. Automated techniques for designing embedded signal processors on distributed platforms. Technical Report CS-TR-3944, UMIACS-TR-98-57, Department of Computer Science, University of Maryland, October 1998.

[13]

Dong-In Kang, Richard Gerber, Leans Golubchik, and Jeffrey K. HoUingsworth. Techniques for automating distributed real-time applications design". In 1EEE International Symposium on High Performance Distributed Computing. IEEE Computer Society Press, August 1999.

Digital Library

[14]

Dong-In Kang, Richard Gerber, and Manas Saksena. Performance-based design of distributed real-time systems. In Proceedings of IEEE Real-Time Technology and Applications Symposium. IEEE Computer Society Press, June 1997.

Digital Library

[15]

J. Leung and M. Merill. A Note on the Preemptive Scheduling of Periodic, Real-Time Tasks. Information Processing Letters, 11(3):115-118, November 1980.

[16]

C. Liu and J. Layland. Scheduling Algorithm for Multiprogramming in a Hard Real-Time Environment. Journal of the A CM, 20(1):46-61, January 1973.

Digital Library

[17]

A. K. Parekh and G. Gallager. A Generalized Processor Sharing Approach to Flow Control in Integrated Services Networks- The Single Node Case. In Proceedings of IEEE INFOCOM, pages 915-924. IEEE Computer Society Press, March 1992.

Digital Library

[18]

M. Saksena and S. FIong. Resource Conscious Design of Real-Time Systems: An End-to-End Approach. In IEEE International Conference of Engineering Complex Computer Systems. IEEE Computer Society Press, October 1996.

Digital Library

[19]

F. Thoen, M. Cornero, G. Goossens, and H. De Man. Software synthesis for real-time information processing systems. In Proceedings of Workshop on Languages Compilers and Tools for Real-Time Systems, pages 60- 69. ACM SIGPLAN, June 1995. Appears as ACM SIG- PLAN Notices, 30(11).

Digital Library

[20]

Hui Zhang and D. Ferrari. Rate-controlled staticpriority queueing. In Proceedings of IEEE INFOCOM, pages 227-236. IEEE Computer Society Press, September 1993.

[21]

Lixia Zhang. VirtualClock : A New Traffic control Algorithm for Packet Switching Networks. In Proceedings of A CM SIGCOMM, pages 19-29. ACM Press, September 1990.

Digital Library

[22]

B. Zuerndorfer and G.A. Shaw. SAR Processing for RASSP Application. In Proceedings of the First Annual RASSP Conference, August 1994.

Cited By

Tavares EBarreto RMaciel POliveira MAmorim LRocha FLima R(2007)Software synthesis for hard real-time embedded systems with multiple processorsACM SIGSOFT Software Engineering Notes10.1145/1234741.123476932:2(1-10)Online publication date: 1-Mar-2007
https://dl.acm.org/doi/10.1145/1234741.1234769
Sun PLuo JWang CWu D(2024)An Improved Smart Helmet for Safe Travel of Deaf People Based on Embedded System2024 IEEE 4th International Conference on Electronic Technology, Communication and Information (ICETCI)10.1109/ICETCI61221.2024.10594072(183-188)Online publication date: 24-May-2024
https://doi.org/10.1109/ICETCI61221.2024.10594072
Hasanagić MFabbri TLarsen PBandur VTran-Jørgensen POuy J(2019)Code generation for distributed embedded systems with VDM-RTDesign Automation for Embedded Systems10.1007/s10617-019-09227-0Online publication date: 19-Nov-2019
https://doi.org/10.1007/s10617-019-09227-0
Show More Cited By

Index Terms

A software synthesis tool for distributed embedded system design
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software implementation planning
        Software design techniques
    2. Software development process management
  2. Software organization and properties
    1. Contextual software domains
      1. Operating systems

Recommendations

A software synthesis tool for distributed embedded system design
LCTES '99. Languages, compilers, and tools for embedded systems: proceedings of the ACM SIGPLAN 1999 workshop

We present a design tool for automated synthesis of embedded systems on distributed COTS-based platforms. Our synthesis tool consists of (1) a graphical user interface for input of software layouts, which maps tasks to resources and (2) a constraints ...
A Synthesis-for-Test Design System
System Synthesis with VHDL: A Transformational Approach

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

LCTES '99: Proceedings of the ACM SIGPLAN 1999 workshop on Languages, compilers, and tools for embedded systems

May 1999

120 pages

ISBN:1581131364

DOI:10.1145/314403

ACM SIGPLAN Notices Volume 34, Issue 7
LCTES '99. Languages, compilers, and tools for embedded systems: proceedings of the ACM SIGPLAN 1999 workshop
July 1999
104 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/315253
Editor:
A. Michael Berman
Rowan Univ., Glassboro, NJ
Issue’s Table of Contents

Copyright © 1999 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 May 1999

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

LCTES99

Sponsor:

SIGPLAN

LCTES99: Workshop on Languages, Compilers, and Tools for Embedded Systems

May 5, 1999

Georgia, Atlanta, USA

Acceptance Rates

LCTES '99 Paper Acceptance Rate 12 of 45 submissions, 27%;

Overall Acceptance Rate 116 of 438 submissions, 26%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
511
Total Downloads

Downloads (Last 12 months)55
Downloads (Last 6 weeks)19

Reflects downloads up to 14 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Tavares EBarreto RMaciel POliveira MAmorim LRocha FLima R(2007)Software synthesis for hard real-time embedded systems with multiple processorsACM SIGSOFT Software Engineering Notes10.1145/1234741.123476932:2(1-10)Online publication date: 1-Mar-2007
https://dl.acm.org/doi/10.1145/1234741.1234769
Sun PLuo JWang CWu D(2024)An Improved Smart Helmet for Safe Travel of Deaf People Based on Embedded System2024 IEEE 4th International Conference on Electronic Technology, Communication and Information (ICETCI)10.1109/ICETCI61221.2024.10594072(183-188)Online publication date: 24-May-2024
https://doi.org/10.1109/ICETCI61221.2024.10594072
Hasanagić MFabbri TLarsen PBandur VTran-Jørgensen POuy J(2019)Code generation for distributed embedded systems with VDM-RTDesign Automation for Embedded Systems10.1007/s10617-019-09227-0Online publication date: 19-Nov-2019
https://doi.org/10.1007/s10617-019-09227-0
Hasanagić MTran‐Jørgensen PNilsson RLarsen P(2018)Realization of distributed system models using code generation extensionsSoftware: Practice and Experience10.1002/spe.267149:3(478-497)Online publication date: 11-Dec-2018
https://doi.org/10.1002/spe.2671
Tang CBodden ESchäfer WDeursen AZisman A(2017)System performance optimization via design and configuration space explorationProceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering10.1145/3106237.3119880(1046-1049)Online publication date: 21-Aug-2017
https://dl.acm.org/doi/10.1145/3106237.3119880
Tang CBagheri HPaisarnsrisomsuk SSullivan KUchitel SOrso ARobillard M(2017)Towards designing effective data persistence through tradeoff space analysisProceedings of the 39th International Conference on Software Engineering Companion10.1109/ICSE-C.2017.106(353-355)Online publication date: 20-May-2017
https://dl.acm.org/doi/10.1109/ICSE-C.2017.106

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

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

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents