Abstract
Complex embedded computer systems can encompass multiple application subsystems, such as a multimedia, a powertrain, a comfort and a safety subsystem in the in-vehicle electronic system of a typical premium car. Information exchanges between these application subsystems are essential to realize composite services that involve more than one application subsystem and to reduce redundant computations and sensors. A major challenge is to resolve the property mismatches at the interfaces between application subsystems, such as incoherent naming, divergent syntax, or different communication protocols. Also, fault isolation capabilities are required to prevent common mode failures induced by the propagation of faults between application subsystems. The contribution of this paper is a formal specification of gateways that contain structured collections of time-sensitive variables associated with timing information (called real-time databases) in order to separate the application subsystems. The formal specification can serve as a basis for automatic code generation or formal verification.
Chapter PDF
References
Simon, H.A.: The Sciences of the Artificial. MIT Press, Cambridge (1996)
Leen, G., Heffernan, D.: Expanding automotive electronic systems. Computer 35(1), 88–93 (2002)
Gmbh, R.B.: Stuttgart, Germany. CAN Specification, Version 2.0 (1991)
FlexRay Consortium. BMW AG, DaimlerChrysler AG, General Motors Corporation, Freescale GmbH, Philips GmbH, Robert Bosch GmbH, and Volkswagen AG. FlexRay Communications System Protocol Specification Version 2.0 (July 2004)
Obermaisser, R.: A model-driven framework for the generation of gateways in distributed real-time systems. In: Proc. of the 28th IEEE Real-Time Systems Symposium, Tucson, Arizona, USA (September 2007)
Obermaisser, R., Peti, P., Huber, B., El Salloum, C.: DECOS: An integrated time-triggered architecture. e&i journal (journal of the Austrian professional institution for electrical and information engineering) 3, 83–95 (2006), http://www.springerlink.com
Kopetz, H.: Real-Time Systems, Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, Dordrecht (1997)
Alur, R.: Timed automata. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol. 1633, pp. 8–22. Springer, Heidelberg (1999)
Dutertre, B., Sorea, M.: Modeling and verification of a fault-tolerant real-time startup protocol using calendar automata. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS 2004 and FTRTFT 2004. LNCS, vol. 3253, pp. 199–214. Springer, Heidelberg (2004)
Krcal, P., Mokrushin, L., Thiagarajan, P.S., Yi, W.: Timed vs time-triggered automata. In: Proc. of the 15th International Conference on Concurrency Theory (September 2004)
Kopetz, H., Kim, K.H.: Temporal uncertainties in interactions among real-time objects. In: Proc. of Ninth Symposium on Reliable Distributed Systems, Huntsville, AL,USA, October 1990, pp. 165–174 (1990)
Huber, B., Peti, P., Obermaisser, R., El Salloum, C.: Using RTAI/LXRT for partitioning in a prototype implementation of the DECOS architecture. In: Proc. of the Third Int. Workshop on Intelligent Solutions in Embedded Systems (May 2005)
Obermaisser, R., Peti, P.: Realization of virtual networks in the decos integrated architecture. In: Proc. of the 14th Int. Workshop on Parallel and Distributed Real-Time Systems (April 2006)
Time-Triggered Protocol TTP/C – High Level Specification Document (July 2002)
Beal, D., et al.: RTAI: Real-Time Application Interface. Linux Journal (April 2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 IFIP International Federation for Information Processing
About this paper
Cite this paper
Obermaisser, R. (2008). Formal Specification of Gateways in Integrated Architectures. In: Brinkschulte, U., Givargis, T., Russo, S. (eds) Software Technologies for Embedded and Ubiquitous Systems. SEUS 2008. Lecture Notes in Computer Science, vol 5287. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87785-1_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-87785-1_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87784-4
Online ISBN: 978-3-540-87785-1
eBook Packages: Computer ScienceComputer Science (R0)