Dieses Papier berichtet über Arbeiten im Rahmen des Projektes SAMS, in welchem eine Fahrwegsicherungskomponente für Serviceroboter und fahrerlose Transportsysteme entwickelt und ihre Software nach IEC 61508 zertifiziert wird. Neu ist hierbei der durchgehende Einsatz formaler Modellierung und Beweis als Mittel zur Zertifizierung, das es uns erlaubt, die erforderlichen Sicherheitsbedingungen sehr...

In diesem Beitrag dokumentieren wir eine Studie über den Einsatz von Tablets. Über mehrere Wochen wurde auf einer 9ten, 11ten und 12ten Klasse in verschiedenen Fächern ausschließlich mit iPads und interaktiven iBooks gearbeitet. Genauer ging es darum, zu untersuchen, in wie fern und mit welchem Arbeitsaufwand, interaktive Inhalte für unterschiedliche Fächer erstellt werden können und welches de...

Tester stehen oft vor der Aufgabe, Testfälle aus textuellen Anforderungsdokumenten zu erstellen. In der Regel sind diese natürlichsprachlichen Anforderungen nicht formal genug, um daraus automatisch Testfälle zu generieren. In diesem Papier stellen wir ein Werkzeug vor, mit welchem textuelle Anwendungsfallbeschreibungen interaktiv aufbereitet werden können, so dass die anschließende automatisie...