Service Virtualisation of Internet-of-Things Devices: Techniques and Challenges

Service virtualization is an approach that uses virtualized environments to automatically test enterprise services in production-like conditions. Many techniques have been proposed to provide such a realistic environment for enterprise services. The Internet-of-Things (IoT) is an emerging field which connects a diverse set of devices over different transport layers, using a variety of protocols. Provisioning a virtual testbed of IoT devices can accelerate IoT application development by enabling automated testing without requiring a continuous connection to the physical devices. One solution is to expand existing enterprise service virtualization to IoT environments. There are various structural differences between the two environments that should be considered to implement appropriate service virtualization for IoT. This paper examines the structural differences between various IoT protocols and enterprise protocols and identifies key technical challenges that need to be addressed to implement service virtualization in IoT environments.Comment: 4 page

Improving lifecycle query in integrated toolchains using linked data and MQTT-based data warehousing

The development of increasingly complex IoT systems requires large engineering environments. These environments generally consist of tools from different vendors and are not necessarily integrated well with each other. In order to automate various analyses, queries across resources from multiple tools have to be executed in parallel to the engineering activities. In this paper, we identify the necessary requirements on such a query capability and evaluate different architectures according to these requirements. We propose an improved lifecycle query architecture, which builds upon the existing Tracked Resource Set (TRS) protocol, and complements it with the MQTT messaging protocol in order to allow the data in the warehouse to be kept updated in real-time. As part of the case study focusing on the development of an IoT automated warehouse, this architecture was implemented for a toolchain integrated using RESTful microservices and linked data.Comment: 12 pages, worksho

ART-Ada: An Ada-based expert system tool

The Department of Defense mandate to standardize on Ada as the language for software systems development has resulted in increased interest in making expert systems technology readily available in Ada environments. NASA's Space Station Freedom is an example of the large Ada software development projects that will require expert systems in the 1990's. Another large scale application that can benefit from Ada based expert system tool technology is the Pilot's Associate (PA) expert system project for military combat aircraft. Automated Reasoning Tool (ART) Ada, an Ada Expert system tool is described. ART-Ada allow applications of a C-based expert system tool called ART-IM to be deployed in various Ada environments. ART-Ada is being used to implement several prototype expert systems for NASA's Space Station Freedom Program and the U.S. Air Force

Constructing living buildings: a review of relevant technologies for a novel application of biohybrid robotics

Biohybrid robotics takes an engineering approach to the expansion and exploitation of biological behaviours for application to automated tasks. Here, we identify the construction of living buildings and infrastructure as a high-potential application domain for biohybrid robotics, and review technological advances relevant to its future development. Construction, civil infrastructure maintenance and building occupancy in the last decades have comprised a major portion of economic production, energy consumption and carbon emissions. Integrating biological organisms into automated construction tasks and permanent building components therefore has high potential for impact. Live materials can provide several advantages over standard synthetic construction materials, including self-repair of damage, increase rather than degradation of structural performance over time, resilience to corrosive environments, support of biodiversity, and mitigation of urban heat islands. Here, we review relevant technologies, which are currently disparate. They span robotics, self-organizing systems, artificial life, construction automation, structural engineering, architecture, bioengineering, biomaterials, and molecular and cellular biology. In these disciplines, developments relevant to biohybrid construction and living buildings are in the early stages, and typically are not exchanged between disciplines. We, therefore, consider this review useful to the future development of biohybrid engineering for this highly interdisciplinary application.publishe

An open extensible tool environment for Event-B

Abstract. We consider modelling indispensable for the development of complex systems. Modelling must be carried out in a formal notation to reason and make meaningful conjectures about a model. But formal modelling of complex systems is a difficult task. Even when theorem provers improve further and get more powerful, modelling will remain difficult. The reason for this that modelling is an exploratory activity that requires ingenuity in order to arrive at a meaningful model. We are aware that automated theorem provers can discharge most of the onerous trivial proof obligations that appear when modelling systems. In this article we present a modelling tool that seamlessly integrates modelling and proving similar to what is offered today in modern integrated development environments for programming. The tool is extensible and configurable so that it can be adapted more easily to different application domains and development methods.

Integrating automated structured analysis and design with Ada programming support environments

