Article

Free access

An analysis-based approach to composition of distributed embedded systems

Authors:

Pai Chou,

Gaetano BorrielloAuthors Info & Claims

CODES/CASHE '98: Proceedings of the 6th international workshop on Hardware/software codesign

Pages 3 - 7

Published: 01 March 1998 Publication History

PDF eReader

References

[1]

G. Berry and G. Gonthier. The ESTEREL synchronous programming language: design, semantics, implementation. Science of Computer Programming, 19(2):87-152, November 1992.

Digital Library

Google Scholar

[2]

G. Berry, S. Ramesh, and R. K. Shyamasundar. Communicating reactive processes. In Conference Reconi of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 85-98, January 1993.

Digital Library

Google Scholar

[3]

P. Chou and G. Borriello. Modal processes: Towards enhanced retargetability through control composition of distributed embedded systems. In Working puper; http://(uww.cs.washington.edu/reseatclkhinooWpublications.html, October 1997.

Google Scholar

[4]

D. Harel and E. Gery. Executable object modeling with StateCharts. ICSE-18, pages 246257.1996.

Digital Library

Google Scholar

[5]

D. Harel, H. Lachover. A. Naamad, A. Pnueli. M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. STATEMATE: a working environment for the development of complex reactive systems. IEEE Transactions on Sofrware Engineering, 16(4):403-4 14. April 1990.

Digital Library

Google Scholar

[6]

C. A. R. Hoare. Communicating Sequential Pmcesses. Prentice-Hall, 1985.

Digital Library

Google Scholar

[7]

L. Lamport. Time, clocks, and the ordering of events in a distributed system. Cqmmunications of the ACM, 21(7), July 1978.

Digital Library

Google Scholar

[8]

E. A. Lee and T. M. Parks. Dataflow process networks. Proceedings of the IEEE, 83:773-801, May 1995.

Crossref

Google Scholar

[9]

D. E. Thomas and P R. Moorby. The krilog Hardware Description Language. Kluwer Academic Publishers, 1991.

Digital Library

Google Scholar

Cited By

View all

Niu JAtlee JDay N(2002)Composable semantics for model-based notationsACM SIGSOFT Software Engineering Notes10.1145/605466.60548927:6(149-158)Online publication date: 1-Nov-2002
https://dl.acm.org/doi/10.1145/605466.605489
Niu JAtlee JDay NSoffa MGriswold W(2002)Composable semantics for model-based notationsProceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering10.1145/587051.587074(149-158)Online publication date: 18-Nov-2002
https://dl.acm.org/doi/10.1145/587051.587074
Deng XDwyer MHatcliff JMizuno MTracz WMagee JYoung M(2002)Invariant-based specification, synthesis, and verification of synchronization in concurrent programsProceedings of the 24th International Conference on Software Engineering10.1145/581339.581394(442-452)Online publication date: 19-May-2002
https://dl.acm.org/doi/10.1145/581339.581394
Show More Cited By

Index Terms

An analysis-based approach to composition of distributed embedded systems
1. Computer systems organization
2. Mathematics of computing
  1. Discrete mathematics
    1. Graph theory

Recommendations

Model-driven engineering of component-based distributed, real-time and embedded systems
Empirical evaluation of OpenCCM for Java-based distributed, real-time, and embedded systems
SAC '05: Proceedings of the 2005 ACM symposium on Applied computing

Component technology can overcome many limitations of conventional Object Request Brokers (ORBs) in developing distributed, real-time, and embedded (DRE) applications. Component technology has particular advantages for building large-scale DRE systems. ...
Towards Heterogeneous Composition of Distributed Real-Time and Embedded (DRE) Systems Using the CORBA Component Model
SEAA '11: Proceedings of the 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications

This paper presents a method for using the CORBA Component Model (CCM) to integrate heterogeneous DRE systems. It has been realized in a extensible C++ template framework named CCM++. Experience from applying CCM++ on an example DRE shows can simplify ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

