Skip to main content
SpringerLink
Log in

Dependable embedded systems research at TU Vienna

Forschungsaktivitäten zu Dependable Embedded Systems an der TU Wien

  • Originalarbeiten
  • Published:
e & i Elektrotechnik und Informationstechnik Aims and scope Submit manuscript

Abstract

This article provides an overview of the various new research activities of the “Institut für Technische Informatik” at TU Vienna in the field of dependable embedded systems, in particular, the EC FP6 Network of Excellence ARTIST2 and the Integrated Projects ASSERT and DECOS. Those projects continue our long history of successful participation in EC projects and secure that TU Vienna will play a leading role in the new Dependable Embedded Systems Center, which shall further improve Austria’s excellent position in the international R & D.

Zusammenfassung

Dieser Artikel gibt einen Überblick über die vielfältigen neuen Forschungsaktivitäten des Instituts für Technische Informatik an der TU Wien im Bereich Dependable Embedded Systems, insbesondere das EU FP6 Network of Excellence ARTIST2 sowie die Integrated Projects ASSERT und DECOS. Diese Projekte setzen die lange Tradition der erfolgreichen Teilnahme unseres Instituts an EU-Programmen fort und weisen der TU Wien eine führende Rolle in dem neuen Dependable Embedded Systems Center zu, das Österreichs ausgezeichnete Position in der internationalen F & E weiter verbessern soll.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Abbreviations

AADL:

Avionic Architecture Description Language

BMVIT:

Austrian Federal Ministry of Transport, Innovation, and Technology

CBB:

Computer-based system Building Block

DAS:

Distributed Application Subsystem

DES:

Dependable Embedded Systems

EC:

European Commission

ESA:

European Space Agency

FP:

Framework Programme

PBSE:

Proof-based Systems Engineering

PIL:

Platform Interface Layer

R & D:

Research & Development

SP:

Subproject

TTA:

Time-Triggered Architecture

References

  • ARTIST2 Portal (http://www.artist-embedded.org/FP6).

  • ASSERT Portal (http://www.assert-online.org).

  • DECOS Portal (http://www.decos.at).

  • DECOS FP6-511764. Description of Work.

  • Evans, D., Correia, L., Hofstetter, H., Burr, A., Rohling, H., Lehmann, G., Williams, R., Lehne, P.-H. (2003): Flexible convergence of wireless standards and services — the IST FLOWS-Project. e & i 120 (2003), H. 2.

  • Hammett, R. (2003): Flight-critical distributed systems: design considerations [avionics]. IEEE Aerospace and Electronic Systems Magazine, 18 (6):30–36.

    Article  Google Scholar 

  • IST-Advisory Group (2001): Scenarios for ambient intelligence in 2010. (http://www.cordis.lu/ist/istag-reports.htm).

  • Kopetz, H., Bauer, G. (2003): The time-triggered architecture. IEEE Special Issue on Modeling and Design of Embedded Software.

  • Le Lann, G. (1999): Models, proofs and the engineering of computer-based systems: A reality check. Best Paper Award. In: Proc. of the 9th Annual Intl. INCOSE Symposium on Systems Engineering: Sharing the Future. Vol. 4, June 1999: 495–502.

    Google Scholar 

  • Norman, D. A. (1998): The invisible computer. Cambridge, London: The MIT-Press.

    Google Scholar 

  • OMG (2001): Model driven architecture: A technical perspective. Technical Report OMG Document No. ab/2001-02-01/04, Object Management Group.

  • Prem, E. (2004): Continuous improvement as continuous search: Experiences with a Novel IT research programme. In: Proc. of the CINet Conf. on Continuous Innovation, Sydney, Australia, 2004.

  • Radio Technical Commission for Aeronautics, Inc. (RTCA). DO-178B: Software Considerations in Airborne Systems and Equipment Certification. Washington, DC.

  • Sangiovanni-Vincentelli, A., Martin, G. (2001): Platform-based design and software design methodology for embedded system. IEEE Design and Test of Computers, 18 (6): 23–33.

    Article  Google Scholar 

  • Schmid, U., Fetzer, C. (2003): Randomized asynchronous-consensus with imperfect communications. Proc. 22nd Symposium on Reliable Distributed Systems (SRDS’03), Florence, Italy, October 2003: 361–370.

  • Schoitsch, E., Hoffmann, G. (2003): DES dependable embedded systems roadmap. Final version, May 2003 (http://www.am-sd.org/).

  • Widder, J. (2003): Booting clock synchronization in partially synchronous systems. In: Proc. of the 17th Int. Symposium on Distributed Computing (DISC’03), Vol. 2848 of LNCS. Springer: 121–135.

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Technische Informatik, Technische Universität Wien, Treitlstraße 3, 1040, Wien, Österreich

    H. Kopetz O. Univ.-Prof. Dr. phil., R. Obermaisser Univ.-Ass. Dipl.-Ing. Dr. techn. & U. Schmid Univ.-Prof. Dipl.-Ing. Dr. techn.

Authors
  1. H. Kopetz O. Univ.-Prof. Dr. phil.
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. R. Obermaisser Univ.-Ass. Dipl.-Ing. Dr. techn.
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. U. Schmid Univ.-Prof. Dipl.-Ing. Dr. techn.
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Kopetz, H., Obermaisser, R. & Schmid, U. Dependable embedded systems research at TU Vienna. Elektrotech. Inftech. 122, 33–37 (2005). https://doi.org/10.1007/BF03054020

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF03054020

Keywords

Schlüsselwörter

Search

Navigation