Abstract
Interface modeling and specification are central issues of component-based software engineering. How a component will be used is specified in its interface. Real-time interfaces are interfaces with timing constraints relating the time of outputs with the time of inputs. The timing constraint of an interface may depend on the resource availability for the component. In this paper, we propose a general model for real-time interfaces. At a time during execution, an interface behaves according to a contract made with environment about its functionality as well as execution time to fulfill the contract. This contract is specified as a timed design using the UTP notations, and depends on the computation histories of the interface. We model this dependence as a partial function from computation histories of the interface to real-time contracts. How interfaces are composed to form new interfaces, how interfaces are refined, and how to represent interfaces finitely are also considered in this paper. We show that checking the consistency between an environment and an interface and checking the refinement between two interfaces when they are represented by an automaton can be done effectively.
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
de Alfaro, L., Henzinger, T.A.: Interface Automata. In: ACM Symposium on Foundation of Software Engineering, FSE (2001)
Doyen, L., Henzinger, T.A., Jobstmann, B., Petrov, T.: Interface theories with component reuse. In: EMSOFT, pp. 79–88 (2008)
Van Hung, D.: Toward a formal model for component interfaces for real-time systems. In: Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2005, pp. 106–114. ACM, New York (2005)
He, J., Liu, Z., Li, X.: rCOS: A refinement calculus of object systems. Theor. Comput. Sci., 365(1-2), 109–142 (2006), UNU-IIST TR 322
Ledang, H., Van Hung, D.: Timing and concurrency specification in component-based real-time embedded systems development. In: TASE, pp. 293–304. IEEE Computer Society (2007)
Chen, X., He, J., Liu, Z., Zhan, N.: A model of component-based programming. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 191–206. Springer, Heidelberg (2007)
Tripakis, S., Lickly, B., Henzinger, T.A., Lee, E.A.: A theory of synchronous relational interfaces. ACM Transactions on Programming Languages and Systems 33(4) (2011)
Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice Hall Series in Computer Science, Prentice Hall (1998)
Wang, S., Rho, S., Mai, Z., Bettati, R., Zhao, W.: Real-time component-based systems. In: Proceedings of the 11th IEEE Real Time and Embedded Technology and Applications Symposium, RTAS 2005, pp. 1080–1812. IEEE Computer Society (2005)
Henzinger, T.A., Matic, S.: An interface algebra for real-time components. In: IEEE Real Time Technology and Applications Symposium, pp. 253–266 (2006)
Delahaye, B., Fahrenberg, U., Henzinger, T.A., Legay, A., Ničković, D.: Synchronous interface theories and time triggered scheduling. In: Giese, H., Rosu, G. (eds.) FMOODS/FORTE 2012. LNCS, vol. 7273, pp. 203–218. Springer, Heidelberg (2012)
Wiklander, J., Eliasson, J., Kruglyak, A., Lindgren, P., Nordlander, J.: Enabling component-based design for embedded real-time software. Journal of Computers 4(12), 1039–1321 (2009)
Van Hung, D., Vu Anh, B.: Model checking real-time component based systems with blackbox testing. In: RTCSA, pp. 76–79 (2005)
Truong, A.-H., Trinh, T.-B., Van Hung, D., Nguyen, V.-H., Trang, N.T.T., Hung, P.D.: Checking interface interaction protocols using aspect-oriented programming. In: Software Engineering and Formal Methods (SEFM 2008), pp. 382–386 (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Dang Van, H., Truong, H. (2013). Modeling and Specification of Real-Time Interfaces with UTP. In: Liu, Z., Woodcock, J., Zhu, H. (eds) Theories of Programming and Formal Methods. Lecture Notes in Computer Science, vol 8051. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39698-4_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-39698-4_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39697-7
Online ISBN: 978-3-642-39698-4
eBook Packages: Computer ScienceComputer Science (R0)