Article

Separation of concerns: overhead in modeling and efficient simulation techniques

Authors:

Guang Yang,

Alberto Sangiovanni-Vincentelli,

Yosinori Watanabe,

Felice BalarinAuthors Info & Claims

EMSOFT '04: Proceedings of the 4th ACM international conference on Embedded software

Pages 44 - 53

https://doi.org/10.1145/1017753.1017765

Published: 27 September 2004 Publication History

Get Access

Abstract

Separating the description of important aspects of a design such as behavior and architecture, or computation and communication, may yield significant advantages in design time as well as in re-usability of the design. However, exploiting fully the re-usability opportunities offered by this approach implies to keep the various aspects of the design separated while verifying the design at a given level of abstraction. In particular, simulation of the design may undergo significant overhead versus a traditional approach where the design is represented and analyzed monolithically. In this paper, we present a few techniques that eliminate almost entirely the overhead while maintaining the positive aspects of the separation of concerns. Experimental results on a complex design back this assertion.

References

[1]

P. Alexander and C. Kong. Rosetta: semantic support for model-centered systems-level design. Computer, 34(11):64--70, November 2001.

Digital Library

Google Scholar

[2]

F. Balarin, L. Lavagno, C. Passerone, A. Sangiovanni-Vincentelli, M. Sgroi, and Y. Watanabe. Modeling and designing heterogenous systems. In Jordi Cortadella, Alex Yakovlev, and Grzegorz Rozenberg, editors, Concurrency and Hardware Design, pages 228--273. Springer, 2002. LNCS2549.

Digital Library

Google Scholar

[3]

Felice Balarin, Yosinori Watanabe, and et al. Metropolis: An integrated environment for electronic system design. IEEE Computer Society, April 2003.

Digital Library

Google Scholar

[4]

J. Buck, S. Ha, E.A. Lee, and D.G. Masserschmitt. Ptolemy: a framework for simulating and prototyping heterogeneous systems. International Journal of Computer Simulation, special issue on Simulation Software Development, January 1990.

Google Scholar

[5]

D.D. Gajski, J. Zhu, R. Domer, A. Gerstlauer, and S. Zhao. SpecC: specication language and methodology. Kluwer Academic Publishers, 2000.

Crossref

Google Scholar

[6]

T. Grotker, S. Liao, G. Martin, and S. Swan. System design with SystemC. Kluwer Academic Publishers, 2002.

Digital Library

Google Scholar

[7]

G. Kahn. The semantics of a simple language for parallel programming. In Proceedings of the IFIP Congress 74, pages 471--475. North-Holland, 1974.

Google Scholar

[8]

K. Keutzer, A.R. Newton, J.M. Rabaey, and A. Sangiovanni-Vincentelli. System-level design: orthogonalization of concerns and platform-based design. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 19(12):1523--1543, December 2000.

Digital Library

Google Scholar

[9]

E.A. de Kock, G. Essink, W.J.M. Smits, P. van der Wolf, J.Y. Brunel, W.M. Kruijtzer, P. Lieverse, and K.A. Vissers. Yapi: application modeling for signal processing systems. In Proceedings of the 37th Design Automation Conference, June 2000.

Digital Library

Google Scholar

[10]

P. Lieverse, P. van der Wolf, E.E. Deprettere, and K. Vissers. A methodology for architecture exploration of heterogeneous signal processing systems. In Proceedings of the IEEE Workshop on Signal Processing Systems, SiPS 99, pages 181--190.IEEE Press, 1999.

Google Scholar

[11]

A.D. Pimentel and C. Erbas. An IDF-based trace transformation method for communication renement. In Proceedings of the 40th conference on Design automation conference, Anaheim, CA, USA, pages 402--407. ACM Press, June 2003.

Digital Library

Google Scholar

[12]

A.D. Pimentel, L.O. Hertzbetger, P. Lieverse, P. van der Wolf, and E.E. Deprettere. Exploring embedded-systems architectures with Artemis. Computer, 34(11):57--63, November 2001.

Digital Library

Google Scholar

[13]

I. Sander and A. Jantsch. System modeling and transformational design renement in ForSyDe. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 23(1):17--32, January 2004.

Digital Library

Google Scholar

[14]

Sherry Solden. Architectural services modeling for performance in HW-SW co-design. In Proceedings of the Workshop on Synthesis And System Integration of Mixed Technologies SASIMI2001, Nara, Japan,October 18-19, 2001, pages 72--77, 2001.

Google Scholar

Cited By

View all

Stoico V(2021)A Model-Driven Approach for Early Verification and Validation of Embedded Systems2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)10.1109/MODELS-C53483.2021.00110(684-688)Online publication date: Oct-2021
https://doi.org/10.1109/MODELS-C53483.2021.00110
Zhu QSangiovanni-Vincentelli A(2018)Codesign Methodologies and Tools for Cyber–Physical SystemsProceedings of the IEEE10.1109/JPROC.2018.2864271106:9(1484-1500)Online publication date: Sep-2018
https://doi.org/10.1109/JPROC.2018.2864271
Sangiovanni-Vincentelli A(2007)Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level DesignProceedings of the IEEE10.1109/JPROC.2006.89010795:3(467-506)Online publication date: Mar-2007
https://doi.org/10.1109/JPROC.2006.890107
Show More Cited By

