Skip to main content
main-content

Tipp

Weitere Artikel dieser Ausgabe durch Wischen aufrufen

01.06.2015 | Original Paper | Ausgabe 2/2015

Innovations in Systems and Software Engineering 2/2015

Early detection of evolving system failures and temporal conflicts using parameterized formal specifications and bounded constraint-solving

Zeitschrift:
Innovations in Systems and Software Engineering > Ausgabe 2/2015
Autor:
Doron Drusinsky
Wichtige Hinweise
This research was funded by a grant from the US Defense Threat Reduction Agency (DTRA). The views expressed in this document are those of the author and do not reflect the official policy or position of the Department of Defense or the US Government.

Abstract

This paper describes an analysis technique for a system consisting of a collection of formal specifications. The goal of the analysis is to provide early discovery of system states from which the system will inevitably fail in the future by violating some formal specification. This goal can also be formulated as a form of temporal specification conflicts. The technique utilizes SAT-solver based bounded constraint solving within a custom search algorithm. The proposed technique is also compared to an alternative model checking of Computational Tree Logic technique. The proposed technique can assist in providing an early warning for a mission critical system such as the power grid prior to an emerging catastrophic failure.

Bitte loggen Sie sich ein, um Zugang zu diesem Inhalt zu erhalten

Sie möchten Zugang zu diesem Inhalt erhalten? Dann informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 69.000 Bücher
  • über 500 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Umwelt
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Testen Sie jetzt 30 Tage kostenlos.

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 58.000 Bücher
  • über 300 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Testen Sie jetzt 30 Tage kostenlos.

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 50.000 Bücher
  • über 380 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Umwelt
  • Maschinenbau + Werkstoffe




Testen Sie jetzt 30 Tage kostenlos.

Literatur
Über diesen Artikel

Weitere Artikel der Ausgabe 2/2015

Innovations in Systems and Software Engineering 2/2015 Zur Ausgabe

Editorial

Preface

Premium Partner

    Bildnachweise