Today we see an increasing demand for flash memory because it has certain advantages like resistance against kinetic shock. However, reliable data storage also requires a specialized file system knowing and handling the limitations of flash memory. This paper develops a formal, abstract model for the UBIFS flash file system, which has recently been included in the Linux kernel. We develop formal specifications for the core components of the file system: the inode-based file store, the flash index, its cached copy in the RAM and the journal to save the differences. Based on these data structures we give an abstract specification of the interface operations of UBIFS and prove some of the most important properties using the interactive verification system KIV.

During the last two decades, software development has evolved continuously into an engineering discipline with systematic use of methods and tools to model and implement software. For example, object-oriented analysis and design is structuring software models according to real-life objects of the problem domain and their relations. However, the industrial robotics domain is still dominated by old-style, imperative robot programming languages, making software development difficult and expensive. For this reason, we introduce the object-oriented Robotics Application Programming Interface (Robotics API) for developing software for industrial robotic applications. The Robotics API offers an abstract, extensible domain model and provides common functionality, which can be easily used by application developers. The advantages of the Robotics API are illustrated with an application example.

Recently, the need for safe human-robotinteraction has become increasingly important, and with it the requirement to reliably detect persons in the workspace of a robot. Capacitive sensors mounted to the robot structure can be used to measure the presence of conductive objects and, hence, allow the detection of persons. However, various objects in the workspace can influence capacitive sensor measurements. Thus, we propose to record an environment model containing the expected sensor values for relevant robot poses. Using this model, distance estimation and real-time reaction can be performed even in the presence of additional conductive objects in the workspace. A demonstration of our approach was shown at the Hannover Messe 2015.

Multi-agent systems can be a viable choice for realizing self-organizing systems consisting of reconfigurable software components. We present a real-world system consisting of heterogeneous air and ground robots whose behavior and coordination is orchestrated by a MAS in a decentralized manner. The system is able to cooperatively transport largescale measuring equipment and is used for environmental observation, such as in-situ measuring of temperature.