Papers by mareike schmidt
Massive Open Online Courses, sogenannte MOOCs, stellen eine innovative Form des Online-Lernens da... more Massive Open Online Courses, sogenannte MOOCs, stellen eine innovative Form des Online-Lernens dar, in der Kurse zu umfassenden Themenkomplexen einer potenziell sehr großen Gruppe von Lernern frei im Internet zur Verfügung gestellt werden. MOOCs werden typischerweise in einer Lerncommunity, oftmals fachlich begleitet durch Experten, kollaborativ durchgeführt. In dieser Arbeit berichten wir über die Zielsetzung sowie gesammelte Erfahrungen bei der Umsetzung einer flexibel erweiterbaren MOOC Software Suite. Diese liegt dem offenen MOOC Portal OpenCourseWorld zugrunde, welches Lernern qualitativ hochwertige Kurse in einer Vielzahl von Domänen-von IT bis Betriebswirtschaft-frei zur Verfügung stellt. Das Papier geht dabei auf die Ziele, Funktionalität und Implementierungsaspekte der MOOC Suite selbst ein und erläutert den Anwendungsfall OpenCourseWorld sowie den dazugehörigen Prozess der Erstellung von Kursen. Darüber hinaus werden zugrunde liegende Geschäftsmodelle, wie z. B. mögliche Einsatzmöglichkeiten der Plattform im Unternehmensumfeld, skizziert und geplante Weiterentwicklungen sowie Anwendungspotenziale der Plattform im Rahmen diverser Innovationsprojekte vorgestellt.
2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009
In the modern car, electronic devices are even employed for safety-critical missions like brake c... more In the modern car, electronic devices are even employed for safety-critical missions like brake control, where failures might cost human lives. Among various approaches to increase the reliability of those devices, pervasive formal verification most securely rules out all systematic failures. The main target of the Verisoft project is the development of technology for pervasive verification. Its application has been demonstrated in the automotive context by an exemplary distributed system consisting of hardware, a real-time operating system, and application programs. The contribution of this paper is a formal refinement proof linking an abstract specification of this real-time operating system to its C implementation.
Lecture Notes in Computer Science, 2008
Though the verification of operating systems is an active research field, a verification method i... more Though the verification of operating systems is an active research field, a verification method is still missing that provides both, the proximity to practically used programming languages such as C and a realistic model of concurrency, i. e., a model that copes with the granularity of atomic operations actually used in a target machine. Our approach serves as the foundation for the verification of concurrent programs in C0-a C fragment enriched by kernel communication primitives-in a Hoare-Logic. C0 is compiled by a verified compiler into assembly code representing a cooperative concurrent transition system. For the latter, it is shown that it can actually be executed in a true concurrent way reflecting the C0 semantics.
Lecture Notes in Computer Science, 2012
ABSTRACT The expected large-scale introduction of electric vehicles creates a need for up-to-date... more ABSTRACT The expected large-scale introduction of electric vehicles creates a need for up-to-date and just-in-time available learning materials and tools. In this paper we demonstrate how a set of web-based and mobile learning and collaboration services support situated learning for e-Mobility and similar domains. The approach is currently developed within the MEMO project.
... Dissertation zur Erlangung des Grades der Doktorin der Ingenieurwissenschaften (Dr.-Ing.) der... more ... Dissertation zur Erlangung des Grades der Doktorin der Ingenieurwissenschaften (Dr.-Ing.) der Naturwissenschaftlich-Technischen Fakultäten der Universität des Saarlandes Mareike Schmidt [email protected] Saarbrücken, 14. April 2011 Page 2. Page 3. ...
Verified Software: Theories, …, 2008
Though the verification of operating systems is an active research field, a verification method i... more Though the verification of operating systems is an active research field, a verification method is still missing that provides both, the proximity to practically used programming languages such as C and a realistic model of concurrency, i.e. a model that copes with the granularity of atomic operations actually used in a target machine. Our approach serves as the foundation for
Conference on Software Engineering and Formal Methods, 2009
Abstract—In the modern car, electronic devices are even employed for safety-critical missions lik... more Abstract—In the modern car, electronic devices are even employed for safety-critical missions like brake control, where failures might cost human,lives. Among,various approaches,to increase the reliability of those devices, pervasive formal verifi- cation most securely rules out all systematic failures. The main target of the Verisoft project is the development,of technology for pervasive,verification. Its application,has,been,demon- strated in the automotive,context by an
Integrated Formal Methods, 2010
Though program verification is known and has been used for decades, the verification of a complet... more Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the interaction of applica- tion programs with the operating system, which is usually entrusted with retrieving input data from and transferring output data to periph- eral devices. In this scenario, the correct
Uploads
Papers by mareike schmidt