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 »Lernlabor Cybersicherheit« startet in Weiden i. d. Oberpfalz
12.01.2017 | Fraunhofer-Gesellschaft

nachricht Klick-Tagebuch: App-Projekt der HdM erlaubt neuen Ansatz in Entwicklungsforschung
11.01.2017 | Hochschule der Medien Stuttgart

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Interfacial Superconductivity: Magnetic and superconducting order revealed simultaneously

Researchers from the University of Hamburg in Germany, in collaboration with colleagues from the University of Aarhus in Denmark, have synthesized a new superconducting material by growing a few layers of an antiferromagnetic transition-metal chalcogenide on a bismuth-based topological insulator, both being non-superconducting materials.

While superconductivity and magnetism are generally believed to be mutually exclusive, surprisingly, in this new material, superconducting correlations...

Im Focus: Erforschung von Elementarteilchen in Materialien

Laseranregung von Semimetallen ermöglicht die Erzeugung neuartiger Quasiteilchen in Festkörpersystemen sowie ultraschnelle Schaltung zwischen verschiedenen Zuständen.

Die Untersuchung der Eigenschaften fundamentaler Teilchen in Festkörpersystemen ist ein vielversprechender Ansatz für die Quantenfeldtheorie. Quasiteilchen...

Im Focus: Studying fundamental particles in materials

Laser-driving of semimetals allows creating novel quasiparticle states within condensed matter systems and switching between different states on ultrafast time scales

Studying properties of fundamental particles in condensed matter systems is a promising approach to quantum field theory. Quasiparticles offer the opportunity...

Im Focus: Mit solaren Gebäudehüllen Architektur gestalten

Solarthermie ist in der breiten Öffentlichkeit derzeit durch dunkelblaue, rechteckige Kollektoren auf Hausdächern besetzt. Für ästhetisch hochwertige Architektur werden Technologien benötigt, die dem Architekten mehr Gestaltungsspielraum für Niedrigst- und Plusenergiegebäude geben. Im Projekt »ArKol« entwickeln Forscher des Fraunhofer ISE gemeinsam mit Partnern aktuell zwei Fassadenkollektoren für solare Wärmeerzeugung, die ein hohes Maß an Designflexibilität erlauben: einen Streifenkollektor für opake sowie eine solarthermische Jalousie für transparente Fassadenanteile. Der aktuelle Stand der beiden Entwicklungen wird auf der BAU 2017 vorgestellt.

Im Projekt »ArKol – Entwicklung von architektonisch hoch integrierten Fassadekollektoren mit Heat Pipes« entwickelt das Fraunhofer ISE gemeinsam mit Partnern...

Im Focus: Designing Architecture with Solar Building Envelopes

Among the general public, solar thermal energy is currently associated with dark blue, rectangular collectors on building roofs. Technologies are needed for aesthetically high quality architecture which offer the architect more room for manoeuvre when it comes to low- and plus-energy buildings. With the “ArKol” project, researchers at Fraunhofer ISE together with partners are currently developing two façade collectors for solar thermal energy generation, which permit a high degree of design flexibility: a strip collector for opaque façade sections and a solar thermal blind for transparent sections. The current state of the two developments will be presented at the BAU 2017 trade fair.

As part of the “ArKol – development of architecturally highly integrated façade collectors with heat pipes” project, Fraunhofer ISE together with its partners...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

Bundesweiter Astronomietag am 25. März 2017

17.01.2017 | Veranstaltungen

Über intelligente IT-Systeme und große Datenberge

17.01.2017 | Veranstaltungen

Aquakulturen und Fangquoten – was hilft gegen Überfischung?

16.01.2017 | Veranstaltungen

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

Bundesweiter Astronomietag am 25. März 2017

17.01.2017 | Veranstaltungsnachrichten

Intelligente Haustechnik hört auf „LISTEN“

17.01.2017 | Architektur Bauwesen

Satellitengestützte Lasermesstechnik gegen den Klimawandel

17.01.2017 | Maschinenbau