Skip to main content
SpringerLink
Log in

Modellbasierte Generierung statischer Schedules für sicherheitskritische, eingebettete Systeme mit Multicore-Prozessoren und harten Echtzeitanforderungen

  • Conference paper
  • First Online:
Herausforderungen durch Echtzeitbetrieb

Part of the book series: Informatik aktuell ((INFORMAT))

Zusammenfassung

In dieser Arbeit wird anhand des neuen Werkzeugs PRECISION PRO das Potential der automatisierten Generierung von statischen Schedules für sicherheitskritische, eingebettete Systeme beschrieben. Dessen Erstellung ist häufig mit einem hohen manuellen Aufwand verbunden, da er von hoher Bedeutung für einen erfolgreichen Zertifizierungsprozess ist. Eine modellbasierte Generierung ermöglicht ein schnelles Feedback, eine frühe Bewertung der Hardware- und Softwarearchitekturen, sowie erweiterte Möglichkeiten zur Optimierung der Systemauslastung. Dabei ist immer sichergestellt, dass alle spezifizierten Anforderungen erfüllt sind.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literaturverzeichnis

  1. ARINC. ARINC Specification 653P1-2: Avionics Application Software Standard Interface Part 1 - Required Services. Technical report, Aeronautical Radio Inc., Maryland, USA, December 2005.

    Google Scholar 

  2. ARINC. ARINC Specification 653P2-1: Avionics Application Software Standard Interface Part 2 - Extended Services. Technical report, Aeronautical Radio Inc., Maryland, USA, December 2008.

    Google Scholar 

  3. Vicent Brocaly, Miguel Masmanoy, Ismael Ripolly, Alfons Crespoy, Patricia Balbastrey, and Jean-Jacques Metge. Xoncrete: a scheduling tool for partitioned real-time systems. In Proceedings of the Embedded Real Time Software and Systems Conference (ERTS2 2010), May 2010.

    Google Scholar 

  4. Gerhard Fohler. Flexible Reliable Timing - Real-Time vs. Reliability. In Keynot Address, 10th European Workshop on Dependable Computing, May 1999.

    Google Scholar 

  5. R. Fuchsen. How to address certification for multi-core based IMA platforms: Current status and potential solutions. In Digital Avionics Systems Conference (DASC), 2010 IEEE/AIAA 29th, pages 5.E.3–1 –5.E.3–11, oct. 2010.

    Google Scholar 

  6. Manne Kreuzer. Modellbasiert die Echtzeit im Griff. Markt & Technik - die unabhängige Wochenzeitung, Nr. 24:35, Jun 2011.

    Google Scholar 

  7. John Rushby. Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance, 1999.

    Google Scholar 

  8. VirtuOS Project Summary. http://www.technologiestiftung-berlin.de/data/files/ tsb-zukunftsfonds/VirtuOS__Web_.pdf, 2010.

Download references

Author information

Authors and Affiliations

  1. Fraunhofer-Institut für Rechnerarchitektur und Softwaretechnik FIRST, Kekuléstr. 7, 12489, Berlin, Germany

    Robert Hilbrich, J. Reinier van Kampenhout & Hans-Joachim Goltz

Authors
  1. Robert Hilbrich
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J. Reinier van Kampenhout
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Hans-Joachim Goltz
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Robert Hilbrich .

Editor information

Editors and Affiliations

  1. Lehrgebiet Informationstechnik, FernUniversität Hagen, Universitätsstraße 27, Hagen, 58084, Germany

    Wolfgang A. Halang

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hilbrich, R., van Kampenhout, J.R., Goltz, HJ. (2012). Modellbasierte Generierung statischer Schedules für sicherheitskritische, eingebettete Systeme mit Multicore-Prozessoren und harten Echtzeitanforderungen. In: Halang, W. (eds) Herausforderungen durch Echtzeitbetrieb. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24658-6_4

Download citation

Publish with us

Policies and ethics

Search

Navigation