Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Automatisierung in der Validierung von Software

30.10.2006
Die Erhöhung der Effizienz und der Wettbewerbsfähigkeit sowie die gleichzeitige Reduzierung der Aufwendungen für den Validierungsprozess waren lange Zeit ein konfuses Ziel für die europäische Softwareindustrie. Im Rahmen des OMEGA-Projekts wurden die Instrumente und die Methodologie für die Entwicklung von Echtzeitsystemen und eingebetteten Systemen unter der Verwendung von UML erarbeitet. Damit wurde ein wichtiges Teil im Puzzlespiel an die richtige Stelle gerückt.

Die Unified Modelling Language UML schließt Bezeichnungen für die Beschreibung von strukturellen und anderen Verhaltensauffassungen einer Anwendung sowie plattformabhängige Informationen ein. Die Herangehensweise von OMEGA an das Thema Softwarequalität ist die Nutzung von UML für die Beschreibung eines einzigartigen Referenzmodells, von dem semantisch verwandte Modelle für Funktionalitäts-, Validierungs-, Leistungsanalysen und Implementierungen abgeleitet werden. Aus diesem Grund wurde im Rahmen des OMEGA-Projekts eine angemessene und effektive Teilmenge der UML identifiziert, die für die Entwicklung reaktionsfähiger und eingebetteter Echtzeitsysteme genutzt werden kann.

Das Profil wurde in Phasen definiert. Dabei wurde mit einem so genannten Kernel-Modell begonnen, das eine nützliche einsatzbereite Teilmenge darstellt. Beim Kernel-Modell von OMEGA wird die statische Struktur bezogen auf Kategoriediagramme und Zustandsmaschinen mit einigen Erweiterungen und Einschränkungen beschrieben. Dies betrifft zumeist Assoziationen und Kommunikation. Eine Kategorie ist die Beschreibung einer Reihe von Objekten, die die gleichen Attribute, Operationen, Signale, Beziehungen und Semantik teilen. Die Zustandsmaschinen ihrer Kategorie definieren die Leistung der Objekte in einem System. Die Kategorien werden in aktiv und passiv unterschieden. Dabei haben die aktiven Kategorien ihren eigenen Kontrollmechanismus und die angegliederte Reihe von Ereignissen. Sie führen die Anfragen in einer Art von Run-to-completion aus. Das Kernel-Modell definiert die formelle Semantik für die Verifizierung des Verhaltens einer Reihe verwandter Kategorien und zugehöriger Zustandsdiagramme mit vorhandenen Instrumenten zur Überprüfung des Modells.

Das Verhalten des Systems wird mittels einer expliziten imperativen Funktionssprache beschrieben, die für die Bildung und den Abbau von Objekten, für die Kommunikation und die Beschreibung von mit Daten erweiterten Übergangssystemen verwendet wird. Die Kommunikation zwischen den Objekten wird entweder mittels asynchroner Signale oder mittels synchroner Handlungsaufforderungen durchgeführt, bei denen der Auffordernde blockiert wird, bis der Ruf beantwortet ist.

Das Kernel-Modell von OMEGA und weitere Ergebnisse verbessern die derzeitigen Instrumente und Methoden. Somit wird die Automatisierung in der Softwarevalidierung zusammen mit der Einheitlichkeit und Kohärenz der Verifizierungstools gefördert.

Dr. Bernhard Josko | ctm
Weitere Informationen:
http://www.offis.de

Weitere Berichte zu: Automatisierung Kernel-Modell OMEGA OMEGA-Projekts UML

Weitere Nachrichten aus der Kategorie Informationstechnologie:

nachricht Browser-Plugin für mehr Internet-Sicherheit
21.08.2018 | Technische Universität Wien

nachricht Neue Software erleichtert Tierbewegungsforschung
21.08.2018 | Eberhard Karls Universität Tübingen

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Die Mischung macht‘s: Jülicher Forscher entwickeln schnellladefähige Festkörperbatterie

