Logo des Repositoriums

Auflistung nach Autor:in "Diedrich, Christian"

1 - 4 von 4
  • Konferenzbeitrag
    Anforderungen an das Software-Engineering in der Automatisierungstechnik
    (Software Engineering 2013, 2013) Vogel-Heuser, Birgit; Diedrich, Christian; Fay, Alexander; Göhner, Peter
    Automatisierte Systeme sind komplexe Hardware-Software-Systeme, die zu einem hohen Maß von der Qualität des zugrundeliegenden Software- Engineering abhängen. Der Beitrag soll durch die Klärung der spezifischen Anforderungen zu einem besseren Verständnis von Automatisierungstechnik und Software-Engineering führen und die Grundlagen für eine engere Zusammenarbeit legen. Es werden die wesentlichen Anforderungen identifiziert, die sich aus dem funktionalen Aufbau sowie aus den Randbedingungen des Lebenszyklus automatisierter Systeme ergeben. Auf dieser Grundlage können Methoden und Werkzeuge verbessert und so die Qualität des Software-Engineering gesteigert werden.
  • Konferenzbeitrag
    Modellbasierte Testgenerierung aus Spezifikationen mit parallelem Verhalten
    (INFORMATIK 2010. Service Science – Neue Perspektiven für die Informatik. Band 2, 2010) Krause, Jan; Diedrich, Christian
    In diesem Beitrag wird eine Methode zur Generierung von Testfällen aus modellbasierten Verhaltensspezifikationen vorgestellt, wobei auch die Spezifikation von parallelem Verhalten unterstützt wird. Zur Realisierung werden etablierte Verfahren der Petri-Netz-Theorie und der constraintbasierten Programmierung benutzt. Auf der Grundlage eines entwickelten einfachen farbigen Petri-Netz- Modells (SPeNAt) können damit Testfälle mit parametrierbarem Abdeckungsgrad generiert werden, wobei auch sehr hohe, insbesondere für die Entwicklung sicherheitskritischer Systeme relevante, Abdeckungsgrade (wie z. B. „alle möglichen alternativen Pfade“, MC/DC an den Bedingungen, etc.) garantiert werden können.
  • Zeitschriftenartikel
    Modellbewertung für ein durchgängiges Engineering
    (Softwaretechnik-Trends: Vol. 32, No. 2, 2012) Mühlhause, Mathias; Hadlich, Thomas; Diedrich, Christian
    Mathias Mühlhause1, Thomas Hadlich2, Christian Diedrich2
  • Konferenzbeitrag
    UML based software development under safety constraints
    (Sicherheit 2006, Sicherheit – Schutz und Zuverlässigkeit, 2006) Diedrich, Christian; Krause, Jan; Franke, Andreas