A Model Checkable UML Soccer Player

International audienceThis paper presents a UML implementation of the MDETools’19 challenge problem with EMI (our Embedded/Experimental Model Interpreter). EMI is a model interpreter that can be used to execute, simulate, and formally verify UML models on host or embedded targets. The tool’s main specificity relies on a single implementation of the language semantics such that consistency is ensured between all development phases:from design to verification and execution activities. Using this approach, we have succeeded in (i) designing a UML model for the challenge problem, (ii) applying formal verification using model-checking on the design model, and (iii) executing this model in order to participate in the challenge

Forschungsbericht Universität Mannheim 2006 / 2007

Sie erhalten darin zum einen zusammenfassende Darstellungen zu den Forschungsschwerpunkten und Forschungsprofilen der Universität und deren Entwicklung in der Forschung. Zum anderen gibt der Forschungsbericht einen Überblick über die Publikationen und Forschungsprojekte der Lehrstühle, Professuren und zentralen Forschungseinrichtungen. Diese werden ergänzt um Angaben zur Organisation von Forschungsveranstaltungen, der Mitwirkung in Forschungsausschüssen, einer Übersicht zu den für Forschungszwecke eingeworbenen Drittmitteln, zu den Promotionen und Habilitationen, zu Preisen und Ehrungen und zu Förderern der Universität Mannheim. Darin zeigt sich die Bandbreite und Vielseitigkeit der Forschungsaktivitäten und deren Erfolg auf nationaler und internationaler Ebene