Gold Open-Access
Refine
Has Fulltext
- yes (667) (remove)
Year of publication
Document Type
- Article (498)
- Monograph/Edited Volume (59)
- Review (28)
- Part of Periodical (22)
- Master's Thesis (19)
- Doctoral Thesis (10)
- Report (8)
- Bachelor Thesis (7)
- Working Paper (6)
- Conference Proceeding (4)
Keywords
- digital education (36)
- MOOC (35)
- e-learning (35)
- online course creation (33)
- online course design (33)
- Digitale Bildung (32)
- Kursdesign (32)
- Micro Degree (32)
- Online-Lehre (32)
- Onlinekurs (32)
Institute
- Extern (208)
- Institut für Romanistik (159)
- Zentrum für Lehrerbildung und Bildungsforschung (ZeLB) (88)
- Hasso-Plattner-Institut für Digital Engineering GmbH (85)
- Vereinigung für Jüdische Studien e. V. (79)
- Historisches Institut (38)
- dbs Deutscher Bundesverband für akademische Sprachtherapie und Logopädie e.V. (31)
- Institut für Mathematik (22)
- Institut für Jüdische Studien und Religionswissenschaft (17)
- Bürgerliches Recht (15)
Modeling and Formal Analysis of Meta-Ecosystems with Dynamic Structure using Graph Transformation
(2022)
The dynamics of ecosystems is of crucial importance. Various model-based approaches exist to understand and analyze their internal effects. In this paper, we model the space structure dynamics and ecological dynamics of meta-ecosystems using the formal technique of Graph Transformation (short GT). We build GT models to describe how a meta-ecosystem (modeled as a graph) can evolve over time (modeled by GT rules) and to analyze these GT models with respect to qualitative properties such as the existence of structural stabilities. As a case study, we build three GT models describing the space structure dynamics and ecological dynamics of three different savanna meta-ecosystems. The first GT model considers a savanna meta-ecosystem that is limited in space to two ecosystem patches, whereas the other two GT models consider two savanna meta-ecosystems that are unlimited in the number of ecosystem patches and only differ in one GT rule describing how the space structure of the meta-ecosystem grows. In the first two GT models, the space structure dynamics and ecological dynamics of the meta-ecosystem shows two main structural stabilities: the first one based on grassland-savanna-woodland transitions and the second one based on grassland-desert transitions. The transition between these two structural stabilities is driven by high-intensity fires affecting the tree components. In the third GT model, the GT rule for savanna regeneration induces desertification and therefore a collapse of the meta-ecosystem. We believe that GT models provide a complementary avenue to that of existing approaches to rigorously study ecological phenomena.
Cyber-physical systems often encompass complex concurrent behavior with timing constraints and probabilistic failures on demand. The analysis whether such systems with probabilistic timed behavior adhere to a given specification is essential. When the states of the system can be represented by graphs, the rule-based formalism of Probabilistic Timed Graph Transformation Systems (PTGTSs) can be used to suitably capture structure dynamics as well as probabilistic and timed behavior of the system. The model checking support for PTGTSs w.r.t. properties specified using Probabilistic Timed Computation Tree Logic (PTCTL) has been already presented. Moreover, for timed graph-based runtime monitoring, Metric Temporal Graph Logic (MTGL) has been developed for stating metric temporal properties on identified subgraphs and their structural changes over time.
In this paper, we (a) extend MTGL to the Probabilistic Metric Temporal Graph Logic (PMTGL) by allowing for the specification of probabilistic properties, (b) adapt our MTGL satisfaction checking approach to PTGTSs, and (c) combine the approaches for PTCTL model checking and MTGL satisfaction checking to obtain a Bounded Model Checking (BMC) approach for PMTGL. In our evaluation, we apply an implementation of our BMC approach in AutoGraph to a running example.
The analysis of behavioral models such as Graph Transformation Systems (GTSs) is of central importance in model-driven engineering. However, GTSs often result in intractably large or even infinite state spaces and may be equipped with multiple or even infinitely many start graphs. To mitigate these problems, static analysis techniques based on finite symbolic representations of sets of states or paths thereof have been devised. We focus on the technique of k-induction for establishing invariants specified using graph conditions. To this end, k-induction generates symbolic paths backwards from a symbolic state representing a violation of a candidate invariant to gather information on how that violation could have been reached possibly obtaining contradictions to assumed invariants. However, GTSs where multiple agents regularly perform actions independently from each other cannot be analyzed using this technique as of now as the independence among backward steps may prevent the gathering of relevant knowledge altogether.
In this paper, we extend k-induction to GTSs with multiple agents thereby supporting a wide range of additional GTSs. As a running example, we consider an unbounded number of shuttles driving on a large-scale track topology, which adjust their velocity to speed limits to avoid derailing. As central contribution, we develop pruning techniques based on causality and independence among backward steps and verify that k-induction remains sound under this adaptation as well as terminates in cases where it did not terminate before.
Als Folge der sicherheitstechnischen Entwicklung haben sich die Arbeitsbedingungen für Lehrkräfte in den allgemeinbildenden und beruflichen Schulen sehr gewandelt. Immer komplexere Arbeitsabläufe im Unterricht machen es erforderlich, die begleitenden Vorsorgemaßnahmen zur Sicherheitserziehung und Unfallverhütung weiterzuentwickeln.
Lehrkräfte sind in der umfassenden Verantwortung, den Gesundheitsschutz gegenüber den ihnen anvertrauten Schülerinnen und Schülern sicherzustellen. Dies betrifft insbesondere Unterricht, bei dem technische Hilfsmittel, Handwerkzeuge, Maschinen und Apparate zum Einsatz kommen, also sogenannte Werkstattkontexte auftreten, etwa in den Fächern Sachunterricht, Kunst und Wirtschaft-Arbeit-Technik. Der Klassenraum fungiert dabei einerseits als Bildungsstätte, andererseits ist er auch der Arbeitsplatz von Lehrerinnen und Lehrern und unterliegt damit Arbeitsschutzvorschriften.
Um für beide Zielgruppen die Gefahr einer Verletzung durch die zugrundeliegenden Tätigkeiten zu minimieren, hat der Gesetzgeber über das Arbeitsschutzgesetz Normen und Verantwortlichkeiten erlassen, welche den Gesundheitsschutz von Schülerinnen und Schülern und von Lehrkräften sicherstellen sollen. Als zentrales Mittel dient dazu die sogenannte Gefährdungsbeurteilung.
Dieser praxisorientierte Band richtet sich an alle Lehrkräfte, um sie bei der Durchführung der Gefährdungsbeurteilung zu unterstützen. Dazu werden die Grundlagen der Gefährdungsbeurteilung als zentrales Instrument der vorbeugenden Gefahrenabwehr und die Mitbestimmungspflichten der Lehrkräfte abgebildet. Am Beispiel der Holzwerkstatt erfolgt eine exemplarische Anwendung und Umsetzung der Methode der Gefährdungsbeurteilung. Überdies erhalten die Lesenden in der Kombination von Gefährdungsbeurteilung und Erste-Hilfe-Maßnahmen einen vollständigen Überblick über den Verantwortungsbereich des Arbeitsschutzes als umfassenden Schutz der Gesundheit im Werkstattkontext an Schulen.
Die vorliegende Arbeit untersucht, inwiefern extrapersonale Einflussfaktoren das Verhalten der Wissensteilung im Offboarding in der öffentlichen Verwaltung Deutschlands beeinflussen. Hier besteht eine Forschungslücke, die es insbesondere vor dem Hintergrund einer nahenden Pensionierungswelle und der daraus resultierenden Gefahr eines massiven Wissensverlusts zu schließen gilt. Zu diesem Zweck werden unterschiedliche Analyseebenen verknüpft, Einflussfaktoren aus der Literatur herausgearbeitet und in die Theorie des geplanten Verhaltens eingebunden. Anschließend werden Hypothesen formuliert, wie extrapersonale Einflussfaktoren, die sich aus der Verwaltung als organisationalen Kontext und dem Prozess des Offboarding ergeben, das Verhalten der Wissensteilung fördern oder hemmen. Die Testung der Hypothesen erfolgt durch die Erhebung und Auswertung qualitativer Interviewdaten. Daraus resultierende Erkenntnisse verdeutlichen, dass die anstehende Pensionierungswelle in der deutschen Verwaltung eine stärkere Ausrichtung des organisationalen Wissensmanagements auf den Prozess des Offboarding und dessen Gestaltung erfordert, um Wissensverluste zu reduzieren.
Zunehmend komplexe Herausforderungen und Aufgaben lassen sich nicht mehr mit den bisherigen Strukturen, Methoden und Prozessen der klassischen Verwaltung bewältigen. Vielmehr gewinnen Ansätze und Methoden des New Work im öffentlichen Sektor angesichts der sich stetig ändernden und dynamischen Arbeitswelt eine immer größere Bedeutung. Umso mehr besteht die Notwendigkeit, sich in der Verwaltung agil aufzustellen. Unter Agilität wird hierbei die Fähigkeit einer Organisation verstanden, sich schnell verändernden Rahmenbedingungen flexibel und dynamisch anzupassen.
Im Fokus dieser Arbeit steht der Einfluss von Agilität auf die Führungskräfte-Mitarbeiter-Beziehung. Mittels einer halbstandardisierten Online-Befragung im Landesamt für Flüchtlingsangelegenheiten und im Bezirksamt Neukölln von Berlin wird zunächst der vorliegende Agilitätsgrad mit dem Fokus auf agile Organisationsstrukturen, agile Organisationskultur und agile Führung ermittelt und sodann anhand der Qualität der dyadischen Arbeitsbeziehung von Führungskraft und Mitarbeiter (LMX-Qualität) überprüft, inwiefern die agile Arbeitsweise im Vergleich zu einer nicht-agilen Arbeitsumgebung die Beziehung beeinflusst.
Im Ergebnis der Untersuchung zeigt sich, dass ein positiver Zusammenhang zwischen Agilität und der Führungskräfte-Mitarbeiter-Beziehung besteht. Es stellt sich in beiden Ämtern ein mäßig bis starker Agilitätsgrad heraus, wobei besonders agile Führungseigenschaften zu den wesentlichen Faktoren zählen, die eine hochqualitative Beziehung begünstigen. Während im Bezirksamt ein Zusammenhang zwischen Agilität und hoher LMX-Qualität ermittelt wurde, konnte dieser nicht für die untersuchte Stichprobe des Landesamts festgestellt werden. Dennoch ließ sich in beiden Behörden ein positiver Einfluss von Agilität auf zumindest die Entwicklung einer erfolgreichen Führungskräfte-Mitarbeiter-Beziehung erfassen.
Die öffentliche Verwaltung wird in den nächsten Jahrzehnten große Reformen durchlaufen müssen. Ein wichtiger Einflussfaktor für das Gelingen von geplanten organisatorischen Veränderungen ist auch im Verwaltungskontext die Einstellung von Mitarbeiter*innen gegenüber diesem Wandel. Hier existieren gerade bei Mitarbeiter*innen ohne Führungsverantwortlichkeit häufig negative Einstellungen gegenüber Veränderungen. Dies wird auch mit dem hohen Stress in diesen Situationen in Verbindung gebracht. Besonders direkte Führungskräfte sind hier eine wichtige Einflussgröße auf die Einstellungen. Die folgende Bachelorarbeit beschäftigt sich dementsprechend mit diesen Einfluss und konzentriert sich dabei auf den Effekt der sozialen Unterstützung dieser Führungskräfte auf die Einstellung der Mitarbeiter*innen, da soziale Unterstützung einen nachgewiesenen mildernden Effekt auf den wahrgenommenen Stress besitzt.
Soziale Unterstützung wird nach der Social-Support-Theorie in die dort identifizierten vier Unter-arten differenziert, namentlich Appraisal, Emotional, Informational und Instrumental Support. Im Rahmen einer Literaturanalyse konnte für zwei der vier Supportarten (Emotional, Informational) ein Einfluss nachgewiesen werden. Auch für die anderen Supportarten bestehen Hinweise auf einen positiven Effekt. Dies weist darauf hin, dass direkte Führungskräfte während Reformen der öffentlichen Verwaltung als Quellen der Unterstützung fungieren und mittels dieser die Einstellung der Mitarbeiter*innen gegenüber Wandel positiv beeinflussen. Darüber hinaus können die Unterschiede der Ergebnisse nach Supportart darauf hinweisen, dass situationsspezifisch ver-schiedene Unterstützung mehr oder weniger relevant ist. Für Führungskräfte in diesem Kontext verweisen die Ergebnisse der Arbeit darauf, dass der unterstützende Kontakt mit direkt Untergebenen in Phasen des Wandels wichtig und die Anforderungen breiter als die reine Anweisung dieser Untergebenen sind.
In dubio pro reo
(2022)
Die Kultur der Antike beeinflusst auch heute noch viele unserer Lebensbereiche. Während manche Themen seit jeher größere Beachtung finden – man denke etwa an die Einflüsse der antiken Mythologie auf Motive der modernen Kunst und Literatur –, befinden sich andere unter dem ‚Radar‘ der öffentlichen Wahrnehmung. Eines dieser Gebiete ist die Rechtswissenschaft, deren Wurzeln auf die im antiken Rom gewachsene Jurisprudenz zurückgehen. In der vorliegenden Arbeit wird gezeigt, wie man dieses antike Erbe für den Lateinunterricht fruchtbar machen kann. Mit dem beigefügten Arbeitsheft können Schüler die Entwicklung des römischen Rechts von seinen ersten Ansätzen bis hin zu seiner vollen Entfaltung nachvollziehen. Zudem lesen sie von authentischen Fällen, in denen es um Immobilienschwindel, Ehebruch oder Magie ging, und erkennen Parallelen wie auch Abweichungen von unserem modernen Rechtsverständnis.
Schulpraktika bilden die zentrale Grundlage der Lehrerbildung in Potsdam. Bereits im Potsdamer Modell der Lehrerbildung (1993) sind sie festgehalten, seit der Integration des Schulpraktikums (Praxissemesters) 2008 absolvieren alle Potsdamer Lehramtsstudierenden fünf Pflichtpraktika. Während die Ziele der Praktika klar beschrieben sind, sind die tatsächlichen Lernerfolge nicht immer klar – ebenso wenig, wie die Begleitung der Praktika aussehen muss, um die Studierenden bestmöglich zu unterstützen. Auch die Integration in weitere Lehrveranstaltungen des Studiums ist ein noch offenes Feld, das weiterer Betrachtung verdient. Die unterschiedliche Ausrichtung der Potsdamer Praktika, Perspektivwechsel im Orientierungs-/Integriertem Eingangspraktikum, Selbstreflektion im Praktikum in pädagogisch-psychologischen Handlungsfeldern, Unterricht als Profession in den Fachdidaktischen Tagespraktika, Anwendung von Diagnostik im psychodiagnostischen Praktikum und die Synthese all dessen im Schulpraktikum, bieten dafür zahlreiche Ansatzpunkte.
Schulpraktika sind nicht nur ein zentraler und von Studierenden hoch geschätzter Bestandteil des Studiums, sondern werden auch zunehmend für die Bildungsforschung interessant. Fragen nach der Kompetenzentwicklung, Selbsteinschätzungen und der Entwicklung der Reflexionsfähigkeit von Studierenden stehen dabei ebenso im Fokus wie die Einschätzung der universitären Begleitung und der Einbindung ins weitere Studium.
Der vorliegende Band versammelt Studien von Wissenschaftlerinnen und Wissenschaftler der Universität Potsdam, die die fünf Pflichtpraktika im Lehramtsstudium unter unterschiedlichen Blickwinkel beforschen. Besonders hervorzuheben ist, dass die Wissenschaftlerinnen und Wissenschaftler aus unterschiedlichen Disziplinen stammen und somit die Praktika mit verschiedenen Instrumenten und aus unterschiedlichen Blickwinkeln betrachten. Die präsentierten Ergebnisse bilden eine gute Grundlage, um die Praktika in Potsdam und an anderen Standorten weiterzuentwickeln.
Le Président de la République française, Emmanuel Macron, a prononcé le 26 septembre 2017 dans le grand auditorium de l’Université de la Sorbonne devant un public composé d’étudiants et de responsables politiques un ambitieux discours sur l’Europe. Parmi ses « initiatives pour l’Europe » figure la création d’universités européennes.
L’objectif de cette étude est de mettre en lumière l’héritage et les apports français et allemands dans ce nouveau modèle de partenariat européen en construction. Quel est le rôle joué par le niveau ministériel en France et en Allemagne dans le cadre de la mise en œuvre de l’initiative ? Quel est le degré et quelle est la nature d’intervention des Agences nationales Erasmus dans chacun des deux pays ? Quel est le positionnement de l’Université franco-allemande par rapport à ces nouvelles alliances ainsi que sa contribution ? À partir de trois exemples, à savoir les alliances ECIU, EPICUR et FORTHM, nous illustrons comment la coopération franco-allemande ainsi que les relations transfrontalières développées au sein de réseaux préexistants alimentent ces « réseaux des réseaux ».
Ce mémoire puise ses principales sources de 15 entretiens semi-directifs, menés entre août 2020 et janvier 2021 auprès d’acteurs allemands, français et européens. La richesse de leur expertise nourrit la conclusion dans laquelle nous tentons de mettre en exergue la dimension franco-allemande de cette initiative. Avec un regard franco-allemand, nous proposons un résumé des actuelles forces, opportunités, faiblesses et menaces qui favorisent ou entravent le développement de cette nouvelle initiative.
Der Präsident der französischen Republik, Emmanuel Macron, hielt am 26. September 2017 im großen Hörsaal der Universität Sorbonne vor einem Publikum aus Studenten und Politikern eine ambitionierte Rede zu Europa. Zu seinen "Initiativen für Europa" gehört die Schaffung von Europäischen Hochschulnetzwerken.
Das Ziel dieser Masterarbeit besteht darin, das deutsch-französische Erbe sowie die Beiträge beider Länder in diesen neuen Modellen zu untersuchen :.Welche Rolle spielt die ministerielle Ebene in Frankreich und Deutschland bei der Umsetzung der Initiative? In welchem Umfang und auf welche Art und Weise beteiligen sich die nationalen Erasmus-Agenturen in beiden Ländern ? Welche Position nimmt die Deutsch-Französische Hochschule in Bezug auf diese neuen Allianzen ein und welche Unterstützung bietet sie? Anhand von drei Beispielen, den Allianzen ECIU, EPICUR und FORTHM, wird beschrieben, welche Beiträge die deutsch-französische Zusammenarbeit sowie grenzüberschreitende Kooperationen leisten.
Die Hauptquellen für diese Masterarbeit stellen 15 semidirektive Experteninterviews dar, die zwischen August 2020 und Januar 2021 mit deutschen, französischen und europäischen Akteuren geführt wurden. Der Reichtum ihrer Expertise fließt in die Schlussfolgerung ein, in der wir versuchen, die deutsch-französische Dimension dieser Initiative hervorzuheben. Mit einer deutsch-französischen Perspektive versuchen wir, die Stärken, Chancen, Schwächen und Bedrohungen zusammenzufassen, die die Entwicklung dieser neuen Initiative begünstigen oder behindern.
The President of the French Republic, Emmanuel Macron, gave an ambitious speech on Europe to an audience of students and politicians in the large lecture hall of the Sorbonne University on 26 September 2017. Among his "Initiatives for Europe" is the creation of European University Networks.
The aim of this Master's thesis is to examine the Franco-German heritage and the contributions of both countries in these new models :.What is the role of the ministerial level in France and Germany in the implementation of the initiative? To what extent and in what way do the national Erasmus agencies in both countries participate ? What is the position of the Franco-German University in relation to these new alliances and what support does it offer? Using three examples, the ECIU, EPICUR and FORTHM alliances, the contributions of Franco-German cooperation and cross-border cooperation are described.
The main sources for this Master's thesis are 15 semi-directive expert interviews conducted with German, French and European actors between August 2020 and January 2021. The wealth of their expertise feeds into the conclusion, in which we try to highlight the Franco-German dimension of this initiative. With a Franco-German perspective, we try to summarise the strengths, opportunities, weaknesses and threats that favour or hinder the development of this new initiative.
openHPI
(2022)
Anlässlich des 10-jährigen Jubiläums von openHPI informiert dieser technische Bericht über die HPI-MOOC-Plattform einschließlich ihrer Kernfunktionen, Technologie und Architektur.
In einer Einleitung wird die Plattformfamilie mit allen Partnerplattformen vorgestellt; diese belaufen sich inklusive openHPI aktuell auf neun Plattformen. In diesem Abschnitt wird außerdem gezeigt, wie openHPI als Berater und Forschungspartner in verschiedenen Projekten fungiert.
Im zweiten Kapitel werden die Funktionalitäten und gängigen Kursformate der Plattform präsentiert. Die Funktionalitäten sind in Lerner- und Admin-Funktionen unterteilt. Der Bereich Lernerfunktionen bietet detaillierte Informationen zu Leistungsnachweisen, Kursen und den Lernmaterialien, aus denen sich ein Kurs zusammensetzt: Videos, Texte und Quiz. Darüber hinaus können die Lernmaterialien durch externe Übungstools angereichert werden, die über den Standard Learning Tools Interoperability (LTI) mit der HPI MOOC-Plattform kommunizieren. Das Konzept der Peer-Assessments rundet die möglichen Lernmaterialien ab.
Der Abschnitt geht dann weiter auf das Diskussionsforum ein, das einen grundlegenden Unterschied von MOOCs im Vergleich zu traditionellen E-Learning-Angeboten darstellt. Zum Abschluss des Abschnitts folgen eine Beschreibung von Quiz-Recap, Lernzielen, mobilen Anwendungen, spielerischen Lernens und dem Helpdesk.
Der nächste Teil dieses Kapitels beschäftigt sich mit den Admin-Funktionen. Die Funktionalitätsbeschreibung beschränkt sich Neuigkeiten und Ankündigungen, Dashboards und Statistiken, Berichtsfunktionen, Forschungsoptionen mit A/B-Tests, den Kurs-Feed und das TransPipe-Tool zur Unterstützung beim Erstellen von automatischen oder manuellen Untertiteln. Die Plattform unterstützt außerdem eine Vielzahl zusätzlicher Funktionen, doch eine detaillierte Beschreibung dieser Funktionen würde den Rahmen des Berichts sprengen.
Das Kapitel geht dann auf gängige Kursformate und openHPI-Lehrveranstaltungen am HPI ein, bevor es mit einigen Best Practices für die Gestaltung und Durchführung von Kursen schließt.
Zum Abschluss des technischen Berichts gibt das letzte Kapitel eine Zusammenfassung und einen Ausblick auf die Zukunft der digitalen Bildung.
Ein besonderes Merkmal des openHPI-Projekts ist die bewusste Entscheidung, die komplette Anwendung von den physischen Netzwerkkomponenten bis zur Plattformentwicklung eigenständig zu betreiben. Bei der vorliegenden deutschen Variante handelt es sich um eine gekürzte Übersetzung des technischen Berichts 148, bei der kein Einblick in die Technologien und Architektur von openHPI gegeben wird. Interessierte Leser:innen können im technischen Bericht 148 (vollständige englische Version) detaillierte Informationen zum Rechenzentrum und den Geräten, der Cloud-Software und dem openHPI Cloud Service aber auch zu Infrastruktur-Anwendungskomponenten wie Entwicklungstools, Automatisierung, Deployment-Pipeline und Monitoring erhalten. Außerdem finden sich dort weitere Informationen über den Technologiestack und konkrete Implementierungsdetails der Plattform inklusive der serviceorientierten Ruby on Rails-Anwendung, die Kommunikation zwischen den Diensten, öffentliche APIs, sowie Designsystem und -komponenten. Der Abschnitt schließt mit einer Diskussion über die ursprüngliche Microservice-Architektur und die Migration zu einer monolithischen Anwendung.
openHPI
(2022)
On the occasion of the 10th openHPI anniversary, this technical report provides information about the HPI MOOC platform, including its core features, technology, and architecture.
In an introduction, the platform family with all partner platforms is presented; these now amount to nine platforms, including openHPI. This section introduces openHPI as an advisor and research partner in various projects.
In the second chapter, the functionalities and common course formats of the platform are presented. The functionalities are divided into learner and admin features. The learner features section provides detailed information about performance records, courses, and the learning materials of which a course is composed: videos, texts, and quizzes. In addition, the learning materials can be enriched by adding external exercise tools that communicate with the HPI MOOC platform via the Learning Tools Interoperability (LTI) standard. Furthermore, the concept of peer assessments completed the possible learning materials.
The section then proceeds with further information on the discussion forum, a fundamental concept of MOOCs compared to traditional e-learning offers. The section is concluded with a description of the quiz recap, learning objectives, mobile applications, gameful learning, and the help desk.
The next part of this chapter deals with the admin features. The described functionality is restricted to describing the news and announcements, dashboards and statistics, reporting capabilities, research options with A/B testing, the course feed, and the TransPipe tool to support the process of creating automated or manual subtitles. The platform supports a large variety of additional features, but a detailed description of these features goes beyond the scope of this report.
The chapter then elaborates on common course formats and openHPI teaching activities at the HPI. The chapter concludes with some best practices for course design and delivery.
The third chapter provides insights into the technology and architecture behind openHPI. A special characteristic of the openHPI project is the conscious decision to operate the complete application from bare metal to platform development. Hence, the chapter starts with a section about the openHPI Cloud, including detailed information about the data center and devices, the used cloud software OpenStack and Ceph, as well as the openHPI Cloud Service provided for the HPI.
Afterward, a section on the application technology stack and development tooling describes the application infrastructure components, the used automation, the deployment pipeline, and the tools used for monitoring and alerting. The chapter is concluded with detailed information about the technology stack and concrete platform implementation details. The section describes the service-oriented Ruby on Rails application, inter-service communication, and public APIs. It also provides more information on the design system and components used in the application. The section concludes with a discussion of the original microservice architecture, where we share our insights and reasoning for migrating back to a monolithic application.
The last chapter provides a summary and an outlook on the future of digital education.
Giros Topográficos
(2022)
Giros topográficos explora las producciones simbólicas del espacio en una serie de textos narrativos publicados desde el cambio de milenio en América Latina. Retomando los planteos teóricos del spatial turn y de la geocrítica, el estudio aborda las topografías literarias desde cuatro ángulos que exceden y transforman los límites territoriales y nacionales: dinámicas de hiperconectividad mediática y movilidad acelerada; genealogías afectivas; ecologías urbanas; y representaciones de la alteridad.
A partir del análisis de obras de Lina Meruane, Guillermo Fadanelli, Andrés Neuman, Andrea Jeftanovic, Sergio Chejfech y Bernardo Carvalho, entre otros, el libro señala los flujos, ambigüedades y tensiones proyectadas por las nuevas comunidades imaginadas del s.XXI. Con ello, el ensayo busca ofrecer un aporte para repensar el estatus de la literatura latinoamericana en el marco de su globalización avanzada y la consecuente consolidación de espacios de enunciación translocalizados.
Kaum einem anderen Unterrichtsfach ist das Fachübergreifende so immanent wie dem Fach Musik, das durch seine Themen- und Inhaltsfelder vielfältige Bezüge zu anderen Fächern und Wissenschaftsdisziplinen aufweist. Dennoch lässt sich bezüglich der Literatur- und Forschungslage konstatieren, dass zwar theoretische Ansätze und Modelle für einen fachübergreifenden Musikunterricht existieren, sich die musikpädagogische Forschung jedoch mit dem fachübergreifenden Musikunterricht und dessen Umsetzung durch die Musiklehrkräfte noch nicht befasst hat. Auch die Zahl der praxisbezogenen Publikationen für einen fachübergreifenden Musikunterricht ist überschaubar, ebenso das Fortbildungsangebot für Musiklehrende.
Aus diesem Grund widmet sich der vorliegende Band 9 der „Potsdamer Schriftenreihe zur Musikpädagogik“ dem Thema „Fachübergreifender Musikunterricht“ aus verschiedenen Perspektiven. Zum einen bilden die derzeit aktuellen theoretischen Grundlagen eine wichtige Basis. Zum anderen fließen auch ausbildungsrelevante und methodische Aspekte zur Umsetzung eines fachübergreifenden Musikunterrichts in die Texte ein. In bewährter Tradition der Schriftenreihe werden dabei sowohl Beiträge von Lehrenden am Lehrstuhl für Musikpädagogik und Musikdidaktik der Universität Potsdam als auch von Studierenden sowie von Kooperationspartnern des Lehrstuhls in der Musiklehrer*innenbildung berücksichtigt. Ziel ist es, auf der Basis verschiedener theoretischer Ansätze Umsetzungsmöglichkeiten eines fachübergreifenden Musikunterrichts als Beitrag zum Erreichen der im Teil B des Rahmenlehrplans für Berlin und Brandenburg angeführten fachübergreifenden Kompetenzziele aufzuzeigen.
Scrollytellings are an innovative form of web content. Combining the benefits of books, images, movies, and video games, they are a tool to tell compelling stories and provide excellent learning opportunities. Due to their multi-modality, creating high-quality scrollytellings is not an easy task. Different professions, such as content designers, graphics designers, and developers, need to collaborate to get the best out of the possibilities the scrollytelling format provides. Collaboration unlocks great potential. However, content designers cannot create scrollytellings directly and always need to consult with developers to implement their vision. This can result in misunderstandings. Often, the resulting scrollytelling will not match the designer’s vision sufficiently, causing unnecessary iterations. Our project partner Typeshift specializes in the creation of individualized scrollytellings for their clients. Examined existing solutions for authoring interactive content are not optimally suited for creating highly customized scrollytellings while still being able to manipulate all their elements programmatically. Based on their experience and expertise, we developed an editor to author scrollytellings in the lively.next live-programming environment. In this environment, a graphical user interface for content design is combined with powerful possibilities for programming behavior with the morphic system. The editor allows content designers to take on large parts of the creation process of scrollytellings on their own, such as creating the visible elements, animating content, and fine-tuning the scrollytelling. Hence, developers can focus on interactive elements such as simulations and games. Together with Typeshift, we evaluated the tool by recreating an existing scrollytelling and identified possible future enhancements. Our editor streamlines the creation process of scrollytellings. Content designers and developers can now both work on the same scrollytelling. Due to the editor inside of the lively.next environment, they can both work with a set of tools familiar to them and their traits. Thus, we mitigate unnecessary iterations and misunderstandings by enabling content designers to realize large parts of their vision of a scrollytelling on their own. Developers can add advanced and individual behavior. Thus, developers and content designers benefit from a clearer distribution of tasks while keeping the benefits of collaboration.
In den vergangenen Jahren hat der im anglo-amerikanischen Rechtsraum wurzelnde Amicus Curiae, wenn auch in unterschiedlicher Ausprägung, Eingang in die Verwaltungsgerichtsbarkeiten in Deutschland und Frankreich gefunden. Dabei erweist sich die französische Verwaltungsgerichtsordnung aus rechtsvergleichender Sicht als progressiv, da das Verfahrensinstrument hier – im Gegensatz zur deutschen Rechtslage – bereits positiv-rechtlich normiert ist. Diese Fortschrittlichkeit hat sich bisher jedoch nicht merklich auf die Drittinterventionspraxis niedergeschlagen, besitzen Amicus Curiae-Stellungnahmen doch in beiden Ländern und über alle verwaltungsgerichtlichen Instanzen hinweg noch immer Seltenheitswert.
Da mithin keine Generalisierungen zur dieser Rechtspraxis erlaubt sind, kann sich eine Analyse der möglichen funktionalen Rolle derartiger Amicus Curiae-Stellungnahmen nur auf theoretische Überlegungen stützen. Danach ist eine Informationsfunktion gegenüber dem Gericht in Bezug auf Tatsachen- und Rechtsfragen klar zu bejahen. Auch dürfte der Verfahrensmechanismus ein zusätzliches – wenngleich nicht demokratisches – Legitimationspotential für gerichtliche Entscheidungen besitzen: Indem dieser gesellschaftliche Teilhabe und damit gleichzeitig die Einbettung verwaltungsgerichtlicher Verfahren in den jeweiligen sozialen Kontext ermöglicht, kann er zur Steigerung der gesellschaftlichen Akzeptanz der zunehmend unter Rechtsfertigungsdruck geratenden Richtermacht beitragen.
Für projektorientierten Unterricht im Schulfach Wirtschaft, Arbeit, Technik ist die Auswahl an praxisorientierten Materialien übersichtlich. Umso erfreulicher ist es, dass Frau Sonja Halboth und Herr Tobias Hoffmann mit Schüler*innen ein Lichtmorsegerät im Rahmen projektorientierten Unterrichts angefertigt haben. Die vorliegende Arbeit gibt sowohl einen guten Überblick in die Möglichkeiten projektorientierten Unterrichts und dessen Bewertung als auch eine Menge praktischer Tipps & Materialien, um projektorientierten Unterricht durchzuführen.
Dieses Papier thematisiert die völkerstrafrechtliche Einordnung rein störender, also nicht zerstörender Cyberoperationen. Nach der erforderlichen Begriffsklärung werden die einzelnen Fragen der Anwendbarkeit des Völkerstrafrechts erörtert und geprüft, welche Tatbestände durch solche Aktionen verwirklicht werden können.
This paper examines the function that cross-cultural competence (3C) has for NATO in a military context while focusing on two member states and their armed forces: the United States and Germany. Three dimensions were established to analyze 3C internally and externally: dimension A, dealing with 3C within the military organization; dimension B, focusing on 3C in a coalition environment/multicultural NATO contingent, for example while on a mission/training exercise abroad; and dimension C, covering 3C and NATO missions abroad with regard to interaction with the local population.
When developing the research design, the cultural studies-based theory of hegemony constructed by Antonio Gramsci was applied to a comprehensive document analysis of 3C coursework and regulations as well as official documents in order to establish a typification for cross-cultural competence.
As the result, 3C could be categorized as Type I – Ethical 3C, Type II – Hegemonic 3C, and Type III – Dominant 3C. Attributes were assigned according to each type. To validate the established typification, qualitative surveys were conducted with NATO (ACT), the U.S. Armed Forces (USCENTCOM), and the German Armed Forces (BMVg). These interviews validated the typification and revealed a varied approach to 3C in the established dimensions. It became evident that dimensions A and B indicated a prevalence of Type III, which greatly impacts the work atmosphere and effectiveness for NATO (ACT). In contrast, dimension C revealed the use of postcolonial mechanisms by NATO forces, such as applying one’s value systems to other cultures and having the appearance of an occupying force when 3C is not applied (Type I-II). In general, the function of each 3C type in the various dimensions could be determined.
In addition, a comparative study of the document analysis and the qualitative surveys resulted in a canon for culture-general skills. Regarding the determined lack of coherence in 3C correlating with a demonstrably negative impact on effectiveness and efficiency as well as interoperability, a NATO standard in the form of a standardization agreement (STANAG) was suggested based on the aforementioned findings, with a focus on: empathy, cross-cultural awareness, communication skills (including active listening), flexibility and adaptability, and interest. Moreover, tolerance of ambiguity and teachability, patience, observation skills, and perspective-taking could be considered significant. Suspending judgment and respect are also relevant skills here.
At the same time, the document analysis also revealed a lack of coherency and consistency in 3C education and interorganizational alignment. In particular, the documents examined for the U.S. Forces indicated divergent approaches. Furthermore, the interview analysis disclosed a large discrepancy in part between doctrine and actual implementation with regard to the NATO Forces.
Die vorliegende Bachelorarbeit beschäftigt sich mit dem Einfluss von Digitalisierung auf die öffentliche Verwaltung in Deutschland. Den konkreten Untersuchungsschwerpunkt bilden organisationale Routinen. Die Arbeit gibt einen konzeptionellen Überblick über die Begriffe Digitalisierung und organisationale Routinen und leitet daraus Arbeitsdefinitionen ab. Der theoretisch dargelegte Zusammenhang zwischen den beiden Phänomenen wird im Rahmen von drei teilstrukturierten Interviews mit Mitarbeitenden aus unterschiedlichen öffentlichen Verwaltungen untersucht. Die herausgearbeiteten Definitionen wurden den Interviewten vorgestellt und durch ein Repertoire an Fragen die Wahrnehmung des Digitalisierungsstandes i.V.m. Routinen abgefragt.
Die Ergebnisse zeigen, dass digitaler Wandel und Routinen in jedem der interviewten Fachbereiche zumindest unterbewusst wahrgenommen wird. Digitalisierung und organisationale Routinen stehen in Wechselwirkung zueinander, da die wiederholte routinierte Ausführung von Tätigkeiten die Implementierung von Digitalisierung begünstigt. Darüber hinaus führt digitaler Wandel zur Veränderung von Routinen, welche mit einem anfänglichen Mehraufwand verbunden ist. Störungen bei der Implementierung von Digitalisierung bringen eine Starrheit von Routinen mit sich u.A. durch eine fehlende Bereitschaft der Mitarbeitenden. Die grundlegend bestehende Wechselwirkung ist ausschlaggebend für die Schnittstellen zwischen Digitalisierung und organisationalen Routinen in der öffentlichen Verwaltung.
-Karin Reich, Elena Roussanova: Der 2019 wiederaufgefundene Brief von Gauß an Humboldt vom 17. August 1832 im Umfeld der Erforschung des Magnetismus und des Erdmagnetismus
-Dagmar Hülsenberg: Anwendung naturwissenschaftlicher und kameralistischer Erkenntnisse auf die Verarbeitung von Rohstoffen durch den jungen Alexander von Humboldt
-Peter Korneffel: Alexander von Humboldt postfrisch: Die Rezeption des deutschen Naturforschers in der weltweiten Philatelie
-Jie-Oun Lee: Erzählstrategien eines transdisziplinären Naturforschers
-Eberhard Schulz-Lüpertz: Alexander von Humboldt und Ulrich Jasper Seetzen – Auf den Spuren eines Helgoland-Briefs
-Ulrich Stottmeister: Der Mineraloge August Schmidt und die Entdeckung der Ural-Diamanten 1829 Teil II: Schmidts wissenschaftlicher Diamanten-Beweis und sein weiteres Schicksal im Ural
-Petra Werner: Ernste Kunst kann nicht gedeihen ohne Gunst. Mäzene und Unterstützer des Malers Albert Berg (1825 – 1884)
-Frank Holl: Hinweis zum Beitrag von Irene Prüfer Leske in HiN, Bd. 22, Nr. 43 (2021)
Der vorliegende Abschlussbericht umfasst die Ergebnisse der wissenschaftlichen Evaluation der Werkstatt „Schule leiten“. Bei dieser Werkstatt handelt es sich um ein 18-monatiges Fortbildungsangebot für Schulleitungen, das durch die Deutsche Schulakademie konzipiert und in Kooperation mit dem saarländischen Kultusministerium für Bildung und Kultur sowie dem saarländischen Landesinstitut für Pädagogik und Medien durchgeführt wurde. Im Zeitraum 2016–2020 absolvierten jeweils zwei Personen des Schulleitungsteams allgemeinbildender Schulen erstmalig in insgesamt drei Durchgängen verschiedene Angebote der Werkstatt. Weiterhin erhielten die Teilnehmenden die Aufgaben, im Zuge ihres Fortbildungsbesuches ein individuelles Schulentwicklungsprojekt zu planen, zu entwickeln und unter Anleitung der Werkstatt in der Schule zu implementieren. Zur Überprüfung der wahrgenommenen Qualität sowie der Wirksamkeit des Fortbildungsangebotes wurde die Universität Potsdam, Arbeitsbereich Prof. Dr. Dirk Richter, beauftragt. Der vorliegende Bericht präsentiert die Evaluationsergebnisse der Durchgänge 2 und 3.
Im Zentrum der Evaluation stehen die folgenden Forschungsfragen: (1) Wie beurteilen die Teilnehmenden die Qualität der Werkstatt „Schule leiten“? (2) Inwiefern hat die Werkstatt „Schule leiten“ dazu beigetragen, die Leitungskompetenzen (u.a. Einstellungen und Führungshandeln) der Teilnehmenden zu stärken? sowie (3) Wie haben sich schulische Strukturen und Prozesse zur Förderung von Schulentwicklung in den teilnehmenden Schulen durch die Werkstatt „Schule leiten“ verändert? Zur Beantwortung der Fragestellungen wurden eine Reihe schriftlicher Befragungen mit den teilnehmenden Schulleitungen sowie den Lehrkräften der teilnehmenden Schulen durchgeführt. Diese Befragungen erfolgten sowohl begleitend zum Fortbildungsprogramm (nach Absolvieren der einzelnen Angebote) sowie in einem Prä-Post-Follow-Up-Design. Weiterhin wurden im Rahmen einer qualitativen Begleitstudie verschiedene Personen (Schulleitung, Mitglieder des Schulleitungsteams, Lehrkräfte) von insgesamt fünf Schulen über drei Zeitpunkte dazu befragt, wie die Planung, Entwicklung und Implementation der Schulentwicklungsprojekte erfolgten.
Die Befunde der Evaluation deuten insgesamt darauf hin, dass die Qualität der Werkstatt „Schule leiten“ als Gesamtprogramm sowie die einzelnen Angebote der Werkstatt sehr positiv bewertet werden. Dabei nehmen die Teilnehmenden von Durchgang 2 die Werkstatt in einer Reihe von Merkmalen positiver wahr als die Teilnehmenden von Durchgang 3. Weiterhin deuten die Ergebnisse darauf hin, dass sich bestimmte Facetten des Führungshandelns der Teilnehmenden im zeitlichen Verlauf positiv verändert haben. Hierfür existieren Hinweise sowohl aus Perspektive der Teilnehmenden selbst als auch aus Perspektive der Lehrkräfte ihrer Schulen. Motivationale Merkmale der Teilnehmenden sowie Aspekte des Führungshandelns, die sich auf Tätigkeiten zur Unterstützung der innerschulischen Kooperation beziehen, bleiben aus Perspektive der Teilnehmenden hingegen weitestgehend konstant. Hinsichtlich der Veränderungen schulischer Strukturen zur Schulentwicklung deuten die Ergebnisse auf eine positive Entwicklung der wahrgenommenen Offenheit gegenüber Kooperation im Kollegium aus Perspektive der Lehrkräfte hin. Die Befunde der qualitativen Begleitstudie liefern weitere Informationen über die wahrgenommene Qualität der Werkstatt sowie über Veränderungen aufseiten der Teilnehmenden und der schulischen Strukturen.
Das vorliegende Material soll dazu dienen, Schülern, die sich in unserem Gesundheitssystem kaum Sorgen um ihre Versorgung im Krankheitsfall machen müssen, im Lateinunterricht eine Kultur nahe zu bringen, in der die Arztpraxis ein paar Straßen weiter keine Selbstverständlichkeit war. Angesichts der geringen Zahl an Lektüreheften, die sich mit dem Thema "Medizin in der Antike" befassen, wird letzteres in dieser Arbeit für den Einsatz in der Schule neu aufgearbeitet. Das Konzept des Materials sieht vor, dass es unverändert im Rahmen einer Unterrichtssequenz eingesetzt werden kann. Doch auch die unabhängige Verwendung einzelner Kapitel ist problemlos möglich.
Language developers who design domain-specific languages or new language features need a way to make fast changes to language definitions. Those fast changes require immediate feedback. Also, it should be possible to parse the developed languages quickly to handle extensive sets of code.
Parsing expression grammars provides an easy to understand method for language definitions. Packrat parsing is a method to parse grammars of this kind, but this method is unable to handle left-recursion properly. Existing solutions either partially rewrite left-recursive rules and partly forbid them, or use complex extensions to packrat parsing that are hard to understand and cost-intensive. We investigated methods to make parsing as fast as possible, using easy to follow algorithms while not losing the ability to make fast changes to grammars.
We focused our efforts on two approaches.
One is to start from an existing technique for limited left-recursion rewriting and enhance it to work for general left-recursive grammars. The second approach is to design a grammar compilation process to find left-recursion before parsing, and in this way, reduce computational costs wherever possible and generate ready to use parser classes.
Rewriting parsing expression grammars is a task that, if done in a general way, unveils a large number of cases such that any rewriting algorithm surpasses the complexity of other left-recursive parsing algorithms. Lookahead operators introduce this complexity. However, most languages have only little portions that are left-recursive and in virtually all cases, have no indirect or hidden left-recursion. This means that the distinction of left-recursive parts of grammars from components that are non-left-recursive holds great improvement potential for existing parsers.
In this report, we list all the required steps for grammar rewriting to handle left-recursion, including grammar analysis, grammar rewriting itself, and syntax tree restructuring. Also, we describe the implementation of a parsing expression grammar framework in Squeak/Smalltalk and the possible interactions with the already existing parser Ohm/S. We quantitatively benchmarked this framework directing our focus on parsing time and the ability to use it in a live programming context. Compared with Ohm, we achieved massive parsing time improvements while preserving the ability to use our parser it as a live programming tool.
The work is essential because, for one, we outlined the difficulties and complexity that come with grammar rewriting. Also, we removed the existing limitations that came with left-recursion by eliminating them before parsing.
Durch den demographischen Wandel wird das Erwerbspersonenpotential und damit die Anzahl erwerbstätiger Personen, insbesondere die Zahl der Fachkräfte in den kommen-den Jahren in Deutschland zurückgehen. Aufgrund dessen wird es für Arbeitgeber zukünftig schwieriger werden, qualifizierten Nachwuchs zu finden. Aufgrund seiner Alterstruktur und der zunehmenden Arbeitsverdichtung ist der öffentliche Dienst, sowie der Teilbereich der öffentlichen Verwaltung, stärker als andere Arbeitgeber mit der Notwendigkeit konfrontiert, mittelfristig externes Personal zu rekrutieren. In Anbetracht dessen ging die Arbeit der Frage nach, inwieweit die öffentliche Verwaltung das hierfür geeignete, innovative Instrument des Social - Media - Personalmarketings bereits imple-mentiert hat und wie sich das ermittelte Ergebnis erklären lässt. Hinsichtlich der aktuellen Anwendung konnte festgestellt werden, dass Social - Media - Personalmarketing erst vor Kurzem in der öffentlichen Verwaltung implementiert wurde und aufgrund dessen gegenwärtig primär zur operativen Personalgewinnung genutzt wird. Als erklärende Einflussfaktoren konnten im Rahmen einer empirischen Untersuchung die mangelnde Relevanz des Personalmarketings als Aufgabe der öffentlichen Verwaltung, der aktuelle Per-sonalbestand und dessen digitale Kompetenzen, sowie die hierarchisch geprägten Kommunikationswege innerhalb der öffentlichen Verwaltung ermittelt werden. Mit Ausnahme der Kommunikationswege decken die Faktoren sich mit denen der Privatwirtschaft. Die öffentliche Verwaltung ist dazu angehalten, den aktuellen Ausprägungsgrad der Amtshierarchie kritisch zu hinterfragen, um das volle Potential des Social - Media - Personalmarketings zukünftig zu heben.
Vom Bolschoi nach Sanssouci
(2022)
These days design thinking is no longer a “new approach”. Among practitioners, as well as academics, interest in the topic has gathered pace over the last two decades. However, opinions are divided over the longevity of the phenomenon: whether design thinking is merely “old wine in new bottles,” a passing trend, or still evolving as it is being spread to an increasing number of organizations and industries. Despite its growing relevance and the diffusion of design thinking, knowledge on the actual status quo in organizations remains scarce. With a new study, the research team of Prof. Uebernickel and Stefanie Gerken investigates temporal developments and changes in design thinking practices in organizations over the past six years comparing the results of the 2015 “Parts without a whole” study with current practices and future developments. Companies of all sizes and from different parts of the world participated in the survey. The findings from qualitative interviews with experts, i.e., people who have years of knowledge with design thinking, were cross-checked with the results from an exploratory analysis of the survey data. This analysis uncovers significant variances and similarities in how design thinking is interpreted and applied in businesses.
»Plus outre« – immer weiter
(2022)
In der hier vorgestellten Unterrichtssequenz wird eine ausgewählte Textpassage aus Caesars Bellum Gallicum unter Einbeziehung möglichst vieler Textteile aus dem Original analysiert. Das Konzept der Fokalisierung bereitet die Schüler auf die Einnahme einer distanzierten und differenzierten Perspektive vor und fordert sie zu einer kritischen Auseinandersetzung mit dem Text auf. Mittels der Übernahme verschiedener »Rollen« werden sie motiviert, individuelle Aufgaben zu erfüllen, sich in die Lage anderer Akteure hineinzuversetzen, aber auch Kommunikationsabläufe und -barrieren zu berücksichtigen, die für den Umgang mit dem Text von Bedeutung sind.
Digitale Medien sind aus unserem Alltag kaum noch wegzudenken. Einer der zentralsten Bereiche für unsere Gesellschaft, die schulische Bildung, darf hier nicht hintanstehen. Wann immer der Einsatz digital unterstützter Tools pädagogisch sinnvoll ist, muss dieser in einem sicheren Rahmen ermöglicht werden können. Die HPI Schul-Cloud ist dieser Vision gefolgt, die vom Nationalen IT-Gipfel 2016 angestoßen wurde und dem Bericht vorangestellt ist – gefolgt. Sie hat sich in den vergangenen fünf Jahren vom Pilotprojekt zur unverzichtbaren IT-Infrastruktur für zahlreiche Schulen entwickelt. Während der Corona-Pandemie hat sie für viele Tausend Schulen wichtige Unterstützung bei der Umsetzung ihres Bildungsauftrags geboten. Das Ziel, eine zukunftssichere und datenschutzkonforme Infrastruktur zur digitalen Unterstützung des Unterrichts zur Verfügung zu stellen, hat sie damit mehr als erreicht. Aktuell greifen rund 1,4 Millionen Lehrkräfte und Schülerinnen und Schüler bundesweit und an den deutschen Auslandsschulen auf die HPI Schul-Cloud zu.
The analysis of behavioral models is of high importance for cyber-physical systems, as the systems often encompass complex behavior based on e.g. concurrent components with mutual exclusion or probabilistic failures on demand. The rule-based formalism of probabilistic timed graph transformation systems is a suitable choice when the models representing states of the system can be understood as graphs and timed and probabilistic behavior is important. However, model checking PTGTSs is limited to systems with rather small state spaces.
We present an approach for the analysis of large scale systems modeled as probabilistic timed graph transformation systems by systematically decomposing their state spaces into manageable fragments. To obtain qualitative and quantitative analysis results for a large scale system, we verify that results obtained for its fragments serve as overapproximations for the corresponding results of the large scale system. Hence, our approach allows for the detection of violations of qualitative and quantitative safety properties for the large scale system under analysis. We consider a running example in which we model shuttles driving on tracks of a large scale topology and for which we verify that shuttles never collide and are unlikely to execute emergency brakes. In our evaluation, we apply an implementation of our approach to the running example.