A task-oriented system structure has been developed. In normal industrial robot programming, the path is created and the process is based on the path. Here a process-focused method is proposed, where a task can be spl...
详细信息
A task-oriented system structure has been developed. In normal industrial robot programming, the path is created and the process is based on the path. Here a process-focused method is proposed, where a task can be split in subtasks, one for each part of the process with similar process-characteristics. By carefully encapsulating the information needed to execute a sub-task, this component can be reused whenever the actual sub-task occurs. Applications using system design do not change between simulation and actual shop floor runs and the system allows a mix of real- and simulated components during simulation and run-time.
Limiting the energy consumption of IoT nodes is a hot topic in green computing. For battery-powered devices this necessity is obvious, but the enormous growth of the number of IoT nodes makes energy efficiency importa...
详细信息
ISBN:
(纸本)9783031213137;9783031213144
Limiting the energy consumption of IoT nodes is a hot topic in green computing. For battery-powered devices this necessity is obvious, but the enormous growth of the number of IoT nodes makes energy efficiency important for every node in the IoT. In this paper, we show how we can automatically compute execution intervals for our task-oriented programs for the IoT. These intervals offer the possibility to save energy by bringing the microprocessor driving the IoT node into a low-power sleep mode until the task need to be executed. Furthermore, they offer an elegant way to add interrupts to the system. We do allow an arbitrary number of tasks on the IoT nodes and achieve significant reductions of the energy consumption by bringing the microprocessor in sleep mode as much as possible. We have seen energy reductions of an order of magnitude without imposing any constraints on the tasks to be executed on the IoT nodes.
The ease of use of robot programming interfaces represents a barrier to robot adoption in several manufacturing sectors because of the need for more expertise from the end-users. Current robot programming methods are ...
详细信息
The ease of use of robot programming interfaces represents a barrier to robot adoption in several manufacturing sectors because of the need for more expertise from the end-users. Current robot programming methods are mostly the past heritage, with robot programmers reluctant to adopt new programming paradigms. This work aims to evaluate the impact on non-expert users of introducing a new task-oriented programming interface that hides the complexity of a programming framework based on ROS. The paper compares the programming performance of such an interface with a classic robot-orientedprogramming method based on a state-of-the-art robot teach pendant. An experimental campaign involved 22 non-expert users working on the programming of two industrial tasks. task-oriented and robot-orientedprogramming showed comparable learning time, programming time and the number of questions raised during the programming phases, highlighting the possibility of a smooth introduction to task-oriented programming even to non-expert users.
This paper proposes the SPINE frameworks (SPINE1.x and SPINE2) for the programming of signal processing applications on heterogeneous wireless sensor platforms. In particular, two integrable approaches based on the pr...
详细信息
ISBN:
(纸本)9781424448814
This paper proposes the SPINE frameworks (SPINE1.x and SPINE2) for the programming of signal processing applications on heterogeneous wireless sensor platforms. In particular, two integrable approaches based on the proposed frameworks are described that allow to develop applications for wireless body sensor networks (WBSNs) constituted by heterogeneous sensor nodes. The approaches are exemplified through a human activity recognition system based on a WBSN composed of two types of sensor nodes, heterogeneous with respect to base software and hardware.
Body Sensor Networks (BSNs) have become prominent in research and industry alike as a powerful enabler of novel applications in human-centered domains. However, developing applications on such systems is still a cumbe...
详细信息
Body Sensor Networks (BSNs) have become prominent in research and industry alike as a powerful enabler of novel applications in human-centered domains. However, developing applications on such systems is still a cumbersome process, due to the lack of suitable software abstractions and the difficulties in managing wearable computing application within the stringent constraints of embedded systems. In this paper, we introduce a novel framework, SPINE2 (Signal Processing In Node Environment), which allows task-oriented programming on a platform-independent architecture. We demonstrate how fairly sophisticated signal-processing applications can be realized in the form of easy-to-implement embedded processes. The proposed architecture is tested experimentally and its features are illustrated through a nontrivial case study.
TOPHAT is a mathematically formalized language for task-oriented programming (TOP). It allows developers to specify workflows and business processes in a formal language, reason about their equality and use symbolic e...
详细信息
ISBN:
(纸本)9798400716317
TOPHAT is a mathematically formalized language for task-oriented programming (TOP). It allows developers to specify workflows and business processes in a formal language, reason about their equality and use symbolic execution to verify their correctness and generate next-step hints. TOPHAT can run workflow specifications supporting collaborators during their execution. However, it can only do so for a statically specified amount of work. That is, the number of tasks running in parallel is always predefined by the developer. In contrast, other top engines like ItaskS and MtaskS act like an operating system, starting and stopping tasks at will. To capture this dynamic nature of workflow systems, we introduce DYNAMIC TOPHAT: a moderate extension to the TOPHAT calculus which allows end-users to initialize and kill tasks at runtime. Although this is a restricted version of the dynamic task lists found in ItaskS, where the system itself can initialize new tasks, we show that common use cases of this feature are still expressible in DYNAMIC TOPHAT. Also, our proposed solution does not compromise the formal reasoning properties of TOPHAT. TOPHAT's metatheory is formalized in the dependently typed programming language IDRIS and its symbolic execution engine is implemented in HASKELL.
Software that models business workflows is omnipresent in today's society. These systems coordinate collaboration in hospitals, companies, and military institutions. Unfortunately, workflow systems may obfuscate t...
详细信息
ISBN:
(纸本)9783030577605;9783030577612
Software that models business workflows is omnipresent in today's society. These systems coordinate collaboration in hospitals, companies, and military institutions. Unfortunately, workflow systems may obfuscate the influence of current user actions on the desired end result. In order to make the right decision, users need to oversee the full process and all information available, both of which are usually buried in the system. We have developed a way to automatically generate next step hints for taskoriented programs. taskorientedprogramming provides programmers with an abstraction over workflow software, while still being expressive enough to describe real world collaboration. By leveraging symbolic execution, we can calculate these hints without modification of the original program. To our knowledge, this is the first time that symbolic execution is used to automatically generate next step hints for end users. We prove the generated hints to be sound and complete, and also demonstrate that the symbolic execution semantics we employ is correct for sequential input. In addition, we have developed a Haskell implementation of our automatic next step hint generation system. By providing next step hints, the chance of human error is reduced, while still allowing end users to intervene if required. The overall performance is raised, since the quality of decisions will improve.
Rapid development of Wireless Body Sensor Network (WBSN) applications can be enabled by suitable domain-specific frameworks which are usually organized in two parts: a base-station-side (or coordinator) and a sensor-n...
详细信息
ISBN:
(纸本)9781424427932
Rapid development of Wireless Body Sensor Network (WBSN) applications can be enabled by suitable domain-specific frameworks which are usually organized in two parts: a base-station-side (or coordinator) and a sensor-node-side. While the former can be based on the Java language so being highly portable, the latter is usually highly dependent on the exploited sensor platform. Available state of the art frameworks follow such an organization and, in particular, the current version of SPINE is based on TinyOS and can be only used to effectively develop collaborative WBSN applications for TinyOS-based sensor platforms. To develop SPINE-based applications for new sensor platforms, the SPINE framework should be re-implemented for each new sensor platform to be exploited. This not only increases development efforts but also enforces SPINE-oriented developers to become skilled on the low-level programming abstractions provided by a new employed sensor platform. In this paper we discuss issues related to platform-independent development of collaborative WBSN applications and, specifically, describe the requirements, architecture and first implementation experiences of SPINE2 which aims at reaching a very high platform independency and raising the level of the used programming abstractions by providing a task-oriented programming model. The paper also discusses how such a task-oriented model enables dynamic task assignment and holistic collaborative task execution also for resource-constrained environments such as tiny sensor nodes.
Body sensor networks (BSNs) have great potential to enable a broad variety of assisted living applications such as health and activity monitoring, and emergency detection. Although several effective application develo...
详细信息
ISBN:
(纸本)9781424441099
Body sensor networks (BSNs) have great potential to enable a broad variety of assisted living applications such as health and activity monitoring, and emergency detection. Although several effective application development frameworks already exist for BSNs based on specific sensor platforms (e.g. CodeBlue, SPINE, Titan), effective methods for the platform-independent development of BSN applications are still missing. Such methods would enable rapid development of multi-platform applications and fast application porting from one platform to another. In this paper, we present SPINE2, an evolution of SPINE, which aims at reaching a very high platform independency and raising the level of the used programming abstractions by providing a task-oriented programming model. Furthermore, SPINE2 is exemplified through a case study related to human activity monitoring.
This paper describes a coherent engineering method for developing high level human machine interaction within a highly automated environment consisting of sensors, actuators, automatic situation assessors and planning...
详细信息
ISBN:
(纸本)9783319099125;9783319099118
This paper describes a coherent engineering method for developing high level human machine interaction within a highly automated environment consisting of sensors, actuators, automatic situation assessors and planning devices. Our approach combines ideas from cognitive work analysis, cognitive engineering, ontology engineering, and task-based prototyping. We describe our experiences with this approach when applying this suite to develop an innovative socio-technical system for fighting the internal battle in navy vessels with a strongly reduced manning.
暂无评论