17.01.2014 Aufrufe

Umdruck - Institut für Automatisierungs- und Softwaretechnik

Umdruck - Institut für Automatisierungs- und Softwaretechnik

Umdruck - Institut für Automatisierungs- und Softwaretechnik

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

4.1 Qualitative Modellbildung<br />

AT II<br />

Beschreibung von Zeitbedingungen in<br />

Echtzeitexpertensystemen<br />

Beispiel: WENN 5 Sek<strong>und</strong>en nachdem die Pumpe eingeschaltet<br />

worden ist kein Wasser fließt<br />

DANN<br />

ist die Förderleistung der Pumpe beeinträchtigt<br />

oder es liegt eine Verengung des Zuflusses vor<br />

– Darstellung zeitlicher Angaben <strong>und</strong> Beziehungen<br />

<br />

<br />

<br />

<br />

<br />

<br />

Darstellung absoluter Zeitangaben (z.B. um 11:17 Uhr)<br />

Darstellung relativer Zeitangaben (z.B. 5 Min. 10 Sek. vor Zugeinfahrt)<br />

Explizite Darstellung von Zeitintervallen (z.B. 12:00 bis 12:30 Uhr)<br />

Implizite Darstellung von Zeitintervallen (z.B. "solange Wasser fließt”)<br />

Darstellung qualitativer Zeitbeziehungen (z.B. früher, später, während)<br />

Darstellung quantitativer Zeitbeziehungen (z.B. 5 Min. 10 Sek. später)<br />

– Anforderungen an Echtzeitexpertensysteme<br />

<br />

<br />

<br />

Zeitmodell zur expliziten Darstellung der Zeit<br />

Unterbrechbarkeit bei Alarmmeldungen<br />

Auswertungen müssen ohne Konsistenzprobleme fortsetzbar sein<br />

© 2013 IAS, Universität Stuttgart 292

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!