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 Cybersicherheit für die Bahn von morgen
24.03.2017 | Fraunhofer-Institut für Sichere Informationstechnologie SIT

nachricht Schutz vor Angriffen dank flexibler Programmierung
22.03.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: Wegweisende Erkenntnisse für die Biomedizin: NAD⁺ hilft bei Reparatur geschädigter Erbinformationen

Eine internationale Forschergruppe mit dem Bayreuther Biochemiker Prof. Dr. Clemens Steegborn präsentiert in 'Science' neue, für die Biomedizin wegweisende Forschungsergebnisse zur Rolle des Moleküls NAD⁺ bei der Korrektur von Schäden am Erbgut.

Die Zellen von Menschen und Tieren können Schäden an der DNA, dem Träger der Erbinformation, bis zu einem gewissen Umfang selbst reparieren. Diese Fähigkeit...

Im Focus: Designer-Proteine falten DNA

Florian Praetorius und Prof. Hendrik Dietz von der Technischen Universität München (TUM) haben eine neue Methode entwickelt, mit deren Hilfe sie definierte Hybrid-Strukturen aus DNA und Proteinen aufbauen können. Die Methode eröffnet Möglichkeiten für die zellbiologische Grundlagenforschung und für die Anwendung in Medizin und Biotechnologie.

Desoxyribonukleinsäure – besser bekannt unter der englischen Abkürzung DNA – ist die Trägerin unserer Erbinformation. Für Prof. Hendrik Dietz und Florian...

Im Focus: Fliegende Intensivstationen: Ultraschallgeräte in Rettungshubschraubern können Leben retten

Etwa 21 Millionen Menschen treffen jährlich in deutschen Notaufnahmen ein. Im Kampf zwischen Leben und Tod zählt für diese Patienten jede Minute. Wenn sie schon kurz nach dem Unfall zielgerichtet behandelt werden können, verbessern sich ihre Überlebenschancen erheblich. Damit Notfallmediziner in solchen Fällen schnell die richtige Diagnose stellen können, kommen in den Rettungshubschraubern der DRF Luftrettung und zunehmend auch in Notarzteinsatzfahrzeugen mobile Ultraschallgeräte zum Einsatz. Experten der Deutschen Gesellschaft für Ultraschall in der Medizin e.V. (DEGUM) schulen die Notärzte und Rettungsassistenten.

Mit mobilen Ultraschallgeräten können Notärzte beispielsweise innere Blutungen direkt am Unfallort identifizieren und sie bei Bedarf auch für Untersuchungen im...

Im Focus: Gigantische Magnetfelder im Universum

Astronomen aus Bonn und Tautenburg in Thüringen beobachteten mit dem 100-m-Radioteleskop Effelsberg Galaxienhaufen, das sind Ansammlungen von Sternsystemen, heißem Gas und geladenen Teilchen. An den Rändern dieser Galaxienhaufen fanden sie außergewöhnlich geordnete Magnetfelder, die sich über viele Millionen Lichtjahre erstrecken. Sie stellen die größten bekannten Magnetfelder im Universum dar.

Die Ergebnisse werden am 22. März in der Fachzeitschrift „Astronomy & Astrophysics“ veröffentlicht.

Galaxienhaufen sind die größten gravitativ gebundenen Strukturen im Universum, mit einer Ausdehnung von etwa zehn Millionen Lichtjahren. Im Vergleich dazu ist...

Im Focus: Giant Magnetic Fields in the Universe

Astronomers from Bonn and Tautenburg in Thuringia (Germany) used the 100-m radio telescope at Effelsberg to observe several galaxy clusters. At the edges of these large accumulations of dark matter, stellar systems (galaxies), hot gas, and charged particles, they found magnetic fields that are exceptionally ordered over distances of many million light years. This makes them the most extended magnetic fields in the universe known so far.

The results will be published on March 22 in the journal „Astronomy & Astrophysics“.

Galaxy clusters are the largest gravitationally bound structures in the universe. With a typical extent of about 10 million light years, i.e. 100 times the...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

Rund 500 Fachleute aus Wissenschaft und Wirtschaft diskutierten über technologische Zukunftsthemen

24.03.2017 | Veranstaltungen

Lebenswichtige Lebensmittelchemie

23.03.2017 | Veranstaltungen

Die „Panama Papers“ aus Programmierersicht

22.03.2017 | Veranstaltungen

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

Rund 500 Fachleute aus Wissenschaft und Wirtschaft diskutierten über technologische Zukunftsthemen

24.03.2017 | Veranstaltungsnachrichten

Förderung des Instituts für Lasertechnik und Messtechnik in Ulm mit rund 1,63 Millionen Euro

24.03.2017 | Förderungen Preise

TU-Bauingenieure koordinieren EU-Projekt zu Recycling-Beton von über sieben Millionen Euro

24.03.2017 | Förderungen Preise