Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Laufzeitgarantien für sicherheitskritische Systeme

13.09.2005


Geht es um die Sicherheit im Auto, dann zählt jede Millisekunde. Egal ob Bremsen, Airbag oder ABS: alle Komponenten müssen rechtzeitig ihre Befehle erhalten, um ihre Aufgaben rechtzeitig ausführen zu können. Erfolgt die Weitergabe der Kommandos sowie deren Umsetzung nicht innerhalb einer vorgegebenen Zeitspanne, kann es zu gefährlichen Situationen für Insassen und andere Verkehrsteilnehmer kommen.

... mehr zu:
»AbsInt »Laufzeitgarantie

Die Saarbrücker Wissenschaftler Dr. Christian Ferdinand und Dr. Daniel Kästner der AbsInt Angewandte Informatik GmbH haben eine Software entwickelt, die Laufzeitgarantien für zeitkritische Systeme gibt. Das Pogramm mit dem Namen „aiT Worst- Case Execution Time Analyzer“ ist weltweit das erste Werkzeug, welches automatisch das korrekte Zeitverhalten von Software in eingebetteten Systemen auch auf komplexen Prozessoren nachweisen kann. aiT basiert auf einer statischen Analyse des Cache- und Pipeline-Verhaltens einzelner Tasks. Es berechnet korrekt und präzise obere Schranken für die längstmögliche Ausführungszeit. Diese Schranken gelten für alle Eingaben und jede mögliche Taskausführung. Die bisher verbreiteten, aber fehlerträchtigen und zeitraubenden Mess-verfahren können so verkürzt oder ersetzt werden. Dies hat klare Vorteile: mit präzisen Laufzeitschranken kann das System besser ausgelastet werden, die Systemsicherheit wird erhöht und die Kosten werden reduziert. Neben der Anwendung bei der Entwicklung zukünftiger sicherheitskritischer harter Echtzeitanwendungen (Stichwort X-by-Wire), bei denen ein zu spätes Reagieren der Software fatale Folgen haben kann, bietet sich die Laufzeitanalyse auch bei der Integration verschiedener Software-Komponenten in ein Steuergerät an. Mit aiT kann dann beispielsweise nachgeprüft werden, dass bestimmte Softwarefunktionen immer innerhalb vorgegebener Laufzeitbudgets laufen. Eine Zeitüberschreitung und damit eine negative Beeinflussung der anderen Funktionen kann damit ausgeschlossen werden.

Die Methode wird auch im Automotive-Bereich eingesetzt. Für die Automobilindustrie und verschiedene Zuliefererfirmen überprüft die AbsInt GmbH die Reaktionsgeschwindigkeit etwa der Bremsregelungs- oder Motorsteuerungs-Software. Aber auch andere Bereiche können von der Entwicklung profitieren. Überall dort, wo es um Systeme geht, von denen das Leben vieler Menschen abhängt, so zum Beispiel in der Flugüberwachung, im Schienenverkehr oder in großen Industrieanlagen kann der Laufzeitanalysator nachweisen, dass alle sicherheitskritischen Abläufe immer schnell genug funktionieren.


Für die Entwicklung des Programms „aiT“ erhielten die Wissenschaftler von AbsInt den Europäischen IST- Preis 2004, den renommiertesten Technologie-Preis der Europäischen Union. Er wird jährlich für bahnbrechende Produkte im Bereich der Informationstechnologie vergeben.

Kontakt:

Dr. Christian Ferdinand
AbsInt Angewandte Informatik GmbH
Stuhlsatzenhausweg 69
66123 Saarbrücken
Tel: 06 81/8 31 83 17
E-Mail: Ferdinand@absint.com

| Innovationseinblicke Saarland
Weitere Informationen:
http://www.absint.com
http://www.innovation.saarland.de
http://www.wirtschaft.saarland.de

Weitere Berichte zu: AbsInt Laufzeitgarantie

Weitere Nachrichten aus der Kategorie Informationstechnologie:

nachricht Sicheres Bezahlen ohne Datenspur
17.10.2017 | Karlsruher Institut für Technologie

nachricht Saarbrücker Forscher erstellen digitale Objekte aus unvollständigen 3-D-Daten
12.10.2017 | Universität des Saarlandes

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

Die letzten 5 Focus-News des innovations-reports im Überblick:

Im Focus: Schmetterlingsflügel inspiriert Photovoltaik: Absorption lässt sich um bis zu 200 Prozent steigern