Index Terms

Separation of concerns: overhead in modeling and efficient simulation techniques
1. General and reference
  1. Cross-computing tools and techniques
    1. Validation
2. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Empirical software validation
      2. Process validation

Recommendations

Fostering groupware tailorability through separation of concerns
CRIWG'07: Proceedings of the 13th international conference on Groupware: design implementation, and use

Groupware must deal with a myriad of concerns. Some of them are typical of "conventional" software while others are idiosyncratic of CSCW applications (e.g., awareness). We claim that separating concerns fosters tailorability. While existing approaches ...
Preserving the separation of concerns while composing aspects on shared joinpoints
OOPSLA '09: Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications

Aspect-oriented programming (AOP) is a programming paradigm which makes possible the separation of crosscutting concerns in different modules (the aspects). AOP is known to have issues when aspects are composed in a base program. Several approaches have ...
Preserving the separation of concerns while composing aspects on shared joinpoints
OOPSLA '09: Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications

Aspect-oriented programming (AOP) is a programming paradigm which makes possible the separation of crosscutting concerns in different modules (the aspects). AOP is known to have issues when aspects are composed in a base program. Several approaches have ...

Comments

Information & Contributors

Information

Published In

EMSOFT '04: Proceedings of the 4th ACM international conference on Embedded software

September 2004

316 pages

ISBN:1581138601

DOI:10.1145/1017753

General Chair:
Giorgio Buttazzo
University of Pavia, Italy

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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 27 September 2004

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

EMSOFT04

Sponsor:

SIGBED

EMSOFT04: Fourth ACM International Conference on Embedded Software 2004

September 27 - 29, 2004

Pisa, Italy

Acceptance Rates

Overall Acceptance Rate 60 of 203 submissions, 30%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
324
Total Downloads

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

Reflects downloads up to 14 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Stoico V(2021)A Model-Driven Approach for Early Verification and Validation of Embedded Systems2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)10.1109/MODELS-C53483.2021.00110(684-688)Online publication date: Oct-2021
https://doi.org/10.1109/MODELS-C53483.2021.00110
Zhu QSangiovanni-Vincentelli A(2018)Codesign Methodologies and Tools for Cyber–Physical SystemsProceedings of the IEEE10.1109/JPROC.2018.2864271106:9(1484-1500)Online publication date: Sep-2018
https://doi.org/10.1109/JPROC.2018.2864271
Sangiovanni-Vincentelli A(2007)Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level DesignProceedings of the IEEE10.1109/JPROC.2006.89010795:3(467-506)Online publication date: Mar-2007
https://doi.org/10.1109/JPROC.2006.890107
Kim DHa SGupta RGielen G(2006)Parallel co-simulation using virtual synchronization with redundant host executionProceedings of the conference on Design, automation and test in Europe: Proceedings10.5555/1131481.1131798(1151-1156)Online publication date: 6-Mar-2006
https://dl.acm.org/doi/10.5555/1131481.1131798
Yang GHsieh HChen XBalarin FSangiovanni-Vincentelli A(2006)Constraints Assisted Modeling and Validation in Metropolis Framework2006 Fortieth Asilomar Conference on Signals, Systems and Computers10.1109/ACSSC.2006.355002(1469-1474)Online publication date: Oct-2006
https://doi.org/10.1109/ACSSC.2006.355002
Altintas IBarney OJaeger-Frank E(2006)Provenance collection support in the kepler scientific workflow systemProceedings of the 2006 international conference on Provenance and Annotation of Data10.1007/11890850_14(118-132)Online publication date: 3-May-2006
https://dl.acm.org/doi/10.1007/11890850_14
Jackson ESztipanovits JWolf W(2005)Using separation of concerns for embedded systems designProceedings of the 5th ACM international conference on Embedded software10.1145/1086228.1086235(25-34)Online publication date: 18-Sep-2005
https://dl.acm.org/doi/10.1145/1086228.1086235
Marculescu ROgras UZamora NMalik SFix LKahng A(2004)Computation and communication refinement for multiprocessor SoC designProceedings of the 41st annual Design Automation Conference10.1145/996566.1142983(564-592)Online publication date: 7-Jun-2004
https://dl.acm.org/doi/10.1145/996566.1142983

View Options

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

Fostering groupware tailorability through separation of concerns

Preserving the separation of concerns while composing aspects on shared joinpoints

Preserving the separation of concerns while composing aspects on shared joinpoints

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Other Metrics

Article Metrics

Other Metrics

Cited By

Login options

Full Access

PDF

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Fostering groupware tailorability through separation of concerns

Preserving the separation of concerns while composing aspects on shared joinpoints

Preserving the separation of concerns while composing aspects on shared joinpoints

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations