Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
  Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software, invited chapter

Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., et al. (2002). Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software, invited chapter. In T. Mogensen, D. A. Schmidt, & I. H. Sudborough (Eds.), The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones (pp. 85-108). Berlin, Germany: Springer.

Item is

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Blanchet, Bruno1, Autor           
Cousot, Patrick, Autor
Cousot, Radhia, Autor
Feret, Jérôme, Autor
Mauborgne, Laurent2, Autor           
Miné, Antoine, Autor
Monniaux, David, Autor
Rival, Xavier, Autor
Affiliations:
1Static Analysis, MPI for Informatics, Max Planck Society, ou_1116553              
2Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: We report on a successful preliminary experience in the design and implementation of a special-purpose Abstract Interpretation based static program analyzer for the verification of safety critical embedded real-time software. The analyzer is both precise (zero false alarm in the considered experiment) and efficient (less than one minute of analysis for 10,000 lines of code). Even if it is based on a simple interval analysis, many features have been added to obtain the desired precision: expansion of small arrays, widening with several thresholds, loop unrolling, trace partitioning, relations between loop counters and other variables. The efficiency of the tool mainly comes from a clever representation of abstract environments based on balanced binary search trees.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2004-12-082002
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: Berlin, Germany : Springer
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 520652
Anderer: Local-ID: C1256BDD001D715B-A7D599601D7ED3E8C1256C8E0046DD25-BlanchetCousotetal2002
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones
Genre der Quelle: Buch
 Urheber:
Mogensen, Torben, Herausgeber
Schmidt, David A., Herausgeber
Sudborough, Ivan Hal, Herausgeber
Affiliations:
-
Ort, Verlag, Ausgabe: Berlin, Germany : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 85 - 108 Identifikator: ISBN: 3-540-00326-6

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Computer Science
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 2566 Artikelnummer: - Start- / Endseite: - Identifikator: -