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.
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”.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
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)
Dijkstra, E.: A Discipline of Programming. Prentice-Hall Series in Automatic Computation (1976)
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)
Giese, H., Vilbig, A.: Separation of Non-Orthogonal Concerns in Software Architecture and Design. Software and System Modeling (SoSyM) 5(2), 136–169 (2006)
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)
Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern-Oriented Software Architecture, vol. 1. John Wiley & Sons, Chichester (1996)
Garlan, D., Perry, D.: (introduction to the) Special Issue on Software Architecture. IEEE Transactions on Software Engineering 21(4) (April 1995)
Gruber, T.R.: A Translation Approach to Portable Ontology Specifications. Knowl. Acquis. 5(2), 199–220 (1993)
Milner, R.: Communication and Concurrency. Prentice-Hall, Inc., Upper Saddle River (1989)
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)
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)
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)
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)
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)
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)
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)
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)
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)
Lamport, L.: Proving the Correctness of Multiprocess Programs. IEEE Transactions on Software Engineering SE-3(2), 125–143 (1977)
Henzinger, T.A.: Sooner is Safer than Later. Information Processing Letters 43(3), 135–141 (1992)
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)
Eckardt, T., Henkler, S.: Synthesis of Reconfiguration Charts. Technical Report tr-ri-10-314, University of Paderborn, Paderborn, Germany (January 2010)
Alur, R.: Timed Automata. In: NATO-ASI 1998 Summer School on Verification of Digital and Hybrid Systems (1998)
Clarke, E.M., Grumberg, O., Peled, D.: Model Checking (January 2000)
Tripakis, S., Yovine, S.: Analysis of Timed Systems Using Time-Abstracting Bisimulations. Formal Methods in System Design 18(1), 25–68 (2001)
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)
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)
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)
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)
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)
Uchitel, S., Brunet, G., Chechik, M.: Synthesis of Partial Behavior Models from Properties and Scenarios. IEEE Transactions on Software Engineering 35, 384–406 (2009)
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)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)