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.


Composite Service Controller Area Network Network Adaptor Port State Integrate Architecture 
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.


  1. 1.
    Simon, H.A.: The Sciences of the Artificial. MIT Press, Cambridge (1996)Google Scholar
  2. 2.
    Leen, G., Heffernan, D.: Expanding automotive electronic systems. Computer 35(1), 88–93 (2002)CrossRefGoogle Scholar
  3. 3.
    Gmbh, R.B.: Stuttgart, Germany. CAN Specification, Version 2.0 (1991)Google Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    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), Google Scholar
  7. 7.
    Kopetz, H.: Real-Time Systems, Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, Dordrecht (1997)zbMATHGoogle Scholar
  8. 8.
    Alur, R.: Timed automata. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol. 1633, pp. 8–22. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  9. 9.
    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)CrossRefGoogle Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    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)Google Scholar
  12. 12.
    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)Google Scholar
  13. 13.
    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)Google Scholar
  14. 14.
    Time-Triggered Protocol TTP/C – High Level Specification Document (July 2002)Google Scholar
  15. 15.
    Beal, D., et al.: RTAI: Real-Time Application Interface. Linux Journal (April 2000)Google Scholar

Copyright information

© IFIP International Federation for Information Processing 2008

Authors and Affiliations

  • R. Obermaisser
    • 1
  1. 1.Vienna University of TechnologyAustria

Personalised recommendations