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 Neues Verfahren bringt komplex geformte Verbundwerkstoffe in die Serie
23.01.2017 | Evonik Industries AG

nachricht Fraunhofer-Institute entwickeln zerstörungsfreie Qualitätsprüfung für Hybridgussbauteile
19.01.2017 | Fraunhofer IFAM

Alle Nachrichten aus der Kategorie: Verfahrenstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Erstmalig quantenoptischer Sensor im Weltraum getestet – mit einem Lasersystem aus Berlin

An Bord einer Höhenforschungsrakete wurde erstmals im Weltraum eine Wolke ultrakalter Atome erzeugt. Damit gelang der MAIUS-Mission der Nachweis, dass quantenoptische Sensoren auch in rauen Umgebungen wie dem Weltraum eingesetzt werden können – eine Voraussetzung, um fundamentale Fragen der Wissenschaft beantworten zu können und ein Innovationstreiber für alltägliche Anwendungen.

Gemäß dem Einstein’schen Äquivalenzprinzip werden alle Körper, unabhängig von ihren sonstigen Eigenschaften, gleich stark durch die Gravitationskraft...

Im Focus: Quantum optical sensor for the first time tested in space – with a laser system from Berlin

For the first time ever, a cloud of ultra-cold atoms has been successfully created in space on board of a sounding rocket. The MAIUS mission demonstrates that quantum optical sensors can be operated even in harsh environments like space – a prerequi-site for finding answers to the most challenging questions of fundamental physics and an important innovation driver for everyday applications.

According to Albert Einstein's Equivalence Principle, all bodies are accelerated at the same rate by the Earth's gravity, regardless of their properties. This...

Im Focus: Mikrobe des Jahres 2017: Halobacterium salinarum - einzellige Urform des Sehens

Am 24. Januar 1917 stach Heinrich Klebahn mit einer Nadel in den verfärbten Belag eines gesalzenen Seefischs, übertrug ihn auf festen Nährboden – und entdeckte einige Wochen später rote Kolonien eines "Salzbakteriums". Heute heißt es Halobacterium salinarum und ist genau 100 Jahre später Mikrobe des Jahres 2017, gekürt von der Vereinigung für Allgemeine und Angewandte Mikrobiologie (VAAM). Halobacterium salinarum zählt zu den Archaeen, dem Reich von Mikroben, die zwar Bakterien ähneln, aber tatsächlich enger verwandt mit Pflanzen und Tieren sind.

Rot und salzig
Archaeen sind häufig an außergewöhnliche Lebensräume angepasst, beispielsweise heiße Quellen, extrem saure Gewässer oder – wie H. salinarum – an...

Im Focus: Innovatives Hochleistungsmaterial: Biofasern aus Florfliegenseide

Neuartige Biofasern aus einem Seidenprotein der Florfliege werden am Fraunhofer-Institut für Angewandte Polymerforschung IAP gemeinsam mit der Firma AMSilk GmbH entwickelt. Die Forscher arbeiten daran, das Protein in großen Mengen biotechnologisch herzustellen. Als hochgradig biegesteife Faser soll das Material künftig zum Beispiel in Leichtbaukunststoffen für die Verkehrstechnik eingesetzt werden. Im Bereich Medizintechnik sind beispielsweise biokompatible Seidenbeschichtungen von Implantaten denkbar. Ein erstes Materialmuster präsentiert das Fraunhofer IAP auf der Internationalen Grünen Woche in Berlin vom 20.1. bis 29.1.2017 in Halle 4.2 am Stand 212.

Zum Schutz des Nachwuchses vor bodennahen Fressfeinden lagern Florfliegen ihre Eier auf der Unterseite von Blättern ab – auf der Spitze von stabilen seidenen...

Im Focus: Verkehrsstau im Nichts

Konstanzer Physiker verbuchen neue Erfolge bei der Vermessung des Quanten-Vakuums

An der Universität Konstanz ist ein weiterer bedeutender Schritt hin zu einem völlig neuen experimentellen Zugang zur Quantenphysik gelungen. Das Team um Prof....

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

Hybride Eisschutzsysteme – Lösungen für eine sichere und nachhaltige Luftfahrt

23.01.2017 | Veranstaltungen

Mittelstand 4.0 – Mehrwerte durch Digitalisierung: Hintergründe, Beispiele, Lösungen

20.01.2017 | Veranstaltungen

Nachhaltige Wassernutzung in der Landwirtschaft Osteuropas und Zentralasiens

19.01.2017 | Veranstaltungen

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

Wie der Nordatlantik zum Wärmepirat wurde

23.01.2017 | Geowissenschaften

Immunabwehr ohne Kollateralschaden

23.01.2017 | Biowissenschaften Chemie

Erstmalig quantenoptischer Sensor im Weltraum getestet – mit einem Lasersystem aus Berlin

23.01.2017 | Physik Astronomie