Funding
RWTH Aachen
Runtime
2020- 2022
Project Description
„Modelchecker“ sind eine in CAD und Building Information Modeling (BIM) eingeführte Technologie, die eine schnelle Überprüfung von digitalen Gebäude-Fachmodellen auf Basis vordefinierter Anforderungsprofile ermöglicht. Diese digitale Prüfmethode soll für Studierende vor allem im Bauwesen als automatisierte Fortschrittskontrolle bei der Bearbeitung eigener Ingenieurs-Modelle in RWTH Moodle verfügbar gemacht werden. Durch das Angebot der kontinuierlichen, selbstbestimmten Nutzung eines Modelcheckers zur Selbstkontrolle im Bearbeitungsprozess wird eine verbesserte Durchdringung des Lernstoffes erwartet: Die Studierenden können die Inhalte mittels Blended Learning im eigenen Tempo erarbeiten und bis zur Prüfung selbstständig kontrollieren.
Die Lehr- und Lerninhalte sowie die technische Umsetzung werden quelloffen als Open Educational Ressource (OER) publiziert und dokumentiert, und können als Dienst RWTH –weit durch alle Fakultäten (vor allem Fakultäten 2, 3 und 4) genutzt werden. Die Entwicklung ist mit dem CLS und dem ITCenter abgestimmt und erfolgt in enger Kooperation. Eine Bereitstellung als OER auf “Open Resources Campus NRW (ORCA.nrw)” und ein gemeinschaftlicher Förderantrag in der Förderlinie Curriculum 4.0.nrw sind als weiterführende und flankierende Maßnahmen in Planung und Abstimmung mit weiteren Hochschulstandorten.
Researcher
Publications
2023
Extending information delivery specification for linking distributed model checking services Proceedings Article
In: Proceedings of 2023 European Conference on Computing in Construction $&$ 40th International CIB W78 Conference on Information Technology for Construction : July 10-12, 2023, Heraklion, Crete, Greece / edited by Prof. Mohamad Kassem, Newcastle University (UK); Assoc. Prof. Lavinia Chiara Tagliabue, University of Turin (IT); Prof. Robert Amor, University of Auckland (NZ); Dr. Marijana Sreckovic, TU Wien (AT); Dr. Athanasios Chassiakos, University of Patras (GR) ; organizer: European Council for Research and Innovation in Building and Construction, CIB W78, pp. 949-956, 40. International Conference of CIB W78, Heraklion (Greece), 10 Jul 2023 - 12 Jul 2023 Newcastle University, Newcastle, UK, 2023.