Peter Herrmann
YOU?
Author Swipe
View article: Spatio-Temporal Analysis of Concurrent Networks
Spatio-Temporal Analysis of Concurrent Networks Open
Many very large-scale systems are networks of cyber-physical systems in which humans and autonomous software agents cooperate. To make the cooperation safe for the humans involved, the systems have to follow protocols with rigid real-time …
View article: Transforming Collaborative Service Specifications into Efficiently Executable State Machines
Transforming Collaborative Service Specifications into Efficiently Executable State Machines Open
We describe an algorithm to transform UML 2.0 activities into state machines. The implementation of this algorithm is an integral part of our tool-supported engineering approach for the design of interactive services, in which we compose s…
View article: 15th System Analysis and Modelling Conference (SAM 2023)
15th System Analysis and Modelling Conference (SAM 2023) Open
SAM is the yearly event of the SDL Forum Society and provides a global arena for participants from academia and industry to present and discuss the most recent innovations, trends, experiences and concerns in modeling, specification, analy…
View article: Determination of the healing corridor of patients with knee arthroplasty by a motor-powered rollator
Determination of the healing corridor of patients with knee arthroplasty by a motor-powered rollator Open
390
View article: ATARAXIS: A Deep Learning Approach for Hardwareless In-Vehicle Presence Detection
ATARAXIS: A Deep Learning Approach for Hardwareless In-Vehicle Presence Detection Open
Accurately detecting the mobile contexts, in which public transport vehicles and their passengers operate, is key for future intelligent context-aware services in transportation systems. A prominent example is in-vehicle presence detection…
View article: DeepMatch2: A comprehensive deep learning-based approach for in-vehicle presence detection
DeepMatch2: A comprehensive deep learning-based approach for in-vehicle presence detection Open
The accurate detection of the mobile context information of public transportation vehicles and their passengers is a key feature to realize intelligent transportation systems. A topical example is in-vehicle presence detection that can, e.…
View article: Assessing Long Distance Communication Alternatives for the Remote Control of AGVs
Assessing Long Distance Communication Alternatives for the Remote Control of AGVs Open
Remote monitoring and control of factory equipment promises a more streamlined and therefore less expensive system operation and maintenance. The geographical distance between a factory and its control center, however, may influence the Qu…
View article: Recent Advancements in Intrusion Detection Systems for the Internet of Things
Recent Advancements in Intrusion Detection Systems for the Internet of Things Open
Many Internet of Things (IoT) systems run on tiny connected devices that have to deal with severe processor and energy restrictions. Often, the limited processing resources do not allow the use of standard security mechanisms on the nodes,…
View article: Automated Product Localization Through Mobile Data Analysis
Automated Product Localization Through Mobile Data Analysis Open
Recent developments in the field of indoor RealTime Locating Systems (RTLS) using mobile devices stimulate decision support for users. For instance, smartphone-based navigation in shops can enable location-aware recommendations of certain …
View article: TINA said, There is no such thing as society
TINA said, There is no such thing as society Open
Alles wird heute unter dem Begriff Neoliberalismus abgetan – und dies scheint ein mehr oder weniger junges Maßnahmenbündel. Übersehen wird aber, dass das, was heute so bezeichnet wird, eine lange Vorgeschichte hat und wenig mit Maßnahmen z…
View article: Model-Based Development and Spatiotemporal Behavior of Cyber-Physical Systems
Model-Based Development and Spatiotemporal Behavior of Cyber-Physical Systems Open
Many cyber-physical systems operate together with others and with humans in a joint physical space. Because of their operation in proximity to humans, they have to operate according to very high safety standards. This chapter presents a me…
View article: Towards Classification of Lightweight Formal Methods
Towards Classification of Lightweight Formal Methods Open
The use of lightweight formal methods (LFM) for the development of industrial applications has become a major trend. Although the term "lightweight formal methods" has been used for over ten years now, there seems to be no common agreement…
View article: Development of a Novel High Reliable Si-Based Trace Humidity Sensor Array for Aerospace and Process Industry
Development of a Novel High Reliable Si-Based Trace Humidity Sensor Array for Aerospace and Process Industry Open
In this paper we present high reliable and accurate silicon-based trace humidity sensors for use in aerospace and process industry. The sensors have been realized by using simple MEMS technology in this work. One is a single sensor (sensor…
View article: Crisis and no end? Re-embedding economy into life and nature
Crisis and no end? Re-embedding economy into life and nature Open
There is no end of the crisis in sight. Even more, the long nightmare of forcing Greece onto its knees during the first half of 2015, using banks instead of tanks, shows the contempt for mankind by established superior powers when it comes…
View article: Globalistics And Globalization Studies Global Transformations And Global Future
Globalistics And Globalization Studies Global Transformations And Global Future Open
The present volume is the fifth in the series of yearbooks with the title Globalistics and Globalization Studies. The subtitle of the present volume is Global Transformations and Global Future. We become more and more accustomed to think g…
View article: How Global Can Be Global Future?
How Global Can Be Global Future? Open
Globalization processes continue to develop and we should pay more and more attention to them. We also need to systematize our ideas about globalization and Global Studies to somehow fit the realities. We hope that our Yearbook contributes…
View article: A Methodology for Model-based Development and Safety Analysis of Transport Systems
A Methodology for Model-based Development and Safety Analysis of Transport Systems Open
We present a method to engineer the control software of transport systems and analyze their safety using the
Reactive Blocks framework. The development benefits from the model-based approach and makes the analysis
of the systems at d…