Article

Using separation of concerns for embedded systems design

Authors:

Ethan K. Jackson,

Janos SztipanovitsAuthors Info & Claims

EMSOFT '05: Proceedings of the 5th ACM international conference on Embedded software

Pages 25 - 34

https://doi.org/10.1145/1086228.1086235

Published: 18 September 2005 Publication History

Abstract

Embedded systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissible component interactions. We show that this separation of concerns does not imply that component behaviors can be defined in isolation from their envisioned interaction models. We argue that a type of behavior/interaction co-design must be employed to successfully leverage the separation of these concerns. We present formal techniques for accomplishing this co-design and describe tools that implement these formalisms.

References

[1]

The metropolis meta model version 0.4. Tech. Rep. UCB/ERL M04/38, University of California, Berkeley, September 2004.

[2]

A. Benveniste, P. Caspi, S. E. N. H.-P. L. G., and de Simone, R. The synchronous languages twelve years later. Proceedings of the IEEE 91, 1 (2003), 64--83.

[3]

Boussinot, F., and de~Simone, R. The esterel language. Proceedings of the IEEE 79 (September 1991), 1293--1304.

[4]

E. Lee, A. S.-V. A unified framework for comparing models of computation. IEEE Trans. on Computer Aided Design of Integrated Circuits and Systems 17, 12 (December 1998), 1217--1229.

Digital Library

[5]

E. Lee, S. N., and Wirthlin, M. J. Actor-oriented design of embedded hardware and software systems. Journal of Circuits, Systems, and Computers 12, 3 (2003), 231--260.

[6]

G. Karsai, J. Sztipanovits, A. L. T. B. Model-integrated development of embedded software. Proceedings of the IEEE 91, 1 (January 2003), 145--164.

[7]

G. Szedo, S. Neema, J. S., and Bapty, T. Reconfigurable target recognition system. Proceedings of the FPGA Monterey, CA, Feburary 2000 (2000).

Digital Library

[8]

