Laufzeitsystemgenerierung. Stand der Technik

Ein System zur modellbasierten Diagnose soll um einen Laufzeitsystemgenerator ergänzt werden, der aus einem allgemeinen Anlagenmodell und den Informationen über eine konkrete zu untersuchende Anlage ein für diese speziell zugeschnittenes Diagnosesystem erstellt. Die Vorteile dieses Vorgehens bestehen darin, daß das spezialisierte Diagnosesystem kompakter und effizienter ist und eine klare Trennung zwischen Entwicklungs- und Laufzeitumgebung gegeben ist.Dieser Bericht gibt einen Überblick über den Stand der Technik auf den Gebieten Knowledge Compilation und Compositional Modeling, die sich mit den Problemen beschäftigen, die bei der Transformation von Wissen aus einer Darstellungsform in eine andere ergeben. Viele der hier angesprochenen gelösten und ungelösten Probleme spielen auch bei der Erstellung eines Laufzeitsystemgenerators eine große Rolle