Sonnenlicht, das von Solarzellen reflektiert wird, geht als ungenutzte Energie verloren. Die Flügel des Schmetterlings „Gewöhnliche Rose“ (Pachliopta aristolochiae) zeichnen sich durch Nanostrukturen aus, kleinste Löcher, die Licht über ein breites Spektrum deutlich besser absorbieren als glatte Oberflächen. Forschern am Karlsruher Institut für Technologie (KIT) ist es nun gelungen, diese Nanostrukturen auf Solarzellen zu übertragen und deren Licht-Absorptionsrate so um bis zu 200 Prozent zu steigern. Ihre Ergebnisse veröffentlichten die Wissenschaftler nun im Fachmagazin Science Advances. DOI: 10.1126/sciadv.1700232

„Der von uns untersuchte Schmetterling hat eine augenscheinliche Besonderheit: Er ist extrem dunkelschwarz. Das liegt daran, dass er für eine optimale...

Im Focus: Schnelle individualisierte Therapiewahl durch Sortierung von Biomolekülen und Zellen mit Licht

Im Blut zirkulierende Biomoleküle und Zellen sind Träger diagnostischer Information, deren Analyse hochwirksame, individuelle Therapien ermöglichen. Um diese Information zu erschließen, haben Wissenschaftler des Fraunhofer-Instituts für Lasertechnik ILT ein Mikrochip-basiertes Diagnosegerät entwickelt: Der »AnaLighter« analysiert und sortiert klinisch relevante Biomoleküle und Zellen in einer Blutprobe mit Licht. Dadurch können Frühdiagnosen beispielsweise von Tumor- sowie Herz-Kreislauf-Erkrankungen gestellt und patientenindividuelle Therapien eingeleitet werden. Experten des Fraunhofer ILT stellen diese Technologie vom 13.–16. November auf der COMPAMED 2017 in Düsseldorf vor.

Der »AnaLighter« ist ein kompaktes Diagnosegerät zum Sortieren von Zellen und Biomolekülen. Sein technologischer Kern basiert auf einem optisch schaltbaren...

Im Focus: Neue Möglichkeiten für die Immuntherapie beim Lungenkrebs entdeckt

Eine gemeinsame Studie der Universität Bern und des Inselspitals Bern zeigt, dass spezielle Bindegewebszellen, die in normalen Blutgefässen die Wände abdichten, bei Lungenkrebs nicht mehr richtig funktionieren. Zusätzlich unterdrücken sie die immunologische Bekämpfung des Tumors. Die Resultate legen nahe, dass diese Zellen ein neues Ziel für die Immuntherapie gegen Lungenkarzinome sein könnten.

Lungenkarzinome sind die häufigste Krebsform weltweit. Jährlich werden 1.8 Millionen Neudiagnosen gestellt; und 2016 starben 1.6 Millionen Menschen an der...

Im Focus: Sicheres Bezahlen ohne Datenspur

Ob als Smartphone-App für die Fahrkarte im Nahverkehr, als Geldwertkarten für das Schwimmbad oder in Form einer Bonuskarte für den Supermarkt: Für viele gehören „elektronische Geldbörsen“ längst zum Alltag. Doch vielen Kunden ist nicht klar, dass sie mit der Nutzung dieser Angebote weitestgehend auf ihre Privatsphäre verzichten. Am Karlsruher Institut für Technologie (KIT) entsteht ein sicheres und anonymes System, das gleichzeitig Alltagstauglichkeit verspricht. Es wird nun auf der Konferenz ACM CCS 2017 in den USA vorgestellt.

Es ist vor allem das fehlende Problembewusstsein, das den Informatiker Andy Rupp von der Arbeitsgruppe „Kryptographie und Sicherheit“ am KIT immer wieder...

Im Focus: Neutron star merger directly observed for the first time

University of Maryland researchers contribute to historic detection of gravitational waves and light created by event

On August 17, 2017, at 12:41:04 UTC, scientists made the first direct observation of a merger between two neutron stars--the dense, collapsed cores that remain...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics
Veranstaltungen

Das Immunsystem in Extremsituationen

19.10.2017 | Veranstaltungen

Die jungen forschungsstarken Unis Europas tagen in Ulm - YERUN Tagung in Ulm

19.10.2017 | Veranstaltungen

Bauphysiktagung der TU Kaiserslautern befasst sich mit energieeffizienten Gebäuden

19.10.2017 | Veranstaltungen

 
VideoLinks
B2B-VideoLinks
Weitere VideoLinks >>>
Aktuelle Beiträge

Aufräumen? Nicht ohne Helfer

19.10.2017 | Biowissenschaften Chemie

Neue Biotinte für den Druck gewebeähnlicher Strukturen

19.10.2017 | Materialwissenschaften

Forscher studieren molekulare Konversion auf einer Zeitskala von wenigen Femtosekunden

19.10.2017 | Physik Astronomie