G. Yang, Y. Watanabe, F. B. A. S.-V. Separation of concerns: Overhead in modeling and efficient simulation techniques. In Fourth ACM International Conference on Embedded Software (EMSOFT'04) (September 2004).

Digital Library

[9]

Goessler, G., and Sifakis, J. Composition for component-based modeling. In Proceedings of FMCO'02 (November 2002), vol. 2852, LNCS, pp. 443--466.

[10]

Lee, E. Overview of the ptolemy project. Tech. Rep. No. UCB/ERL M03/25, University of California, Berkeley, CA USA 94720, July 2003.

[11]

Lee, E., and Xiong, Y. A behavioral type system and its application in ptolemy ii. Formal Aspects of Computing Journal 16, 3 (August 2004), 210--237.

Digital Library

[12]

M. Bozga, S. Graf, I. O. I. O., and Sifakis, J. The if toolset. Formal Methods for the Design of Real-Time Systems (September 2004), 237--267. LNCS 3185.

[13]

N. Halbwachs, P. Caspi, P. R., and Pilaud, D. The synchronous data flow programming language lustre. Proceedings of the IEEE 79 (September 1991), 1305--1320.

[14]

P. Le Guernic, T. Gautier, M. L. B., and Maire, C. L. Programming real-time applications with signal. Proceedings of the IEEE 79 (September 1991), 1321--1336.

[15]

T. A. Henzinger, C. M. Kirsch, M. A. S., and Pree, W. From control models to real-time code using giotto. Control Systems Magazine 2, 1 (2003), 50--64.

Cited By

Al-Makhawi WObermaisser R(2015)Minimizing revalidation and recertification in evolutionary embedded systems2015 IEEE World Conference on Factory Communication Systems (WFCS)10.1109/WFCS.2015.7160545(1-8)Online publication date: May-2015
https://doi.org/10.1109/WFCS.2015.7160545
Cunsolo VDistefano SPuliafito AScarpa M(2010)Applying Software Engineering Principles for Designing Cloud@HomeProceedings of the 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing10.1109/CCGRID.2010.76(618-624)Online publication date: 17-May-2010
https://dl.acm.org/doi/10.1109/CCGRID.2010.76
Eckardt THenkler S(2010)Component behavior synthesis for critical systemsProceedings of the First international conference on Architecting Critical Systems10.1007/978-3-642-13556-9_4(52-71)Online publication date: 23-Jun-2010
https://dl.acm.org/doi/10.1007/978-3-642-13556-9_4
Show More Cited By

Index Terms

Using separation of concerns for embedded systems 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 notations and tools
    1. Formal language definitions
2. Theory of computation
  1. Formal languages and automata theory

Recommendations

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 ...
Toward automated refactoring of crosscutting concerns into aspects

Aspect-oriented programing (AOP) improves the separation of concerns by encapsulating crosscutting concerns into aspects. Thus, aspect-oriented programing aims to better support the evolution of systems. Along this line, we have defined a process that ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

EMSOFT '05: Proceedings of the 5th ACM international conference on Embedded software

September 2005

390 pages

ISBN:1595930914

DOI:10.1145/1086228

Conference Chair:
Wayne Wolf
Princeton University, Princeton, NJ

Copyright © 2005 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

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 18 September 2005

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

EMSOFT05

Sponsor:

EMSOFT05: Fifth ACM International Conference on Embedded Software 2005

September 18 - 22, 2005

NJ, Jersey City, USA

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
393
Total Downloads

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

Reflects downloads up to 07 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Al-Makhawi WObermaisser R(2015)Minimizing revalidation and recertification in evolutionary embedded systems2015 IEEE World Conference on Factory Communication Systems (WFCS)10.1109/WFCS.2015.7160545(1-8)Online publication date: May-2015
https://doi.org/10.1109/WFCS.2015.7160545
Cunsolo VDistefano SPuliafito AScarpa M(2010)Applying Software Engineering Principles for Designing Cloud@HomeProceedings of the 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing10.1109/CCGRID.2010.76(618-624)Online publication date: 17-May-2010
https://dl.acm.org/doi/10.1109/CCGRID.2010.76
Eckardt THenkler S(2010)Component behavior synthesis for critical systemsProceedings of the First international conference on Architecting Critical Systems10.1007/978-3-642-13556-9_4(52-71)Online publication date: 23-Jun-2010
https://dl.acm.org/doi/10.1007/978-3-642-13556-9_4
Wood SAkehurst DUzenkov OHowells WMcDonald-Maier K(2008)A Model-Driven Development Approach to Mapping UML State Diagrams to Synthesizable VHDLIEEE Transactions on Computers10.1109/TC.2008.12357:10(1357-1371)Online publication date: 1-Oct-2008
https://dl.acm.org/doi/10.1109/TC.2008.123
Talarico CFreiberger DJones THopkins BHerr CKoh MRodriguez-Marek E(2008)A Hybrid Approach for Modeling and Assessing Performance of Embedded Systems in a Biologically Critical ApplicationProceedings of the 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems10.1109/ECBS.2008.24(227-232)Online publication date: 31-Mar-2008
https://dl.acm.org/doi/10.1109/ECBS.2008.24
Karaila MSysta T(2007)Applying Template Meta-Programming Techniques for a Domain-Specific Visual Language--An Industrial Experience ReportProceedings of the 29th international conference on Software Engineering10.1109/ICSE.2007.16(571-580)Online publication date: 24-May-2007
https://dl.acm.org/doi/10.1109/ICSE.2007.16
Jackson ESztipanovits JMin SYi W(2006)Towards a formal foundation for domain specific modeling languagesProceedings of the 6th ACM & IEEE International conference on Embedded software10.1145/1176887.1176896(53-62)Online publication date: 22-Oct-2006
https://dl.acm.org/doi/10.1145/1176887.1176896
Jackson ESztipanovits J(2006)Correct-ed through ConstructionProceedings of the 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems10.1109/ECBS.2006.32(164-176)Online publication date: 27-Mar-2006
https://dl.acm.org/doi/10.1109/ECBS.2006.32

View Options

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

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents