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 TU Ilmenau entwickelt Chiptechnologie von morgen
20.04.2017 | Technische Universität Ilmenau

nachricht Datenschutzwächter sichert Smart Homes
20.04.2017 | FZI Forschungszentrum Informatik am Karlsruher Institut für Technologie

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Leichtbau serientauglich machen

Immer mehr Autobauer setzen auf Karosserieteile aus kohlenstofffaserverstärktem Kunststoff (CFK). Dennoch müssen Fertigungs- und Reparaturkosten weiter gesenkt werden, um CFK kostengünstig nutzbar zu machen. Das Laser Zentrum Hannover e.V. (LZH) hat daher zusammen mit der Volkswagen AG und fünf weiteren Partnern im Projekt HolQueSt 3D Laserprozesse zum automatisierten Besäumen, Bohren und Reparieren von dreidimensionalen Bauteilen entwickelt.

Automatisiert ablaufende Bearbeitungsprozesse sind die Grundlage, um CFK-Bauteile endgültig in die Serienproduktion zu bringen. Ausgerichtet an einem...

Im Focus: Making lightweight construction suitable for series production

More and more automobile companies are focusing on body parts made of carbon fiber reinforced plastics (CFRP). However, manufacturing and repair costs must be further reduced in order to make CFRP more economical in use. Together with the Volkswagen AG and five other partners in the project HolQueSt 3D, the Laser Zentrum Hannover e.V. (LZH) has developed laser processes for the automatic trimming, drilling and repair of three-dimensional components.

Automated manufacturing processes are the basis for ultimately establishing the series production of CFRP components. In the project HolQueSt 3D, the LZH has...

Im Focus: Wonder material? Novel nanotube structure strengthens thin films for flexible electronics

Reflecting the structure of composites found in nature and the ancient world, researchers at the University of Illinois at Urbana-Champaign have synthesized thin carbon nanotube (CNT) textiles that exhibit both high electrical conductivity and a level of toughness that is about fifty times higher than copper films, currently used in electronics.

"The structural robustness of thin metal films has significant importance for the reliable operation of smart skin and flexible electronics including...

Im Focus: Immunzellen helfen bei elektrischer Reizleitung im Herzen

Erstmals elektrische Kopplung von Muskelzellen und Makrophagen im Herzen nachgewiesen / Erkenntnisse könnten neue Therapieansätze bei Herzinfarkt und Herzrhythmus-Störungen ermöglichen / Publikation am 20. April 2017 in Cell

Makrophagen, auch Fresszellen genannt, sind Teil des Immunsystems und spielen eine wesentliche Rolle in der Abwehr von Krankheitserregern und bei der...

Im Focus: Tief im Inneren von M87

Die Galaxie M87 enthält ein supermassereiches Schwarzes Loch von sechs Milliarden Sonnenmassen im Zentrum. Ihr leuchtkräftiger Jet dominiert das beobachtete Spektrum über einen Frequenzbereich von 10 Größenordnungen. Aufgrund ihrer Nähe, des ausgeprägten Jets und des sehr massereichen Schwarzen Lochs stellt M87 ein ideales Laboratorium dar, um die Entstehung, Beschleunigung und Bündelung der Materie in relativistischen Jets zu erforschen. Ein Forscherteam unter der Leitung von Silke Britzen vom MPIfR Bonn liefert Hinweise für die Verbindung von Akkretionsscheibe und Jet von M87 durch turbulente Prozesse und damit neue Erkenntnisse für das Problem des Ursprungs von astrophysikalischen Jets.

Supermassereiche Schwarze Löcher in den Zentren von Galaxien sind eines der rätselhaftesten Phänomene in der modernen Astrophysik. Ihr gewaltiger...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

3. Bionik-Kongress Baden-Württemberg

24.04.2017 | Veranstaltungen

Smart-Data-Forschung auf dem Weg in die wirtschaftliche Praxis

21.04.2017 | Veranstaltungen

Baukultur: Mehr Qualität durch Gestaltungsbeiräte

21.04.2017 | Veranstaltungen

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

Fraunhofer HHI mit neuesten VR-Technologien auf der NAB in Las Vegas

24.04.2017 | Messenachrichten

Leichtbau serientauglich machen

24.04.2017 | Maschinenbau

Daten vom Kühlgerät in die Cloud

24.04.2017 | HANNOVER MESSE