Ada Programming Support Environments (APSE) include many powerful tools that address the implementation of Ada code. These tools do not address the entire software development process. Structured analysis is a methodology that addresses the creation of complete and accurate system specifications. Structured design takes a specification and derives a plan to decompose the system subcomponents, and provides heuristics to optimize the software design to minimize errors and maintenance. It can also produce the creation of useable modules. Studies have shown that most software errors result from poor system specifications, and that these errors also become more expensive to fix as the development process continues. Structured analysis and design help to uncover error in the early stages of development. The APSE tools help to insure that the code produced is correct, and aid in finding obscure coding errors. However, they do not have the capability to detect errors in specifications or to detect poor designs. An automated system for structured analysis and design TEAMWORK, which can be integrated with an APSE to support software systems development from specification through implementation is described. These tools completement each other to help developers improve quality and productivity, as well as to reduce development and maintenance costs. Complete system documentation and reusable code also resultss from the use of these tools. Integrating an APSE with automated tools for structured analysis and design provide capabilities and advantages beyond those realized with any of these systems used by themselves

Development of an Automated Detection System for Nitrite in Aquatic Environments

The main objective of the project is to develop an automated nitrite sensor for use in aquatic environments, and more specifically for use in recirculating aquaculture systems (RAS), where monitoring can help sustain a controlled environment, protect against nitrite intoxication, and promote fish health. Detecting nitrite manually with semi-quantitative colorimetric test kits, although inexpensive and simple, is prone to inter-user variability and poor sensitivity. An automated nitrite sensor has potential to provide higher resolution measurements at both concentration and time scales and can serve as a research tool for the study of filtration systems essential in maintaining a healthy RAS environment. The questions driving the project are: How to build a device that can deliver satisfactory analytical merit (e.g., sensitivity, accuracy, precision), while maintaining reliable, inexpensive, and simple operation. The research involves investigation into detection methods and state of the art instrumentation available for nitrite, production trends in chemical total analysis systems, and centers around larger questions surrounding invention and innovation. The first steps towards such a device are benchtop prototyping of the detection and fluidic modules, their integration with wet chemistry, and the validation of the analytical process carried out by the system. The project approaches the objectives with a design that relies on commercially available components and consumables and is modular and adaptable for future possible configurations. To this end, the benchtop prototype was developed as an opto-fluidic system for automated colorimetric detection. With the exception of two custom-built PVC adaptors, the entire system was built with off-the-shelf parts for around $1,000. In addition to utilizing easily replaceable components, the system was tested using commercially available and pre-made reagents based on proven chemistry (Griess assay for nitrite). Preliminary results suggest the analytical process is capable of detecting sub-micromolar nitrite concentrations (limit of detection equal to 0.18 µM) at appreciable precision, sensitivity, and accuracy in comparison to commercial instruments

User-centred design of a digital advisory service: enhancing public agricultural extension for sustainable intensification in Tanzania

Sustainable intensification (SI) is promoted as a rural development paradigm for sub-Saharan Africa. Achieving SI requires smallholder farmers to have access to information that is context-specific, increases their decision-making capacities, and adapts to changing environments. Current extension services often struggle to address these needs. New mobile phone-based services can help. In order to enhance the public extension service in Tanzania, we created a digital service that addresses smallholder farmers’ different information needs for implementing SI. Using a co-design methodology – User-Centered Design – we elicited feedback from farmers and extension agents in Tanzania to create a new digital information service, called Ushauri. This automated hotline gives farmers access to a set of pre-recorded messages. Additionally, farmers can ask questions in a mailbox. Extension agents then listen to these questions through an online platform, where they record and send replies via automated push-calls. A test with 97 farmers in Tanzania showed that farmers actively engaged with the service to access agricultural advice. Extension agents were able to answer questions with reduced workload compared to conventional communication channels. This study illustrates how User-Centered Design can be used to develop information services for complex and resource-restricted smallholder farming contexts

A Reference Architecture for Automated Negotiations of Service Agreements in Open and Dynamic Environments

The provision of services is often regulated by means of agreements that must be negotiated beforehand. Automating such ne gotiations is appealing insofar it overcomes one of the most often cited shortcomings of human negotiation: slowness. In this article, we report on a reference architecture that helps guide the development of automated negotiation systems; we also delve into the requirements that must au tomated negotiation systems must address to deal with negotiations of service agreements in open environments. Finally, we analyse how well suited current software frameworks to develop automated negotiation systems are for negotiating service agreements in open environments. This approach is novel in the sense that, to the best of our knowledge, no previous article compares extensively automated negotiation frame works in the context of negotiating service agreements in open environ ments nor provides a reference architecture specifically designed for this scenario.Comisión Interministerial de Ciencia y Tecnología (CICYT) TIN2006-00472Junta de Andalucía P07-TIC-2533 (Isabel