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 Datenbrille erleichtert Gehörlosen die Arbeit in der Lagerlogistik
23.02.2018 | Technische Universität München

nachricht Verlässliche Quantencomputer entwickeln
22.02.2018 | Albert-Ludwigs-Universität Freiburg im Breisgau

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Vorstoß ins Innere der Atome

Mit Hilfe einer neuen Lasertechnologie haben es Physiker vom Labor für Attosekundenphysik der LMU und des MPQ geschafft, Attosekunden-Lichtblitze mit hoher Intensität und Photonenenergie zu produzieren. Damit konnten sie erstmals die Interaktion mehrere Photonen in einem Attosekundenpuls mit Elektronen aus einer inneren atomaren Schale beobachten konnten.

Wer die ultraschnelle Bewegung von Elektronen in inneren atomaren Schalen beobachten möchte, der benötigt ultrakurze und intensive Lichtblitze bei genügend...

Im Focus: Attoseconds break into atomic interior

A newly developed laser technology has enabled physicists in the Laboratory for Attosecond Physics (jointly run by LMU Munich and the Max Planck Institute of Quantum Optics) to generate attosecond bursts of high-energy photons of unprecedented intensity. This has made it possible to observe the interaction of multiple photons in a single such pulse with electrons in the inner orbital shell of an atom.

In order to observe the ultrafast electron motion in the inner shells of atoms with short light pulses, the pulses must not only be ultrashort, but very...

Im Focus: Good vibrations feel the force

Eine Gruppe von Forschern um Andrea Cavalleri am Max-Planck-Institut für Struktur und Dynamik der Materie (MPSD) in Hamburg hat eine Methode demonstriert, die es erlaubt die interatomaren Kräfte eines Festkörpers detailliert auszumessen. Ihr Artikel Probing the Interatomic Potential of Solids by Strong-Field Nonlinear Phononics, nun online in Nature veröffentlich, erläutert, wie Terahertz-Laserpulse die Atome eines Festkörpers zu extrem hohen Auslenkungen treiben können.

Die zeitaufgelöste Messung der sehr unkonventionellen atomaren Bewegungen, die einer Anregung mit extrem starken Lichtpulsen folgen, ermöglichte es der...

Im Focus: Good vibrations feel the force

A group of researchers led by Andrea Cavalleri at the Max Planck Institute for Structure and Dynamics of Matter (MPSD) in Hamburg has demonstrated a new method enabling precise measurements of the interatomic forces that hold crystalline solids together. The paper Probing the Interatomic Potential of Solids by Strong-Field Nonlinear Phononics, published online in Nature, explains how a terahertz-frequency laser pulse can drive very large deformations of the crystal.

By measuring the highly unusual atomic trajectories under extreme electromagnetic transients, the MPSD group could reconstruct how rigid the atomic bonds are...

Im Focus: Verlässliche Quantencomputer entwickeln

Internationalem Forschungsteam gelingt wichtiger Schritt auf dem Weg zur Lösung von Zertifizierungsproblemen

Quantencomputer sollen künftig algorithmische Probleme lösen, die selbst die größten klassischen Superrechner überfordern. Doch wie lässt sich prüfen, dass der...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

Von festen Körpern und Philosophen

23.02.2018 | Veranstaltungen

Spannungsfeld Elektromobilität

23.02.2018 | Veranstaltungen

DFG unterstützt Kongresse und Tagungen - April 2018

21.02.2018 | Veranstaltungen

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

Vorstoß ins Innere der Atome

23.02.2018 | Physik Astronomie

Wirt oder Gast? Proteomik gibt neue Aufschlüsse über Reaktion von Rifforganismen auf Umweltstress

23.02.2018 | Biowissenschaften Chemie

Wie Zellen unterschiedlich auf Stress reagieren

23.02.2018 | Biowissenschaften Chemie

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