2,769 research outputs found
Development of a toolkit for component-based automation systems
From the earliest days of mass production in the automotive industry there has been a
progressive move towards the use of flexible manufacturing systems that cater for
product variants that meet market demands. In recent years this market has become
more demanding with pressures from legislation, globalisation and increased
customer expectations. This has lead to the current trends of mass customisation in
production.
In order to support this manufacturing systems are not only becoming more flexibleâ€
to cope with the increased product variants, but also more agile‡ such that they may
respond more rapidly to market changes. Modularisation§ is widely used to increase
the agility of automation systems, such that they may be more readily reconfigured¶.
Also with globalisation into India and Asia semi-automatic machines (machines that
interact with human operators) are more frequently used to reduce capital outlay and
increase flexibility. There is an increasing need for tools and methodologies that
support this in order to improve design robustness, reduce design time and gain a
competitive edge in the market.
The research presented in this thesis is built upon the work from
COMPAG/COMPANION (COMponent- based Paradigm for AGile automation, and
COmmon Model for PArtNers in automatION), and as part of the BDA (Business
Driven Automation), SOCRADES (Service Oriented Cross-layer infrastructure for
Distributed smart Embedded deviceS), and IMC-AESOP (ArchitecturE for Service-
Oriented Process – monitoring and control) projects conducted at Loughborough
University UK.
This research details the design and implementation of a toolkit for building and
simulating automation systems comprising components with behaviour described
using Finite State Machines (FSM). The research focus is the development of the
engineering toolkit that can support the automation system lifecycle from initial
design through commissioning to maintenance and reconfiguration as well as the
integration of a virtual human. This is achieved using a novel data structure that
supports component definitions for control, simulation, maintenance and the novel
integration of a virtual human into the automation system operation
Big Data Management Using Scientific Workflows
Humanity is rapidly approaching a new era, where every sphere of activity will be informed by the ever-increasing amount of data. Making use of big data has the potential to improve numerous avenues of human activity, including scientific research, healthcare, energy, education, transportation, environmental science, and urban planning, just to name a few. However, making such progress requires managing terabytes and even petabytes of data, generated by billions of devices, products, and events, often in real time, in different protocols, formats and types. The volume, velocity, and variety of big data, known as the 3 Vs , present formidable challenges, unmet by the traditional data management approaches. Traditionally, many data analyses have been performed using scientific workflows, tools for formalizing and structuring complex computational processes. While scientific workflows have been used extensively in structuring complex scientific data analysis processes, little work has been done to enable scientific workflows to cope with the three big data challenges on the one hand, and to leverage the dynamic resource provisioning capability of cloud computing to analyze big data on the other hand.
In this dissertation, to facilitate efficient composition, verification, and execution of distributed large-scale scientific workflows, we first propose a formal approach to scientific workflow verification, including a workflow model, and the notion of a well-typed workflow. Our approach translates a scientific workflow into an equivalent typed lambda expression, and typechecks the workflow. We then propose a typetheoretic approach to the shimming problem in scientific workflows, which occurs when connecting related but incompatible components. We reduce the shimming problem to a runtime coercion problem in the theory of type systems, and propose a fully automated and transparent solution. Our technique algorithmically inserts invisible shims into the workflow specification, thereby resolving the shimming problem for any well-typed workflow. Next, we identify a set of important challenges for running big data workflows in the cloud. We then propose a generic, implementation-independent system architecture that addresses many of these challenges. Finally, we develop a cloud-enabled big data workflow management system, called DATAVIEW, that delivers a specific implementation of our proposed architecture. To further validate our proposed architecture, we conduct a case study in which we design and run a big data workflow from the automotive domain using the Amazon EC2 cloud environment
Recommended from our members
Towards an aspect weaving BPEL engine
This position paper proposes the use of dynamic aspects and
the visitor design pattern to obtain a highly configurable and
extensible BPEL engine. Using these two techniques, the
core of this infrastructural software can be customised to
meet new requirements and add features such as debugging,
execution monitoring, or changing to another Web Service
selection policy. Additionally, it can easily be extended to
cope with customer-specific BPEL extensions. We propose
the use of dynamic aspects not only on the engine itself
but also on the workflow in order to tackle the problems of
Web Service hot deployment and hot fixes to long running
processes. In this way, composing aWeb Service "on-the-fly"
means weaving its choreography interface into the workflow
DSL-based Interoperability and Integration in the Smart Manufacturing Digital Thread
In the industry 4.0 ecosystem, a Digital Thread connects the data and processes for smarter manufacturing. It provides an end to end integration of the various digital entities thus fostering interoperability, with the aim to design and deliver complex and heterogeneous interconnected systems. We develop a service oriented domain specific Digital Thread platform in a Smart Manufacturing research and prototyping context. We address the principles, architecture and individual aspects of a growing Digital Thread platform. It conforms to the best practices of coordination languages, integration and interoperability of external services from various platforms, and provides orchestration in a formal methods based, low-code and graphical model driven fashion. We chose the Cinco products DIME and Pyrus as the underlying IT platforms for our Digital Thread solution to serve the needs of the applications addressed: manufacturing analytics and predictive maintenance are in fact core capabilities for the success of smart manufacturing operations. In this regard, we extend the capabilities of these two platforms in the vertical domains of data persistence, IoT connectivity and analytics, to support the basic operations of smart manufacturing. External native DSLs provide the data and capability integrations through families of SIBs. The small examples constitute blueprints for the methodology, addressing the knowledge, terminology and concerns of domain stakeholders. Over time, we expect reuse to increase, reducing the new integration and development effort to a progressively smaller portion of the models and code needed for at least the most standard application
Towards the Model-Driven Engineering of Secure yet Safe Embedded Systems
We introduce SysML-Sec, a SysML-based Model-Driven Engineering environment
aimed at fostering the collaboration between system designers and security
experts at all methodological stages of the development of an embedded system.
A central issue in the design of an embedded system is the definition of the
hardware/software partitioning of the architecture of the system, which should
take place as early as possible. SysML-Sec aims to extend the relevance of this
analysis through the integration of security requirements and threats. In
particular, we propose an agile methodology whose aim is to assess early on the
impact of the security requirements and of the security mechanisms designed to
satisfy them over the safety of the system. Security concerns are captured in a
component-centric manner through existing SysML diagrams with only minimal
extensions. After the requirements captured are derived into security and
cryptographic mechanisms, security properties can be formally verified over
this design. To perform the latter, model transformation techniques are
implemented in the SysML-Sec toolchain in order to derive a ProVerif
specification from the SysML models. An automotive firmware flashing procedure
serves as a guiding example throughout our presentation.Comment: In Proceedings GraMSec 2014, arXiv:1404.163
Engineering of service-oriented automation systems: a survey
The evolution of manufacturing systems and the emergence of decentralised control require flexibility at various
levels of their lifecycle. New emerging methods, such as multi-agent and service-oriented systems are major research
topics in the sense of revitalizing the traditional production procedures. This paper takes an overview of the serviceoriented
approach in terms of platform and engineering tools, from the perspective of automation and production
systems. From the basic foundation to the more complex interactions, service-oriented architectures and its
implementation in form of web services provide diverse and quality proved features that are welcome to different
states of the production systems’ life-cycle. Key elements are the concepts of modelling and collaboration, which
enhance the automatic binding and synchronisation of individual low-value services to more complex and meaningful
structures. Such interactions can be specified by Petri nets, a mathematically well founded tool with features that
enhance towards the modelling of systems. The right application of different methodologies together should motivate
the development of service-oriented manufacturing systems that embrace the vision of collaborative automation.The authors would like to thank the European
Commission and the partners of Network of Excellence
“Innovative Production Machines and Systems”
(http://www.iproms.org/) and the SOCRADES project
(http://www.socrades.eu) for their support.info:eu-repo/semantics/publishedVersio
Engineering of service-oriented automation systems: a survey
The evolution of manufacturing systems and the emergence of decentralised control require flexibility at various
levels of their lifecycle. New emerging methods, such as multi-agent and service-oriented systems are major research
topics in the sense of revitalizing the traditional production procedures. This paper takes an overview of the serviceoriented
approach in terms of platform and engineering tools, from the perspective of automation and production
systems. From the basic foundation to the more complex interactions, service-oriented architectures and its
implementation in form of web services provide diverse and quality proved features that are welcome to different
states of the production systems’ life-cycle. Key elements are the concepts of modelling and collaboration, which
enhance the automatic binding and synchronisation of individual low-value services to more complex and meaningful
structures. Such interactions can be specified by Petri nets, a mathematically well founded tool with features that
enhance towards the modelling of systems. The right application of different methodologies together should motivate
the development of service-oriented manufacturing systems that embrace the vision of collaborative automation.The authors would like to thank the European
Commission and the partners of Network of Excellence
“Innovative Production Machines and Systems”
(http://www.iproms.org/) and the SOCRADES project
(http://www.socrades.eu) for their support.info:eu-repo/semantics/publishedVersio
A Calculus for Orchestration of Web Services
Service-oriented computing, an emerging paradigm for distributed computing based on the use of services, is calling for the development of tools and techniques to build safe and trustworthy systems, and to analyse their behaviour. Therefore, many researchers have proposed to use process calculi, a cornerstone of current foundational research on specification and analysis of concurrent, reactive, and distributed systems. In this paper, we follow this approach and introduce CWS, a process calculus expressly designed for specifying and combining service-oriented applications, while modelling their dynamic behaviour. We show that CWS can model all the phases of the life cycle of service-oriented applications, such as publication, discovery, negotiation, orchestration, deployment, reconfiguration and execution. We illustrate the specification style that CWS supports by means of a large case study from the automotive domain and a number of more specific examples drawn from it
- …