CODES/CASHE '98: Proceedings of the 6th international workshop on Hardware/software codesign

March 1998

152 pages

ISBN:0818684429

Chairmen:
Geatano Borriello
Univ. of Washington, Seattle
,
Ahmed A. Jerraya
TIMA Lab., Grenoble, France
,
Luciano Lavagno
Politecnico di Torino, Torino, Italy

Publisher

IEEE Computer Society

United States

Publication History

Published: 01 March 1998

Check for updates

Qualifiers

Article

Conference

CODES98

Sponsor:

SIGDA
SIGSOFT
IEEE-CS
IFIP

CODES98: 6th International Workshop on Hardware/Software Codesign

March 15 - 18, 1998

Washington, Seattle, USA

Acceptance Rates

CODES/CASHE '98 Paper Acceptance Rate 24 of 66 submissions, 36%;

Overall Acceptance Rate 280 of 864 submissions, 32%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
147
Total Downloads

Downloads (Last 12 months)14
Downloads (Last 6 weeks)0

Reflects downloads up to 17 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Niu JAtlee JDay N(2002)Composable semantics for model-based notationsACM SIGSOFT Software Engineering Notes10.1145/605466.60548927:6(149-158)Online publication date: 1-Nov-2002
https://dl.acm.org/doi/10.1145/605466.605489
Niu JAtlee JDay NSoffa MGriswold W(2002)Composable semantics for model-based notationsProceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering10.1145/587051.587074(149-158)Online publication date: 18-Nov-2002
https://dl.acm.org/doi/10.1145/587051.587074
Deng XDwyer MHatcliff JMizuno MTracz WMagee JYoung M(2002)Invariant-based specification, synthesis, and verification of synchronization in concurrent programsProceedings of the 24th International Conference on Software Engineering10.1145/581339.581394(442-452)Online publication date: 19-May-2002
https://dl.acm.org/doi/10.1145/581339.581394
Chou PHines KPartridge KBorriello G(2001)Control generation for embedded systems based on composition of modal processesReadings in hardware/software co-design10.5555/567003.567033(350-357)Online publication date: 1-Jun-2001
https://dl.acm.org/doi/10.5555/567003.567033
Ernst R(2001)Codesign of embedded systemsReadings in hardware/software co-design10.5555/567003.567008(45-54)Online publication date: 1-Jun-2001
https://dl.acm.org/doi/10.5555/567003.567008
Richter KZiegenbein DErnst RThiele LTeich J(1999)Representation of function variants for embedded system optimization and synthesisProceedings of the 36th annual ACM/IEEE Design Automation Conference10.1145/309847.309990(517-522)Online publication date: 1-Jun-1999
https://dl.acm.org/doi/10.1145/309847.309990
Chou POrtega RHines KPatridge KBorriello G(1999)ipChinookProceedings of the 36th annual ACM/IEEE Design Automation Conference10.1145/309847.309865(44-49)Online publication date: 1-Jun-1999
https://dl.acm.org/doi/10.1145/309847.309865
Chou PHines KPartidge KBorriello GYasuura H(1998)Control generation for embedded systems based on composition of modal processesProceedings of the 1998 IEEE/ACM international conference on Computer-aided design10.1145/288548.288559(46-53)Online publication date: 1-Nov-1998
https://dl.acm.org/doi/10.1145/288548.288559
Ernst R(1998)Codesign of Embedded SystemsIEEE Design & Test10.1109/54.67920715:2(45-54)Online publication date: 1-Apr-1998
https://dl.acm.org/doi/10.1109/54.679207

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

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

Model-driven engineering of component-based distributed, real-time and embedded systems

Empirical evaluation of OpenCCM for Java-based distributed, real-time, and embedded systems

Towards Heterogeneous Composition of Distributed Real-Time and Embedded (DRE) Systems Using the CORBA Component Model