Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Analyse- und Lösungsmotor übertrifft XSB Prolog

21.09.2004


Ein als Succinct Solver V2.0 bekannter Analysemotor zur Lösung von Daten- und Kontrollflussproblemen wurde entwickelt. Hierbei handelt es sich eigentlich um nichts Besonderes, aber dieser spezielle Motor ist in einer Standard Manipulation Language geschrieben und übertrifft daher die Leistung von XSB Prolog deutlich.

... mehr zu:
»Analysator »Java »Prolog »Solver »Succinct »XSB

In den letzten Jahren hat sich die statische Programmanalyse zu einer bewährten Technologie für den Einsatz von Compilern und Interpretern entwickelt. Zwei gute Beispiele für den Einsatz von statischen Analyseverfahren sind die Software-Reengineering-Verfahren, die im Zusammenhang mit den Problemen der Jahrtausendwende verwendet wurden sowie die für Ariane V genutzten Softwarevalidationsprogramme.

Das ins Leben gerufene Projekt zielte darauf ab, die Skalierbarkeit von statischen Analysetechnologien zu bewerten sowie die sicherheitstechnischen Aspekte für realistische Sprachen und Anwendungen zu überprüfen. Das führte zur Identifizierung von zwei überaus wichtigen Sicherheitsbereichen, nämlich den SmartCards und der Internetprogrammierung. Daraufhin konzentrierten sich die Bemühungen des Projekts auf Java und den Java-Dialekt Java Card.


Der Succinct Solver selbst wurde über Reqs vereinfacht. Hierbei handelt es sich um ein Backend eines Programmanalysators, der durch Inria erzeugt und innerhalb eines restriktionsbasierten statischen Analysators entwickelt wurde. Dieser verwendet die Carmel-Sprache, die eine Zwischendarstellung des Byte-Codes der Java Card ist. Reqs löst mit Hilfe von Gittern Restriktionen, während der Analysator selbst unter Verwendung einer modularen Restriktionserzeugungstechnik implementiert wird und für die Analyse von Java-Programmteilen genutzt wird.

Der restriktionsbasierte statische Analysator stellt eine sichere Grundlage für die Untersuchung von Java-Komponenten und -Schnittstellen zur Verfügung und analysiert in Verbindung mit einer modularen Verifikationstechnik Java-Programmfragmente. Bei einem Vergleich des Succinct Solver mit anderen Lösungsmotoren, die in erster Linie XSB Prolog und DeMoney als Haupttestprogramm nutzen, zeigte sich, dass Succint Solver die Wettbewerber leistungsmäßig übertrifft.

Daher ist dieser Problemlöser besonders für die Sicherheitsmerkmale des Byte-Codes der Java Card, für die Bewertung der Steuerungseigenschaften von mobilen und unbeschränkten Umgebungen sowie für die Validation der Protokollkommunikation in geeigneten Algebraprozessen von großem Nutzen. Deshalb können Entwicklungen wie der Succinct Solver, Reqs und der restriktionsbasierte statische Analysator die zukünftige Sicherheit von Sichtmodifikatoren und gemeinsam nutzbaren Schnittstellen gewährleisten.

Prof. Flemming Nielson | ctm
Weitere Informationen:
http://www.imm.dtu.dk
http://www.imm.dtu.dk/~nielson

Weitere Berichte zu: Analysator Java Prolog Solver Succinct XSB

Weitere Nachrichten aus der Kategorie Verfahrenstechnologie:

nachricht Mitarbeiter der Hochschule Ulm entwickeln neue Methode zur Desinfektion von Kontaktlinsen
17.07.2017 | Hochschule Ulm

nachricht Form aus dem Vakuum: Tiefziehen von Dünnglas eröffnet neue Anwendungsfelder
07.07.2017 | Fraunhofer-Institut für Produktionstechnologie IPT

Alle Nachrichten aus der Kategorie: Verfahrenstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Molekulares Lego

Sie können ihre Farbe wechseln, ihren Spin verändern oder von fest zu flüssig wechseln: Eine bestimmte Klasse von Polymeren besitzt faszinierende Eigenschaften. Wie sie das schaffen, haben Forscher der Uni Würzburg untersucht.

Bei dieser Arbeit handele es sich um ein „Hot Paper“, das interessante und wichtige Aspekte einer neuen Polymerklasse behandelt, die aufgrund ihrer Vielfalt an...

Im Focus: Das Universum in einem Kristall

Dresdener Forscher haben in Zusammenarbeit mit einem internationalen Forscherteam einen unerwarteten experimentellen Zugang zu einem Problem der Allgemeinen Realitätstheorie gefunden. Im Fachmagazin Nature berichten sie, dass es ihnen in neuartigen Materialien und mit Hilfe von thermoelektrischen Messungen gelungen ist, die Schwerkraft-Quantenanomalie nachzuweisen. Erstmals konnten so Quantenanomalien in simulierten Schwerfeldern an einem realen Kristall untersucht werden.

In der Physik spielen Messgrößen wie Energie, Impuls oder elektrische Ladung, welche ihre Erscheinungsform zwar ändern können, aber niemals verloren gehen oder...

Im Focus: Manipulation des Elektronenspins ohne Informationsverlust

Physiker haben eine neue Technik entwickelt, um auf einem Chip den Elektronenspin mit elektrischen Spannungen zu steuern. Mit der neu entwickelten Methode kann der Zerfall des Spins unterdrückt, die enthaltene Information erhalten und über vergleichsweise grosse Distanzen übermittelt werden. Das zeigt ein Team des Departement Physik der Universität Basel und des Swiss Nanoscience Instituts in einer Veröffentlichung in Physical Review X.

Seit einigen Jahren wird weltweit untersucht, wie sich der Spin des Elektrons zur Speicherung und Übertragung von Information nutzen lässt. Der Spin jedes...

Im Focus: Manipulating Electron Spins Without Loss of Information

Physicists have developed a new technique that uses electrical voltages to control the electron spin on a chip. The newly-developed method provides protection from spin decay, meaning that the contained information can be maintained and transmitted over comparatively large distances, as has been demonstrated by a team from the University of Basel’s Department of Physics and the Swiss Nanoscience Institute. The results have been published in Physical Review X.

For several years, researchers have been trying to use the spin of an electron to store and transmit information. The spin of each electron is always coupled...

Im Focus: Das Proton präzise gewogen

Wie schwer ist ein Proton? Auf dem Weg zur möglichst exakten Kenntnis dieser fundamentalen Konstanten ist jetzt Wissenschaftlern aus Deutschland und Japan ein wichtiger Schritt gelungen. Mit Präzisionsmessungen an einem einzelnen Proton konnten sie nicht nur die Genauigkeit um einen Faktor drei verbessern, sondern auch den bisherigen Wert korrigieren.

Die Masse eines einzelnen Protons noch genauer zu bestimmen – das machen die Physiker um Klaus Blaum und Sven Sturm vom Max-Planck-Institut für Kernphysik in...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

Operatortheorie im Fokus

20.07.2017 | Veranstaltungen

Technologietag der Fraunhofer-Allianz Big Data: Know-how für die Industrie 4.0

18.07.2017 | Veranstaltungen

DFG unterstützt Kongresse und Tagungen - September 2017

17.07.2017 | Veranstaltungen

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

1,4 Millionen Euro für Forschungsprojekte im Industrie 4.0-Kontext

20.07.2017 | Förderungen Preise

Von photonischen Nanoantennen zu besseren Spielekonsolen

20.07.2017 | Physik Astronomie

Bildgebung von entstehendem Narbengewebe

20.07.2017 | Biowissenschaften Chemie