Abstract
This paper deals with embedded systems architecture components called as application patterns, and with their employment for design reuse. The first part of this contribution introduces the concepts of application patterns and relates them to the well-known object-oriented design abstractions. Employing application patterns that demonstrate the concrete examples of reusability, the kernel of this contribution presents two case studies, which are based on real design projects: petrol pumping station dispenser controller and multiple lift control system. To reuse an architectural component whose implementation usually consists both of software and hardware, it means to reuse its formal specification. The paper deals with behavioral specifications employing state or timed-state sequences and with their closed-form descriptions by finite-state or timed automata. The contribution focuses on identification, creation, and initial classification of reusable application patterns while retrieval, adaptation, and storage reuse tasks with case-based reasoning support are treated briefly at the conclusion as an introductory information about launching research.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Alexander, C.: A Pattern Language: Towns / Buildings / Construction. Oxford University Press, Oxford (1977)
Alur, R., Henzinger, T.A.: Logics and Models of Real Time: A Survey. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1991. LNCS, vol. 600, pp. 74–106. Springer, Heidelberg (1992)
Arora, A., Kulkarni, S.S.: Component Based Design of Multitolerant Systems. IEEE Transactions on Software Engineering 24(1), 63–78 (1998)
Atkinson, S.: Modelling Formal Integrated Component Retrieval. In: Proceedings of the Fifth International Conference on Software Reuse, pp. 337–346. IEEE Computer Society, Los Alamitos (1998)
Coad, P., Yourdon, E.E.: Object-Oriented Analysis. Yourdon Press, New York (1990)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns – Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)
Henninger, S.: An Evolutionary Approach to Constructing Effective Software Reuse Repositories. Transactions on Software Engineering and Methodology 6(2), 111–140 (1997)
Henninger, S.: An Environment for Reusing Software Processes. In: Proceedings of the Fifth International Conference on Software Reuse, pp. 103–112. IEEE Computer Society, Los Alamitos (1998)
Holtzblatt, L.J., Piazza, R.L., Reubenstein, H.B., Roberts, S.N., Harris, D.R.: Design Recovery for Distributed Systems. IEEE Transactions on Software Engineering 23(7), 461–472 (1997)
Jacobson, L.: Object-Oriented Software Engineering: A User Case-Driven Approach. ACM Press, New York (1992)
Johnson, R.E.: Frameworks = (Components + Patterns). Communications of the ACM 40(10), 39–42 (1997)
Kolodner, J.: Case-based Reasoning. Morgan Kaufmann, San Mateo (1993)
Mili, R., Mili, A., Mittermeir, R.T.: Storing and Retrieving Software Components: A Refinement Based System. IEEE Transactions on Software Engineering 23(7), 445–460 (1997)
Robillard, P.N.: The Role of Knowledge in Software Development. Communications of the ACM 42(1), 87–92 (1999)
Shaw, M., Garlan, D.: Software Architecture. Prentice Hall, Englewood Cliffs (1996)
Sen, A.: The Role of Opportunity in the Software Reuse Process. IEEE Transactions on Software Engineering 23(7), 418–436 (1997)
Soundarajan, N., Fridella, S.: Inheritance: From Code Reuse to Reasoning Reuse. In: Proceedings of the Fifth International Conference on Software Reuse, pp. 206–215. IEEE Computer Society, Los Alamitos (1998)
Sutcliffe, A., Maiden, N.: The Domain Theory for Requirements Engineering. IEEE Transactions on Software Engineering 24(3), 174–196 (1998)
Švéda, M., Babka, O., Freeburn, J.: Knowledge Preserving Development: A Case Study. In: Proceedings of the Engineering of Computer-Based Systems, pp. 347–352. IEEE Computer Society, Los Alamitos (1997)
Švéda, M.: Embedded System Design: A Case Study. In: Proceedings of the Engineering of Computer-Based Systems., pp. 260–267. IEEE Computer Society, Los Alamitos (1996)
Švéda, M.: An Approach to Safety-Critical Systems Design. In: Moreno-Díaz, R., Pichler, F. (eds.) EUROCAST 1997. LNCS, vol. 1333, pp. 34–49. Springer, Heidelberg (1997)
Turner, K.J.: Relating Architecture and Specification. Computer Networks and ISDN Systems 29(4), 437–456 (1997)
van Lamsweerde, A., Willemet, L.: Inferring Declarative Requirements Specifications from Operational Scenarios. IEEE Transactions on Software Engineering 24(12), 1089–1114 (1998)
Xinyao, Y., Ji, W., Chaochen, Z., Pandya, P.K.: Formal Design of Hybrid Systems. In: Langmaack, H., de Roever, W.-P., Vytopil, J. (eds.) FTRTFT 1994 and ProCoS 1994. LNCS, vol. 863, pp. 738–755. Springer, Heidelberg (1994)
Zaremski, A.M., Wing, J.M.: Specification Matching of Software Components. ACM Trans. on Software Engineering and Methodology 6(4), 333–369 (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Švéda, M. (2000). Patterns for Embedded Systems Design. In: Kopacek, P., Moreno-Díaz, R., Pichler, F. (eds) Computer Aided Systems Theory - EUROCAST’99. EUROCAST 1999. Lecture Notes in Computer Science, vol 1798. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10720123_8
Download citation
DOI: https://doi.org/10.1007/10720123_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67822-9
Online ISBN: 978-3-540-44931-7
eBook Packages: Springer Book Archive