Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Qualitätssicherung jenseits von Code: Modellbasierte Entwicklung und die Qualität

14.02.2008
Für typische eingebettete Systeme ist eine modellbasierte Entwicklung über Zustandsdiagramme oder Regelungskreise nahe liegend. Werkzeuge wie Matlab/Stateflow, ASCET-SD oder Rational Modeler bieten dabei die Möglichkeit, vollständige Spezifikationen auf Modellebene zu erstellen und lauffähigen Code zu generieren.

Diese Modelle hinsichtlich ihrer Qualität zu bewerten und Handlungsanweisungen zur Qualitätssteigerung abzuleiten, stellt viele Anwender jedoch noch vor Probleme. Mit den Werkzeugen SAVE und INProVE zeigt das Fraunhofer IESE auf der diesjährigen Embedded World, wie Modellqualität transparent gemacht und bewertet werden kann.

Systemarchitekturen legen den grundlegenden Aufbau und die Schnittstellen zwischen Hardware- und Softwarekomponenten fest. Qualitätsaussagen über die realisierte Architektur und Vergleiche mit einer Referenzarchitektur waren bisher insbesondere für größere Projekte kaum möglich.

Das Werkzeug SAVE ermöglicht „Soll“ und „Ist“ zu vergleichen und Qualitätseigenschaften zu überprüfen. Der Ingenieur wird durch eine klare Visualisierung und flexible Navigation schnell auf Interfaceverletzungen aufmerksam und kann z.B. auch Leistungsdaten aus Laufzeittraces auf Komponenten und Schnittstellen abgebildet analysieren. Mit Hilfe von Deltaanalysen kann auch die Evolution einer Architektur über mehrere Produktvarianten dargestellt und verfolgt werden. Das Werkzeug unterstützt eine Vielzahl von Implementierungssprachen und ist als Eclipse-Plugin leicht in bestehende Toolketten integrierbar.

... mehr zu:
»ASCET-SD »INProVE

Designrichtlinien und ihre Auswirkungen auf nichtfunktionale Eigenschaften von Software sind der Anwendungsbereich des Werkzeugs INProVE. Die Bewertung von Modularität, Echtzeitverhalten, Speicherverbrauch oder Energieverbrauch von eingebetteten Systemen anhand von Softwaremodellen bedeutete bisher einen enormen manuellen Aufwand. Die damit einhergehenden hohen Kosten und die mögliche Verlängerung der Entwicklungszeit machten eine vollständige Analyse des Gesamtmodells nur einmal pro Projekt möglich - wenn überhaupt.

Die vom Fraunhofer IESE entwickelte werkzeuggestützte Methode zur Modellanalyse ermöglicht eine rationelle und systematische Vorgehensweise. Unterstützt durch INProVE werden Modelle in kurzer Zeit analysiert und potenzielle Schwachstellen des Modells automatisch identifiziert.

Auf Basis dieser Informationen können die anschließenden manuellen Inspektionen des Modells individuell auf die zu erwartenden Probleme zugeschnitten und effizient auf die kritischen Stellen eines Modells konzentriert werden: Der Aufwand sinkt drastisch. Unter Nutzung der werkzeuggestützten Analyse lassen sich auch problemlos mehrere Modellstände miteinander vergleichen.

Über den aktuellen, statischen Qualitätsstand eines Modells hinaus kann man so insbesondere auch die Verbesserung des Modells im Laufe der Entwicklungszeit bewerten. INProVE ist als Eclipse-Plugin realisiert und unterstützt derzeit Matlab/Simulink und ASCET-SD.

Ralf Kalmar | Fraunhofer IESE
Weitere Informationen:
http://www.iese.fraunhofer.de
http://www.iese.fraunhofer.de/fhg/iese_DE/press/newsletter/vol0208/02_2008_modell.jsp

Weitere Berichte zu: ASCET-SD INProVE

Weitere Nachrichten aus der Kategorie Informationstechnologie:

nachricht „Sachen machen mit KI“: Automatisches Kassensystem für Kantinen
04.12.2019 | Karlsruher Institut für Technologie

nachricht Optimaler Kundenservice durch künstliche Intelligenz
04.12.2019 | Universität Bayreuth

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Das 136 Millionen Atom-Modell: Wissenschaftler simulieren Photosynthese

Die Umwandlung von Sonnenlicht in chemische Energie ist für das Leben unerlässlich. In einer der größten Simulationen eines Biosystems weltweit haben Wissenschaftlerinnen und Wissenschaftler diesen komplexen Prozess an einem Bestandteil eines Bakteriums nachgeahmt – am Computer, Atom um Atom. Die Arbeit, die jetzt in der renommierten Fachzeitschrift „Cell“ veröffentlicht wurde, ist ein wichtiger Schritt zum besseren Verständnis der Photosynthese in einigen biologischen Strukturen. An der internationalen Forschungskooperation unter Leitung der University of Illinois war auch ein Team der Jacobs University Bremen beteiligt.

