Abstract
In this paper a new approach for describing embedded systems is presented. The approach is based on the composition of hardware and software components with the addition of an interface between them. Non-functional constraints for components and their interfaces can also be modeled and verified. As such, the component-based view presented here differs from traditional component-based views, where focus is laid on the functional part. The ideas discussed in this paper have been implemented in a tool. This tool enables the description of an embedded system through a specific language. It can also allow the behavioral simulation and the non-functional verification of the hardware and software components.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Adams, J.K., Thomas, D.E.: The Design of Mixed Hardware/Software Systems. In: Design Automation Conference (1996)
Alexander, P., Kamath, R., Barton, D.: System Specification in Rosetta. In: IEEE Engineering of Computer Base Systems Symposium. Nashville, Edinburgh, UK (April 2000)
Allen, R., Garlan, D.: Formalizing Architectural Connection. In: Proceedings of the 16th International Conference on Software Engineering, Sorrento, Italy, May 1994, pp. 71–80 (1994)
Bhattacharyya, S.S., et al.: Heterogeneous Concurrent Modeling and Design in Java. Memorandum UCB/ERL M03/27, EECS, University of California, Berkeley, CA USA. 94720, July 16 (2003)
Binns, P., Vestal, S.: Formal real-time architecture specification and analysis. In: Tenth IEEE Workshop on Real-Time Operation Systems and Software, New York, NY (May 1993)
Chido, M., Engels, D., Hsieh, H., Giusto, P., Jurecska, A., Lavagno, L., Suzuki, K., Sangiovanni- Vincentelli, A.: A case study in computer-aided co-design of embedded controllers. Design Automation for Embedded Systems 1(1-2), 51–67 (1996)
Garlan, D., Allen, R., Ockerbloom, J.: Exploiting Style in Architectural Design Environments. In: Proceedings of SIGSOFT 1994: The Second ACM SIGSOFT Symposium on the Foundations of Software Engineering, December 1994, pp. 179–185. ACM Press, New York (1994)
Garlan, D., Monroe, R., Wile, D.A.: An Architecture Description Interchange Language for Software Architecture. Technical Report CMU-CS-95-219, Carnegie Mellon University (1997), http://www.cs.cmu.edu/~acme
Garlan, D., Shaw, M.: An Introduction to Software Architecture. Advances in Software Engineering and Knowledge Engineering 2, 1–39 (1993)
Luckhan, D.C., Augustin, L.M., Kenney, J.J., Vera, J., Bryan, D., Mann, W.: Specification and Analysis of System Architecture using Rapide. IEEE Transactions on Software Engineering, Special Issue on Software Architecture 21(4), 336–355 (1995)
Madsen, J., Grode, J., Knudsen, P.V., Petersen, M.E., Haxthausen, A.E.: LYCOS: the lyngby co-synthesis system. Journal for Design Automation of Embedded Systems 2(2), 195–235 (1997)
Ommering, R.V., Linden, F.V., Kramer, J., Magee, J.: The Koala component model for consumer electronics software. IEEE Computer, Los Alamitos (2000)
PecosProject. Composition environment (January 2003), http://www.pecos-project.org/software.html
Silva Jr., D.C.: A Comprehensive Framework for the Specification of Hardware/Software Systems. PhD, University of Southern California (2001)
Shaw, M., DeLine, R., Klein, D.V., Ross, T.L., Young, D.M., Zelesnik, G.: Abstractions for Software Architecture and Tools to Support Them. IEEE Transactions on Software Engineering, Special Issue on Software Architecture 21(4), 314–335 (1995)
Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, Englewood Cliffs (1996)
SystemC, http://www.systemc.org
Wilmshurst, T.: An Introduction to the Design of Small-Scale Embedded Systems. Palgrave, Oxford (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cascini Peixoto, D.C., da Silva Júnior, D.C. (2004). A Framework for Architectural Description of Embedded System. In: Schepers, H. (eds) Software and Compilers for Embedded Systems. SCOPES 2004. Lecture Notes in Computer Science, vol 3199. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30113-4_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-30113-4_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23035-9
Online ISBN: 978-3-540-30113-4
eBook Packages: Springer Book Archive