Development of the mobile robot can be executed in two different ways. Firstly, this creation of the built-in system, secondly, the use of "ready to use" industrial components. With distribution of the indus...
详细信息
ISBN:
(数字)9781538659953
ISBN:
(纸本)9781538659960
Development of the mobile robot can be executed in two different ways. Firstly, this creation of the built-in system, secondly, the use of "ready to use" industrial components. With distribution of the industrial mobile robots in the market there are more and more components which can be used for creation of all control system and sensors of the robot mobile platform. Use of the ready components doesn't demand the hardware development that accelerates time of development and reduces cost. The chassis of the Belarus-132 mini-tractor is used as a platform of robotic system in the research, "creation" of the program for traffic control is required. Results of the practical research on design and model development of a mobile robotic complex are given.
Computational cognitive modeling investigates human cognition by building detailed computational models for cognitive processes. Adaptive Control of Thought – Rational (ACT-R) is a rule-based cognitive architecture t...
详细信息
This paper presents monitoring as a service for networked medical cyber-physical systems in the operating room based on the recent IEEE 11073 standards for interoperable medical device communication. Runtime Verificat...
详细信息
This paper presents monitoring as a service for networked medical cyber-physical systems in the operating room based on the recent IEEE 11073 standards for interoperable medical device communication. Runtime Verification techniques are used to allow for a formal specification and verification. Based on the specification so called monitors are automatically synthesized. At runtime, the monitors observe the communication of the interconnected systems and examine whether they adhere to the specification. This facilitates the handling of the high safety requirements of medical cyber-physical systems and to increase their reliability. In addition, we outline the development and deployment process of the monitors and depict how the framework can be extended to react when misbehavior is detected. As a case study the interconnection of an ultrasound dissector and a microscope is used. Our benchmarks show that the monitoring overhead is substantially lower than what is required for our practical application.
Model-driven softwareengineering uses models and meta models as key artefacts in the software development process. Typically, changes in the models (or meta models) do not come in isolation but are part of more compl...
详细信息
Model-driven softwareengineering uses models and meta models as key artefacts in the software development process. Typically, changes in the models (or meta models) do not come in isolation but are part of more complex change sets where a single change depends on other changes, e.g., a component is added to an architectural model and thereafter ports and connectors connect this component to other components. Furthermore, these sets of related and depending changes are often recurring, e.g., always when a component is added to an architecture, it is highly likely that ports are added to that component, too. This is similar for changes in meta models. Our goal is to help engineers by (1) automatically identifying clusters of related changes on model histories and (2) recommending corresponding changes after the engineer performs a single change. In this position paper, we present an initial technique to achieve our goal. We evaluate our technique with models from the Eclipse GMF project and present our recommendations as well as the recommendation quality. Our evaluation found an average precision between 0:43 and 0:82 for our recommendations.
Non-trivial software systems are written using multiple (programming) languages, which are connected by cross-language links. The existence of such links may lead to various problems during software development. There...
Non-trivial software systems are written using multiple (programming) languages, which are connected by cross-language links. The existence of such links may lead to various problems during software development. There is little empirical evidence on the incidence of these problems and the experiences of professional developers in this field. We want to provide empirical evidence on multi-language software development, cross-language linking, and tool support in industry, including the views of professional developers on benefits and problems in these areas. We conducted a survey study to gather responses from 139 professional software developers. Respondents reported an average of 7 languages and 3 linked language pairs per project. Respondents saw benefits of multi-language development for the motivation of developers and the translation of requirements, but problems in understandability and changeability. Over 90% of respondents reported problems related to cross-language linking. Developers universally agree on the usefulness of tool support. Multi-language programming and cross-language linking seem common but lead to several problems. We suggest that future practical as well as research efforts focus on these issues by creating appropriate tool support and by developing better techniques for cross-language linking for improved changeability and understandability.
The Internet of Things (IoT) is a current approach which aims to act on pervasive environments for connecting smart objects. These objects are capable to sense their own environment, interacting and cooperating with o...
详细信息
ISBN:
(纸本)9781509047727
The Internet of Things (IoT) is a current approach which aims to act on pervasive environments for connecting smart objects. These objects are capable to sense their own environment, interacting and cooperating with other devices. However, the IoT also requires to perform coordination actions that devices cannot carry out with the embedded electronic. In order to create smarter collaborative systems, the Internet of Agents (IoA) approach arises as an alternative for providing information and services to other objects, systems and people, and to initialize actions if necessary. In this paper, a semantic model of public agent contracts based on OWL ontologies enriched with Open Linked Data has been proposed as a fundamental way to describe standard collaborative units that can interact in a social context. The overarching ontology we have named IoA-OWL takes into account functional and non-functional aspects organized in six profiles such as agent, context, model, service, social, and object.
Coping with evolution in automated production systems implies cross-disciplinary challenges along the system's life-cycle for variant-rich systems of high complexity. We provide an interdisciplinary survey on chal...
详细信息
ISBN:
(纸本)9783885796466
Coping with evolution in automated production systems implies cross-disciplinary challenges along the system's life-cycle for variant-rich systems of high complexity. We provide an interdisciplinary survey on challenges and research directions in the evolution of automated production systems. After an initial discussion about the nature of automated production systems and their specific development process, we sketch in this extended abstract the challenges associated with evolution in the different development phases and a couple of cross-cutting areas.
Nowadays, the staff of modern operation rooms (ORs) and intensive care units (ICUs) has to handle increasingly complex medical devices and their user interfaces. Inconsistent and often non-sterile user interfaces lead...
详细信息
ISBN:
(纸本)9781509011674
Nowadays, the staff of modern operation rooms (ORs) and intensive care units (ICUs) has to handle increasingly complex medical devices and their user interfaces. Inconsistent and often non-sterile user interfaces lead to error-prone and slow reconfiguring actions which in the end may even harm the patient. To overcome these issues interconnected medical devices are necessary. We introduce a new concept for flexible and easy-to-use remote controls which allow to control a range of different devices from different manufacturers. Current solutions are vendor-, and mostly even device-specific and tightly coupled. The effort for manufacturers is high and the maintainability is bad. Thus, controls that can be assigned dynamically to different medical devices are rare or mostly not available. Yet such dynamic controls are badly needed to improve clinical workflows especially in ORs and ICUs. We establish such a remote control setup using the service-oriented architecture defined in the IEEE 11073 SDC standards family. The presented concept is based on dynamic service orchestration to overcome existing problems: The control device and the controlled medical device are published as independent services in the network and an additional composed service interconnects them. We successfully implemented this concept for dynamically assignable controls in a real-world demonstrator with several medical devices from more than five different manufacturers. Performance evaluations show its practicability.
暂无评论