PATTERN-DRIVEN REUSE OF EMBEDDED CONTROL DESIGN - Behavioral and Architectural Specifications in Embedded Control System Designs

Miroslav Sveda, Ondrej Rysavy, Radimir Vrba

Abstract

This paper deals with reuse of architectural and behavioral specifications of embedded systems employing finite-state and timed automata. The contribution proposes not only how to represent a system’s formal specification as an application pattern structure of specification fragments, but also how to measure similarity of formal specifications for retrieval with case-based reasoning support. The paper provides also an insight into case-based reasoning support as applied to formal specification reuse by application patterns built on finite-state and timed automata. Those application patterns create a base for a pattern language supporting reuse-oriented design process for a class of real-time embedded systems.

References

  1. Alexander, C. (1977) A Pattern Language: Towns / Buildings / Construction, Oxford University Press.
  2. Alur, R. and T.A. Henzinger (1992) Logics and Models of Real Time: A Survey. In: (de Bakker, J.W., et al.) Real-Time: Theory in Practice. Springer-Verlag, LNCS 600, 74-106.
  3. Arora, A. and S.S. Kulkarni (1998) Component Based Design of Multitolerant Systems. IEEE Transactions on Software Engineering, 24(1), 63-78.
  4. Atkinson, S. (1998) Modeling Formal Integrated Component Retrieval. Proceedings of the Fifth International Conference on Software Reuse, IEEE Computer Society, Los Alamitos, California, 337-346.
  5. Coad, P. and E.E. Yourdon (1990) Object-Oriented Analysis, Yourdon Press, New York.
  6. Frakes, W.B. and K. Kang (2005) Software Reuse Research: Status and Future. IEEE Transactions on Software Engineering, 31(7), 529-536.
  7. Gamma, E., R. Helm, R. Johnson and J. Vlissides (1995) Design Patterns -- Elements of Reusable ObjectOriented Software, Addison-Wesley.
  8. Geppert, B. and F. Roessler (2001) The SDL Pattern Approach - A Reuse-driven SDL Design Methodology. Computer Networks, 35(6), Elsevier, 627-645.
  9. Henninger, S. (1997) An Evolutionary Approach to Constructing Effective Software Reuse Repositories. Transactions on Software Engineering and Methodology, 6(2), 111-140.
  10. Henninger, S. (1998) An Environment for Reusing Software Processes. Proceedings of the Fifth International Conference on Software Reuse, IEEE Computer Society, Los Alamitos, California, 103-112.
  11. Holtzblatt, L.J., R.L. Piazza, H.B. Reubenstein, S.N. Roberts and D.R. Harris (1997) Design Recovery for Distributed Systems. IEEE Transactions on Software Engineering, 23(7), 461-472.
  12. Jacobson, L. (1992) Object-Oriented Software Engineering: A User Case-Driven Approach, ACM Press.
  13. Jilani L.L., J. Deshamais and A. Mili (2001) Defining and Applying Measures of Distance Between Specifications. IEEE Transactions on Software Engineering, 27(8), 673-703.
  14. Johnson, R.E. (1997) Frameworks = (Components + Patterns), Communications of the ACM, 40(10), 39-42.
  15. Kolodner, J. (1993) Case-based Reasoning, Morgan Kaufmann, San Mateo, CA, USA.
  16. Mili, R., Mili, A. and Mittermeir, R.T. (1997) Storing and Retrieving Software Components: A Refinement Based System. IEEE Transactions on Software Engineering, 23(7), 445-460.
  17. Sen, A. (1997) The Role of Opportunity in the Software Reuse Process. IEEE Transactions on Software Engineering, 23(7), 418-436.
  18. Shaw, M. and D. Garlan (1996) Software Architecture, Prentice Hall.
  19. Soundarajan, N. and S. Fridella (1998) Inheritance: From Code Reuse to Reasoning Reuse. Proceedings of the Fifth International Conference on Software Reuse, IEEE Computer Society, Los Alamitos, California, 206-215.
  20. Sutcliffe, A. and N. Maiden (1998) The Domain Theory for Requirements Engineering. IEEE Transactions on Software Engineering, 24(3), 174-196.
  21. Sveda, M. (1996) Embedded System Design: A Case Study. IEEE Proc. of International Conference and Workshop ECBS'96, IEEE Computer Society, Los Alamitos, California, 260-267.
  22. Sveda, M., O. Babka and J. Freeburn (1997) Knowledge Preserving Development: A Case Study. IEEE Proc. of International Conference and Workshop ECBS'97, Monterey, California, IEEE Computer Society, Los Alamitos, California, 347-352.
  23. Sveda, M. (1997) An Approach to Safety-Critical Systems Design. In: (Pichler, F., Moreno-Diaz, R.) Computer Aided Systems Theory, Springer-Verlag, LNCS 1333, 34-49.
  24. Sveda, M. (2000) Patterns for Embedded Systems Design. In: (Pichler, F., Moreno-Diaz, R., Kopacek, P.) Computer Aided Systems Theory--EUROCAST'99, Springer-Verlag, LNCS 1798, 80-89.
  25. Sveda, M. and R. Vrba (2006) Fault Maintenance in Embedded Systems Applications. Proceedings of the Engineering of Computer-Based Systems. Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics (ICINCO 2006), INSTICC, Setúbal, Portugal, 183-186.
  26. Turner, K.J. (1997) Relating Architecture and Specification. Computer Networks and ISDN Systems, 29(4), 437-456.
  27. van Lamsweerde, A. and L. Willemet (1998) Inferring Declarative Requirements Specifications from Operational Scenarios. IEEE Transactions on Software Engineering, 24(12), 1089-1114.
  28. Xinyao, Y., W. Ji, Z. Chaochen and P.K. Pandya (1994) Formal Design of Hybrid Systems. In: (Langmaack, H., W.P. de Roever and J. Vytopil) Formal Techniques in Real-Time and Fault-Tolerant Systems, SpringerVerlag, LNCS 863, 738-755.
  29. Zaremski, A.M. and J.M. Wing (1997) Specification Matching of Software Components. ACM Trans. on Software Engineering and Methodology, 6(4), 333- 369.
Download


Paper Citation


in Harvard Style

Sveda M., Rysavy O. and Vrba R. (2007). PATTERN-DRIVEN REUSE OF EMBEDDED CONTROL DESIGN - Behavioral and Architectural Specifications in Embedded Control System Designs . In Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO, ISBN 978-972-8865-82-5, pages 409-416. DOI: 10.5220/0001615604090416


in Bibtex Style

@conference{icinco07,
author={Miroslav Sveda and Ondrej Rysavy and Radimir Vrba},
title={PATTERN-DRIVEN REUSE OF EMBEDDED CONTROL DESIGN - Behavioral and Architectural Specifications in Embedded Control System Designs},
booktitle={Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,},
year={2007},
pages={409-416},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001615604090416},
isbn={978-972-8865-82-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,
TI - PATTERN-DRIVEN REUSE OF EMBEDDED CONTROL DESIGN - Behavioral and Architectural Specifications in Embedded Control System Designs
SN - 978-972-8865-82-5
AU - Sveda M.
AU - Rysavy O.
AU - Vrba R.
PY - 2007
SP - 409
EP - 416
DO - 10.5220/0001615604090416