Mit Festkörperbatterien sind aktuell große Hoffnungen verbunden. Sie enthalten keine flüssigen Teile, die auslaufen oder in Brand geraten könnten. Aus diesem Grund sind sie unempfindlich gegenüber Hitze und gelten als noch deutlich sicherer, zuverlässiger und langlebiger als herkömmliche Lithium-Ionen-Batterien. Jülicher Wissenschaftler haben nun ein neues Konzept vorgestellt, das zehnmal größere Ströme beim Laden und Entladen erlaubt als in der Fachliteratur bislang beschrieben. Die Verbesserung erzielten sie durch eine „clevere“ Materialwahl. Alle Komponenten wurden aus Phosphatverbindungen gefertigt, die chemisch und mechanisch sehr gut zusammenpassen.

Die geringe Stromstärke gilt als einer der Knackpunkte bei der Entwicklung von Festkörperbatterien. Sie führt dazu, dass die Batterien relativ viel Zeit zum...

Im Focus: It’s All in the Mix: Jülich Researchers are Developing Fast-Charging Solid-State Batteries

There are currently great hopes for solid-state batteries. They contain no liquid parts that could leak or catch fire. For this reason, they do not require cooling and are considered to be much safer, more reliable, and longer lasting than traditional lithium-ion batteries. Jülich scientists have now introduced a new concept that allows currents up to ten times greater during charging and discharging than previously described in the literature. The improvement was achieved by a “clever” choice of materials with a focus on consistently good compatibility. All components were made from phosphate compounds, which are well matched both chemically and mechanically.

The low current is considered one of the biggest hurdles in the development of solid-state batteries. It is the reason why the batteries take a relatively long...

Im Focus: Farbeffekte durch transparente Nanostrukturen aus dem 3D-Drucker

Neues Design-Tool erstellt automatisch 3D-Druckvorlagen für Nanostrukturen zur Erzeugung benutzerdefinierter Farben | Wissenschaftler präsentieren ihre Ergebnisse diese Woche auf der angesehenen SIGGRAPH-Konferenz

Die meisten Objekte im Alltag sind mit Hilfe von Pigmenten gefärbt, doch dies hat einige Nachteile: Die Farben können verblassen, künstliche Pigmente sind oft...

Im Focus: Color effects from transparent 3D-printed nanostructures

New design tool automatically creates nanostructure 3D-print templates for user-given colors
Scientists present work at prestigious SIGGRAPH conference

Most of the objects we see are colored by pigments, but using pigments has disadvantages: such colors can fade, industrial pigments are often toxic, and...

Im Focus: Eisen und Titan in der Atmosphäre eines Exoplaneten entdeckt

Forschende der Universitäten Bern und Genf haben erstmals in der Atmosphäre eines Exoplaneten Eisen und Titan nachgewiesen. Die Existenz dieser Elemente in Gasform wurde von einem Team um den Berner Astronomen Kevin Heng theoretisch vorausgesagt und konnte nun von Genfern Astronominnen und Astronomen bestätigt werden.

Planeten in anderen Sonnensystemen, sogenannte Exoplaneten, können sehr nah um ihren Stern kreisen. Wenn dieser Stern viel heisser ist als unsere Sonne, dann...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

Dialog an Deck, Science Slam und Pong-Battle

21.08.2018 | Veranstaltungen

LaserForum 2018 thematisiert die 3D-Fertigung von Komponenten

17.08.2018 | Veranstaltungen

Aktuelles aus der Magnetischen Resonanzspektroskopie

16.08.2018 | Veranstaltungen

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

Zukünftige Informationstechnologien: Wärmetransport auf der Nanoskala unter die Lupe genommen

21.08.2018 | Physik Astronomie

Bedeutung des „Ozeanwetters“ für Ökosysteme

21.08.2018 | Biowissenschaften Chemie

Auf dem Weg zur personalisierten Medizin

21.08.2018 | Biowissenschaften Chemie

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