Navigation

Skiplinks

Kontakt

Leitung

Prof. Dr. M. Fränzle
Raum: D119/120 (OFFIS)
Tel.: +49-441-9722 566

Sekretariat

Andrea Hinz
Kathrin Kuper
Raum: D121 (OFFIS)
Tel.: +49-441-9722 501
Fax: +49-441-9722 502

Arbeitsberichte

W. Damm, M. Fränzle, W. Hagemann, P. Kröger, A. Rakow: Justification Based Reasoning in Dynamic Conflict Resolution, 2019

Ergänzungsmaterial

W. Damm, M. Fränzle, W. Hagemann, P. Kröger, A. Rakow: Justification Based Reasoning in Dynamic Conflict Resolution, Arbeitsbericht, 2019

S. Puch: Statistisches Model Checking mittels geführter Simulation im Kontext modellbasierter Entwicklung sicherheitskritischer Fahrerassistenzsysteme, Dissertation, to be submitted

S. Puch, M. Fränzle, und S. Gerwinn: Quantitative Risk Assessment of Safety-critical Systems via Guided Simulation for Rare Events, ISoLA 2018

S. Puch, B. Wortelen, M. Fränzle, und T. Peikenkamp: Evaluation of Drivers Interaction with Assistant Systems using Criticality Driven Guided Simulation, HCII 2013

S. Puch, B. Wortelen, M. Fränzle, und T. Peikenkamp: Using Guided Simulation to Improve a Model-Based Design Process of Complex Human Machine Systems, ESM 2012

Tools

HySAT

Solver

  • hysat-0.8.6.gz (2009-12-20) - statisch gelinkte Binärdatei für Linux.
    Bitte beachten Sie, dass diese Version von HySAT nicht auf linearer Programmierung basiert, sondern auf Interval Constraint Propagation
  • hysat-0.8.5w.zip (2019-12-20) - statisch gelinkte Binärdatei für Windows.

Manual

Beispielmodelle

Bounded Model Checking

Optimierung

Präsentationen

 

iSAT

Der Nachfolger von HySAT, iSAT, ist über die Webseiten des SFB/TR 14 AVACS verfügbar und kann hier heruntergeladen werden.

iSAT3

Mit iSAT3 ist eine Neuimplementierung des SMT-Solvers iSAT verfügbar, die über die Webseiten des SFB/TR 14 AVACS verfügbar ist und hier heruntergeladen werden kann.

We2/vxbmastet1gr/r (hs-byjpcwebiuxmast6lnuerf6@informatiwzk.cqkuni-olardenjdpkburgc4ai.d6t5cre) (Stand: 18.06.2019)