Das Projekt geht zurück auf eine Initiative des inzwischen verstorbenen, deutsch-US-amerikanischen Physikprofessors Klaus Schulten von der University of...

Im Focus: Developing a digital twin

University of Texas and MIT researchers create virtual UAVs that can predict vehicle health, enable autonomous decision-making

In the not too distant future, we can expect to see our skies filled with unmanned aerial vehicles (UAVs) delivering packages, maybe even people, from location...

Im Focus: Freiformflächen bis zu 80 Prozent schneller schlichten: Neue Werkzeuge und Algorithmen für die Fräsbearbeitung

Beim Schlichtfräsen komplexer Freiformflächen können Kreissegment- oder Tonnenfräswerkzeuge jetzt ihre Vorteile gegenüber herkömmlichen Werkzeugen mit Kugelkopf besser ausspielen: Das Fraunhofer-Institut für Produktionstechnologie IPT aus Aachen entwickelte im Forschungsprojekt »FlexiMILL« gemeinsam mit vier Industriepartnern passende flexible Bearbeitungsstrategien und implementierte diese in eine CAM-Software. Auf diese Weise lassen sich große frei geformte Oberflächen nun bis zu 80 Prozent schneller bearbeiten.

Ziel im Projekt »FlexiMILL« war es, für die Bearbeitung mit Tonnenfräswerkzeugen nicht nur neue, verbesserte Werkzeuggeometrien zu entwickeln, sondern auch...

Im Focus: Bis zu 30 Prozent mehr Kapazität für Lithium-Ionen-Akkus

Durch Untersuchungen struktureller Veränderungen während der Synthese von Kathodenmaterialen für zukünftige Hochenergie-Lithium-Ionen-Akkus haben Forscherinnen und Forscher des Karlsruher Instituts für Technologie (KIT) und kooperierender Einrichtungen neue und wesentliche Erkenntnisse über Degradationsmechanismen gewonnen. Diese könnten zur Entwicklung von Akkus mit deutlich erhöhter Kapazität beitragen, die etwa bei Elektrofahrzeugen eine größere Reichweite möglich machen. Über die Ergebnisse berichtet das Team in der Zeitschrift Nature Communications. (DOI 10.1038/s41467-019-13240-z)

Ein Durchbruch der Elektromobilität wird bislang unter anderem durch ungenügende Reichweiten der Fahrzeuge behindert. Helfen könnten Lithium-Ionen-Akkus mit...

Im Focus: Neue Klimadaten dank kompaktem Alexandritlaser

Höhere Atmosphärenschichten werden für Klimaforscher immer interessanter. Bereiche oberhalb von 40 km sind allerdings nur mit Höhenforschungsraketen direkt zugänglich. Ein LIDAR-System (Light Detection and Ranging) mit einem diodengepumpten Alexandritlaser schafft jetzt neue Möglichkeiten. Wissenschaftler des Leibniz-Instituts für Atmosphärenphysik (IAP) und des Fraunhofer-Instituts für Lasertechnik ILT entwickeln ein System, das leicht zu transportieren ist und autark arbeitet. Damit kann in Zukunft ein LIDAR-Netzwerk kontinuierlich und weiträumig Daten aus der Atmosphäre liefern.

Der Klimawandel ist in diesen Tagen ein heißes Thema. Eine wichtige wissenschaftliche Grundlage zum Verständnis der Phänomene sind valide Modelle zur...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

QURATOR 2020 – weltweit erste Konferenz für Kuratierungstechnologien

04.12.2019 | Veranstaltungen

Die Zukunft der Arbeit

03.12.2019 | Veranstaltungen

Intelligente Transportbehälter als Basis für neue Services der Intralogistik

03.12.2019 | Veranstaltungen

VideoLinks
Wissenschaft & Forschung
Weitere VideoLinks im Überblick >>>
 
Aktuelle Beiträge

Geminiden - Die Wünsch-dir-was-Sternschnuppen vor Weihnachten

09.12.2019 | Physik Astronomie

Verstopfung in Abwehrzellen löst Entzündung aus

09.12.2019 | Biowissenschaften Chemie

Vorbild Zelle: Internationales Forschungsteam sucht neue Wege für umweltfreundliche Chemie-Prozesse

09.12.2019 | Biowissenschaften Chemie

Weitere B2B-VideoLinks
IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics