Skip to main content

Component Behavior Synthesis for Critical Systems,

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNSC,volume 6150)

Abstract

Component-based architectures are widely used in embedded systems. For managing complexity and improving quality separation of concerns is one of the most important principles. For one component, separation of concerns is realized by defining the overall component functionality by separated protocol behaviors. One of the main challenges of applying separation of concerns is the later automatic composition of the separated, maybe interdependent concerns which is not supported by current component-based approaches. Moreover, the complexity of real-time distributed embedded systems requires to consider safety requirements for the composition of the separated concerns. We present an approach which addresses these problems by a well-defined automatic composition of protocol behaviors with respect to interdependent concerns. The composition is performed by taking a proper refinement relation into account so that the analysis results of the separated concerns are preserved which is essential for safety critical systems.

Keywords

  • Parallel Execution
  • Parallel Composition
  • Composition Rule
  • Liveness Property
  • Synthesis Algorithm

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This work was developed in the course of the Special Research Initiative 614 - Self-optimizing Concepts and Structures in Mechanical Engineering - University of Paderborn, and was published on its behalf and funded by the Deutsche Forschungsgemeinschaft.

This work was developed in the project “ENTIME: Entwurfstechnik Intelligente Mechatronik” (Design Methods for Intelligent Mechatronic Systems). The project ENTIME is funded by the state of North Rhine-Westphalia (NRW), Germany and the EUROPEAN UNION, European Regional Development Fund, “Investing in your future”.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-642-13556-9_4
  • Chapter length: 20 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   74.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-13556-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   99.00
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bosch, J., Szyperski, C.A., Weck, W.: Component-Oriented Programming. In: Malenfant, J., Moisan, S., Moreira, A.M.D. (eds.) ECOOP 2000 Workshops. LNCS, vol. 1964, pp. 55–64. Springer, Heidelberg (2000)

    Google Scholar 

  2. Dijkstra, E.: A Discipline of Programming. Prentice-Hall Series in Automatic Computation (1976)

    Google Scholar 

  3. Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.M., Irwin, J.: Aspect-Oriented Programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220–242. Springer, Heidelberg (1997)

    CrossRef  Google Scholar 

  4. Giese, H., Vilbig, A.: Separation of Non-Orthogonal Concerns in Software Architecture and Design. Software and System Modeling (SoSyM) 5(2), 136–169 (2006)

    CrossRef  Google Scholar 

  5. Tarr, P., Ossher, H., Harrison, W., Sutton Jr., S.M.: N Degrees of Separation: Multi-Dimensional Separation of Concerns. In: ICSE 1999: Proceedings of the 21st International Conference on Software Engineering, pp. 107–119. ACM, New York (1999)

    CrossRef  Google Scholar 

  6. Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern-Oriented Software Architecture, vol. 1. John Wiley & Sons, Chichester (1996)

    Google Scholar 

  7. Garlan, D., Perry, D.: (introduction to the) Special Issue on Software Architecture. IEEE Transactions on Software Engineering 21(4) (April 1995)

    Google Scholar 

  8. Gruber, T.R.: A Translation Approach to Portable Ontology Specifications. Knowl. Acquis. 5(2), 199–220 (1993)

    CrossRef  Google Scholar 

  9. Milner, R.: Communication and Concurrency. Prentice-Hall, Inc., Upper Saddle River (1989)

    MATH  Google Scholar 

  10. Selic, B.: Real-Time Object-Oriented Modeling (room). In: 2nd IEEE Real-Time Technology and Applications Symposium (RTAS 1996), Boston, MA, USA, June 10-12, p. 214. IEEE Computer Society, Los Alamitos (1996)

    Google Scholar 

  11. Jackson, E.K., Sztipanovits, J.: Using Separation of Concerns for Embedded Systems Design. In: EMSOFT 2005: Proceedings of the 5th ACM International Conference on Embedded Software, pp. 25–34. ACM, New York (2005)

    CrossRef  Google Scholar 

  12. Giese, H., Tichy, M., Burmester, S., Schäfer, W., Flake, S.: Towards the Compositional Verification of Real-Time UML Designs. In: Proc. of the 9th European Software Engineering Conference Held Jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE-11), September 2003, pp. 38–47 (2003)

    Google Scholar 

  13. Giese, H., Burmester, S., Schäfer, W., Oberschelp, O.: Modular Design and Verification of Component-Based Mechatronic Systems with Online-Reconfiguration. In: Proc. of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, USA, pp. 179–188. ACM Press, New York (2004)

    Google Scholar 

  14. Giese, H., Burmester, S.: Real-Time Statechart Semantics. Technical Report tr-ri-03-239, Lehrstuhl für Softwaretechnik, Universität Paderborn, Paderborn, Germany (June 2003)

    Google Scholar 

  15. Alur, R., Dill, D.L.: Automata for Modeling Real-time Systems. In: Paterson, M. (ed.) ICALP 1990. LNCS, vol. 443, pp. 322–335. Springer, Heidelberg (1990)

    CrossRef  Google Scholar 

  16. Henzinger, T.A., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic Model Checking for Real-Time Systems. In: Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS), pp. 394–406. IEEE Computer Society Press, Los Alamitos (1992)

    CrossRef  Google Scholar 

  17. Pettersson, P.: Modelling and Verification of Real-Time Systems Using Timed Automata: Theory and Practice. PhD thesis, Department of Computer Systems, Uppsala University (February 1999)

    Google Scholar 

  18. Bengtsson, J.E., Yi, W.: Timed Automata: Semantics, Algorithms and Tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 87–124. Springer, Heidelberg (2004)

    Google Scholar 

  19. Lamport, L.: Proving the Correctness of Multiprocess Programs. IEEE Transactions on Software Engineering SE-3(2), 125–143 (1977)

    CrossRef  MathSciNet  Google Scholar 

  20. Henzinger, T.A.: Sooner is Safer than Later. Information Processing Letters 43(3), 135–141 (1992)

    MATH  CrossRef  MathSciNet  Google Scholar 

  21. Yi, W., Pettersson, P., Daniels, M.: Automatic Verification of Real-time Communicating Systems by Constraint-solving. In: Hogrefe, D., Leue, S. (eds.) Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Formal Techniques, Berne, Switzerland. IFIP Conference Proceedings, vol. 6, pp. 243–258. Chapman & Hall, Boca Raton (1994)

    Google Scholar 

  22. Eckardt, T., Henkler, S.: Synthesis of Reconfiguration Charts. Technical Report tr-ri-10-314, University of Paderborn, Paderborn, Germany (January 2010)

    Google Scholar 

  23. Alur, R.: Timed Automata. In: NATO-ASI 1998 Summer School on Verification of Digital and Hybrid Systems (1998)

    Google Scholar 

  24. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking (January 2000)

    Google Scholar 

  25. Tripakis, S., Yovine, S.: Analysis of Timed Systems Using Time-Abstracting Bisimulations. Formal Methods in System Design 18(1), 25–68 (2001)

    MATH  CrossRef  Google Scholar 

  26. Asarin, E., Maler, O., Pnueli, A.: Symbolic Controller Synthesis for Discrete and Timed Systems. In: Antsaklis, P.J., Kohn, W., Nerode, A., Sastry, S.S. (eds.) HS 1994. LNCS, vol. 999, pp. 1–20. Springer, Heidelberg (1995)

    Google Scholar 

  27. Altisen, K., Tripakis, S.: Tools for Controller Synthesis of Timed Systems. In: Pettersson, P., Yi, W. (eds.) Proceedings of the 2nd Workshop on Real-Time Tools (RT-TOOLS 2002) (August 2002)

    Google Scholar 

  28. Geist, S., Gromov, D., Raisch, J.: Timed Discrete Event Control of Parallel Production Lines with Continuous Outputs. Discrete Event Dynamic Systems 18(2), 241–262 (2008)

    MATH  CrossRef  MathSciNet  Google Scholar 

  29. Harel, D., Kugler, H., Pnueli, A.: Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements. In: Kreowski, H.-J., Montanari, U., Orejas, F., Rozenberg, G., Taentzer, G. (eds.) Formal Methods in Software and Systems Modeling. LNCS, vol. 3393, pp. 309–324. Springer, Heidelberg (2005)

    Google Scholar 

  30. Whittle, J., Schumann, J.: Generating Statechart Designs from Scenarios. In: ICSE 2000: Proceedings of the 22nd International Conference on Software Engineering, pp. 314–323. ACM, New York (2000)

    CrossRef  Google Scholar 

  31. Uchitel, S., Brunet, G., Chechik, M.: Synthesis of Partial Behavior Models from Properties and Scenarios. IEEE Transactions on Software Engineering 35, 384–406 (2009)

    CrossRef  Google Scholar 

  32. Henkler, S., Greenyer, J., Hirsch, M., Schäfer, W., Alhawash, K., Eckardt, T., Heinzemann, C., Löffler, R., Seibel, A., Giese, H.: Synthesis of Timed Behavior from Scenarios in the Fujaba Real-Time Tool Suite. In: Proceedings of the 31st International Conference on Software Engineering (ICSE 2009), Vancouver, Canada, Washington, DC, USA, May 16-24, pp. 615–618. IEEE Computer Society, Los Alamitos (2009)

    Google Scholar 

  33. Giese, H., Klein, F., Burmester, S.: Pattern Synthesis from Multiple Scenarios for Parameterized Real-Timed UML Models. In: Leue, S., Systä, T.J. (eds.) Scenarios: Models, Transformations and Tools. LNCS, vol. 3466, pp. 193–211. Springer, Heidelberg (2005)

    Google Scholar 

  34. Giese, H., Henkler, S., Hirsch, M., Klein, F.: Nobody’s Perfect: Interactive Synthesis from Parametrized Real-Time Scenarios. In: Proc. of the 5th ICSE 2006 Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM 2006), Shanghai, China, May 2006, pp. 67–74. ACM Press, New York (2006)

    CrossRef  Google Scholar 

  35. Eckardt, T., Henkler, S.: Synthesis of Component Behavior. In: Gorp, P.V. (ed.) Proceedings of the 7th International Fujaba Days, November 2009, pp. 1–5. Eindhoven University of Technology, The Netherlands (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Eckardt, T., Henkler, S. (2010). Component Behavior Synthesis for Critical Systems, . In: Giese, H. (eds) Architecting Critical Systems. ISARCS 2010. Lecture Notes in Computer Science, vol 6150. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13556-9_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-13556-9_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-13555-2

  • Online ISBN: 978-3-642-13556-9

  • eBook Packages: Computer ScienceComputer Science (R0)