Modeling of mechanisms for reconfigurable and distributed manufacturing control system

Size: px
Start display at page:

Download "Modeling of mechanisms for reconfigurable and distributed manufacturing control system"

Transcription

1 6th Doctoral Conference on Computing, Electrical and Industrial Systems DoCEIS'15 Modeling of mechanisms for reconfigurable and distributed manufacturing control system Robson M. da Silva, (Presenter) Edson H. Watanabe, Mauricio F. Blos, Fabricio Junquiera, Diolino J. Santos Filho, Paulo E. Miyagi, Lisbon April-2015

2 Content Introduction Relationship to cloud-based solutions State of the art and related works Modeling of diagnosis mechanism for RDMCS Application example Conclusions and Further Work

3 Introduction Business processes in manufacturing systems can modify Furthermore, distributed subsystems need communicating and collaborating In preview studies, we propose a method to model a Reconfigurable and Distributed Manufacturing Control System (RDMCS) The method combines characteristics of different techniques Petri net (PN) to allow a communication protocol and integration of the design phases Holonic and Multi-Agent System (HMAS) to facilitate the conception and implementation of RDMCS Service-Oriented Architecture (SOA) paradigm to consider interoperability between distributed subsystems This paper extends that method presenting the modeling of reconfiguration mechanisms

4 Relationship to cloud-based solutions This proposal is related to this vision due, e.g. avoiding repetition and overlapping tasks facilitating the analysis and communication between different design staffs allowing reconfiguration flexibility considering social and dynamic environment of the business processes being modular and collaborative system

5 State of the art SOA and HMAS can provide a framework for integrating heterogeneous and distributed subsystems Petri nets can ensure a systematic implementation of design specification Production Flow Schema programs for industrial controllers Input and Output Place Transition

6 Modeling of diagnosis mechanism for RDMCS Modeling holons starts using Production Flow Schema (PFS) The PFS model is more detailed to generate the IOPT models The control architecture is subdivided into product holon task holon supervisor holon operational holon

7 Modeling of diagnosis mechanism for RDMCS Modeling holons starts using Production Flow Schema (PFS) The PFS model is more detailed to generate the IOPT models The control architecture is subdivided into

8 Modular manufacturing system

9 Modular manufacturing system Final Products sensors and actuators

10 Modeling PrHs Final Products a cover [co] a spring [s] a piston (black [bp] or aluminum [ap]) a cylinder body (black [bcb], red [rcb] or aluminum [acb])

11 Modeling THs

12 Modeling THs

13 Dynamic modeling

14 Dynamic modeling

15 Dynamic modeling

16 Dynamic modeling

17 Dynamic modeling

18 Dynamic modeling

19 Dynamic modeling

20 Dynamic modeling

21 Control strategy for D-WS

22 Modeling OpHs [1A] [1B2] [1B1] [1Y1]

23 Modeling OpHs normal states: advanced and retreated [1A] [1B2] [1B1] [1Y1]

24 Modeling OpHs fault state: advanced stuck [1A] [1B2] [1B1] [1Y1]

25 Modeling OpHs [1A] [1B2] [1B1] [1Y1]

26 Composition of OpHs models

27 Composition of OpHs models auxiliary places

28 Composition of OpHs models Guards

29 Composition of OpHs models Output actions

30 Modeling diagnoser (for fault diagnosis). The steps for this i. defining the observable and non-observable events

31 Modeling diagnoser (for fault diagnosis). The steps for this i. defining the observable and non-observable events

32 Modeling diagnoser (for fault diagnosis). The steps for this ii. diagnoser construction, initially considering normal operation, then the sequence of possible events, in according to control strategy

33 Modeling diagnoser (for fault diagnosis). The steps for this ii. diagnoser construction, initially considering normal operation, then the sequence of possible events, in according to control strategy

34 Modeling diagnoser (for fault diagnosis). The steps for this ii. diagnoser construction, initially considering normal operation, then the sequence of possible events, in according to control strategy

35 Modeling diagnoser (for fault diagnosis). The steps for this iii. linking the states obtained according to input or output signal of actuators and sensors

36 Modeling diagnoser (for fault diagnosis). The steps for this iv. linking the diagnoser and sub-diagnoser by means of transitions and guard to the events

37 Modeling diagnoser (for fault diagnosis). The steps for this iv. linking the diagnoser and sub-diagnoser by means of transitions and guard to the events possible fault states

38 Conclusions This proposal allows modeling complex system structures of Reconfigurable and Distributed Manufacturing Control System (RDMCS) avoiding repetition and overlapping tasks through reuse collaboration among distributed subsystems reconfiguration flexibility utilization of web tools for automatic generation of controller languages cloud engineering Further works involve extending the research to other control systems, as well as, the proposal of decision making mechanisms

39 Acknowledgment Supported by agencies CNPq, CAPES and FAPESP Thank you! Robson Marinho da Silva,

A Service-Oriented and Holonic Control Architecture to the Reconfiguration of Dispersed Manufacturing Systems

A Service-Oriented and Holonic Control Architecture to the Reconfiguration of Dispersed Manufacturing Systems A Service-Oriented and Holonic Control Architecture to the Reconfiguration of Dispersed Manufacturing Systems Robson Marinho da Silva 1,2, Mauricio F. Blos 2, Fabrício Junqueira 2, Diolino J. Santos Filho

More information

PRODUCTIVE PETRI NET: A TECHNIQUE TO OBTAIN STANDARD INSTRUCTIONS

PRODUCTIVE PETRI NET: A TECHNIQUE TO OBTAIN STANDARD INSTRUCTIONS PRODUCTIVE PETRI NET: A TECHNIQUE TO OBTAIN STANDARD INSTRUCTIONS Caio Cesar Fattori Gabriel Souza Pontes Gustavo Lopes Duarte Oliveira Maurício Fontoura Blos Fabricio Junqueira Diolino José dos Santos

More information

DEGENERATION METHODS IN INTELLIGENT BUILDING CONTROL SYSTEM DESIGN

DEGENERATION METHODS IN INTELLIGENT BUILDING CONTROL SYSTEM DESIGN 50 DEGENERATION METHODS IN INTELLIGENT BUILDING CONTROL SYSTEM DESIGN Julio Arakaki Pontifícia Universidade Católica de São Paulo/Unifieo jarakaki@pucsp.br Paulo Eigi Miyagi Escola Politécnica da USP pemiyagi@usp.br

More information

REMOTE MONITORING AND CONTROL OF MANUFACTURING SYSTEM

REMOTE MONITORING AND CONTROL OF MANUFACTURING SYSTEM REMOTE MONITORING AND CONTROL OF MANUFACTURING SYSTEM E. Villani*, R.A. Castro*, P.M. Marques*, P.E. Miyagi* *Escola Politecnica, University of Sao Paulo, Brazil Instituto Tecnologico de Aerondutica, Brazil

More information

Process Control System Considering the Machines Functional Flexibilities

Process Control System Considering the Machines Functional Flexibilities Process Control System Considering the Machines Functional Flexibilities Osvaldo L. Asato, Guilherme M. Dobrianskyj, Fabrício Junqueira, Diolino J. Santos Filho, and Paulo E. Miyagi Escola Politécnica

More information

Service-Oriented Architecture for Command and Control Systems with Dynamic Reconfiguration

Service-Oriented Architecture for Command and Control Systems with Dynamic Reconfiguration Service-Oriented Architecture for Command and Control Systems with Dynamic Reconfiguration Raymond A. Paul Department of Defense Washington, DC raymond.paul@osd.mil 2004-5-22 1 Outlines Motivation Dynamic

More information

A Framework for Modeling and Formal Verification of SIS Control Programs Based on the IEC61511 Standard

A Framework for Modeling and Formal Verification of SIS Control Programs Based on the IEC61511 Standard A Framework for Modeling and Formal Verification of SIS Control Programs Based on the IEC61511 Standard Rodrigo Cesar Ferrarezi, Reinaldo Squillante Júnior, Jefferson A. L. Souza, José Reinaldo Silva,

More information

Distributed Information System as a System of Asynchronous Concurrent Processes

Distributed Information System as a System of Asynchronous Concurrent Processes Distributed Information System as a System of Asynchronous Concurrent Processes Marek Rychlý Jaroslav Zendulka Department of Information Systems Faculty of Information Technology Brno University of Technology

More information

On the concept of safety instrumented systems

On the concept of safety instrumented systems Luis Efrén Barrero Páez * Andrés Escobar Díaz ** Harold Vacca González *** submitted date: October 2013 received date: Noviembre 2013 accepted date: February 2014 Abstract This paper presents a concrete

More information

Federated Mission Networking

Federated Mission Networking Federated Mission Networking Learning & Applying the Lessons John Palfreyman, IBM V4; 20 Mar 14 Agenda Future Mission Networking - Context Effective Coalitions through OPEN Integration Save money through

More information

PROJECT OF CONTROL OF THE OPEN CNC IN AGILE MANUFACTURING SYSTEM

PROJECT OF CONTROL OF THE OPEN CNC IN AGILE MANUFACTURING SYSTEM PROJECT OF CONTROL OF THE OPEN CNC IN AGILE MANUFACTURING SYSTEM Osvaldo Luis Asato Escola Politécnica da Universidade de São Paulo. Av. Prof. Mello Moraes, 2231 São Paulo, SP. osvaldo.asato@poli.usp.br

More information

Properties Preservation in Distributed Execution of Petri Nets Models

Properties Preservation in Distributed Execution of Petri Nets Models Properties Preservation in Distributed Execution of Petri Nets Models Anikó Costa 1, Paulo Barbosa 2, Luís Gomes 1, Franklin Ramalho 2, Jorge Figueiredo 2, and Antônio Junior 2 1 Universidade Nova de Lisboa,

More information

Barry D. Lamkin Executive IT Specialist Capitalware's MQ Technical Conference v

Barry D. Lamkin Executive IT Specialist Capitalware's MQ Technical Conference v What happened to my Transaction? Barry D. Lamkin Executive IT Specialist blamkin@us.ibm.com Transaction Tracking - APM Transaction Tracking is a major part of Application Performance Monitoring To ensure

More information

SOA S90-20A. SOA Security Lab. Download Full Version :

SOA S90-20A. SOA Security Lab. Download Full Version : SOA S90-20A SOA Security Lab Download Full Version : https://killexams.com/pass4sure/exam-detail/s90-20a protocol. Before invoking Service A, Service Consumer A must request a ticket granting ticket and

More information

National Infrastructure Protection Plan (NIPP) Transportation Sector Specific Plan (TSSP) and The TSSP R&D Working Group

National Infrastructure Protection Plan (NIPP) Transportation Sector Specific Plan (TSSP) and The TSSP R&D Working Group National Infrastructure Protection Plan (NIPP) Transportation Sector Specific Plan (TSSP) and The TSSP R&D Working Group AASHTO Special Committee on Transportation Security & The National Cooperative Highway

More information

WORK PROGRAMME

WORK PROGRAMME WORK PROGRAMME 2014 2015 Topic ICT 9: Tools and Methods for Software Development Michel LACROIX European Commission DG CONNECT Software & Services, Cloud michel.lacroix@ec.europa.eu From FP7 to H2020 Preparation

More information

Realizing the Army Net-Centric Data Strategy (ANCDS) in a Service Oriented Architecture (SOA)

Realizing the Army Net-Centric Data Strategy (ANCDS) in a Service Oriented Architecture (SOA) Realizing the Army Net-Centric Data Strategy (ANCDS) in a Service Oriented Architecture (SOA) A presentation to GMU/AFCEA symposium "Critical Issues in C4I" Michelle Dirner, James Blalock, Eric Yuan National

More information

What s Out There and Where Do I find it: Enterprise Metacard Builder Resource Portal

What s Out There and Where Do I find it: Enterprise Metacard Builder Resource Portal What s Out There and Where Do I find it: Enterprise Metacard Builder Resource Portal Gary W. Allen, PhD Project Manager Joint Training Integration and Evaluation Center Orlando, FL William C. Riggs Senior

More information

Metadata Management and Change Management for SOA. Ron Schmelzer And Jason Bloomberg ZapThink, LLC. October 25, Take Credit Code: MMCMSOA

Metadata Management and Change Management for SOA. Ron Schmelzer And Jason Bloomberg ZapThink, LLC. October 25, Take Credit Code: MMCMSOA Metadata Management and Change Management for SOA Ron Schmelzer And Jason Bloomberg ZapThink, LLC October 25, 2005 Take Credit Code: MMCMSOA What are Metadata? Literally, data about data More broadly,

More information

Automation Systems Discrete Event Control Systems and Networked Automation Systems

Automation Systems Discrete Event Control Systems and Networked Automation Systems Automation Systems Discrete Event Control Systems and Networked Automation Systems 2 nd Lecture Control Design Process System theory or Software-Engineering? System Theory Starting point: mathematical

More information

Semantic Web Services and Cloud Platforms

Semantic Web Services and Cloud Platforms Semantic Web Services and Cloud Platforms Lecture 10: Mobile Applications and Web Services module Payam Barnaghi Institute for Communication Systems (ICS) Faculty of Engineering and Physical Sciences University

More information

IEC Implementation of Service Oriented Architecture: Case Study

IEC Implementation of Service Oriented Architecture: Case Study IEEE Conference on Robotics and Automation (ICRA 14), Hong Kong, May, 2014, submitted IEC 61499 Implementation of Service Oriented Architecture: Case Study Valeriy Vyatkin, Luleå University of Technology,

More information

Codesign Framework. Parts of this lecture are borrowed from lectures of Johan Lilius of TUCS and ASV/LL of UC Berkeley available in their web.

Codesign Framework. Parts of this lecture are borrowed from lectures of Johan Lilius of TUCS and ASV/LL of UC Berkeley available in their web. Codesign Framework Parts of this lecture are borrowed from lectures of Johan Lilius of TUCS and ASV/LL of UC Berkeley available in their web. Embedded Processor Types General Purpose Expensive, requires

More information

Topics on Web Services COMP6017

Topics on Web Services COMP6017 Topics on Web Services COMP6017 Dr Nicholas Gibbins nmg@ecs.soton.ac.uk 2013-2014 Module Aims Introduce you to service oriented architectures Introduce you to both traditional and RESTful Web Services

More information

Integrating interoperable automation technologies across the IIoT Layered Databus Architecture

Integrating interoperable automation technologies across the IIoT Layered Databus Architecture EC HORIZON2020 Project Co-Funded by the European Commission Grant agreement: 723248 Call identifier: H2020 FoF-11-2016 Project Start Date: 1 st of October 2016 EC HORIZON2020 Project Co-Funded by the European

More information

6.2 Conceptual Framework for Autonomic Service Compositions

6.2 Conceptual Framework for Autonomic Service Compositions CONTENTS i preliminaries 1 1 introduction 3 1.1 Motivation 6 1.2 Problem Statement 8 1.3 Research Challenges 9 1.4 The Approach 11 1.5 Research Methodology 14 1.6 Thesis Context 16 1.7 Outline 16 2 background

More information

The use of NGN / IMS for Cloud and Grid Services Control and Management

The use of NGN / IMS for Cloud and Grid Services Control and Management The use of NGN / for and Grid Services Control and Management Fabricio Carvalho de Gouveia 2, Richard Good 1, Thomas Magedanz 2, Neco Ventura 1 1 University of Cape Town, Rondebosch, 7700, South Africa

More information

Shao-Wen Yang, Ph.D. Staff Research Scientist Intel Labs, Intel Corporation

Shao-Wen Yang, Ph.D. Staff Research Scientist Intel Labs, Intel Corporation Shao-Wen Yang, Ph.D. Staff Research Scientist Intel Labs, Intel Corporation Content may contain references, logos, trade or service marks that are the property of their respective owners Executive Summary

More information

INRIA ADT galaxy An open agile SOA platform

INRIA ADT galaxy An open agile SOA platform 1 INRIA ADT galaxy An open agile SOA platform Alain Boulze Tuvalu team & galaxy lead Séminaire IN Tech INRIA Montbonnot - 12-nov-2009 galaxy, an open SOA R&D platform enabling agility 2 Open An open internal

More information

DISCRETE-event dynamic systems (DEDS) are dynamic

DISCRETE-event dynamic systems (DEDS) are dynamic IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, VOL. 7, NO. 2, MARCH 1999 175 The Supervised Control of Discrete-Event Dynamic Systems François Charbonnier, Hassane Alla, and René David Abstract The supervisory

More information

SENSINACT - HORIZONTAL OPEN PLATFORM FOR AN INTEROPERABLE IOT WORLD

SENSINACT - HORIZONTAL OPEN PLATFORM FOR AN INTEROPERABLE IOT WORLD SENSINACT - HORIZONTAL OPEN PLATFORM FOR AN INTEROPERABLE IOT WORLD Presented by Rémi DRUILHE - remi.druilhe@cea.fr Project leader: Levent GURGEN - levent.gurgen@cea.fr FROM VERTICAL TO HORIZONTAL IOT

More information

Cloud Computing for Agile Software Development and Resources Management Optimization

Cloud Computing for Agile Software Development and Resources Management Optimization Cloud Computing for Agile Software Development and Resources Management Optimization Grzegorz Kołaczek,, Paweł Świątek, Krzysztof Juszczyszyn, Paweł Stelmach, Łukasz Falas, Adam Grzech, Arkadiusz Sławek

More information

An Overview on Protocol Adaptors for Service Component Integration

An Overview on Protocol Adaptors for Service Component Integration An Overview on Protocol Adaptors for Service Component Integration R. Seguel 1, R. Eshuis, P. Grefen Information Systems Group, School of Industrial Engineering, Eindhoven University of Technology, The

More information

Network Based Hard/Soft Information Fusion Network Architecture/SOA J. Rimland

Network Based Hard/Soft Information Fusion Network Architecture/SOA J. Rimland Network Based Hard/Soft Information Fusion Network Architecture/SOA J. Rimland Objectives: Develop, demonstrate and evaluate an information architecture, cyber-infrastructure, data standards and tools

More information

Information Quality & Service Oriented Architecture

Information Quality & Service Oriented Architecture Information Quality & Oriented Architecture Presentation for the MIT IQ Industry Symposium July 17, 2007 Dave Becker The MITRE Corporation Approved for Public Release; Distribution Unlimited. (070837)

More information

Transforming Cyber-Physical System Models

Transforming Cyber-Physical System Models Transforming Cyber-Physical System Models Nathan Jarus Ph.D. Candidate Department of Electrical and Computer Engineering Advisors: Dr. Sahra Sedigh Sarvestani and Dr. Ali Hurson ISC Graduate Research Symposium

More information

1Z Oracle IT Architecture SOA 2013 Essentials Exam Summary Syllabus Questions

1Z Oracle IT Architecture SOA 2013 Essentials Exam Summary Syllabus Questions 1Z0-475 Oracle IT Architecture SOA 2013 Essentials Exam Summary Syllabus Questions Table of Contents Introduction to 1Z0-475 Exam on Oracle IT Architecture SOA 2013 Essentials 2 Oracle 1Z0-475 Certification

More information

Understanding Software Connector Compatibilities Using a Connector Taxonomy. Nikunj Mehta Ph. D. Candidate

Understanding Software Connector Compatibilities Using a Connector Taxonomy. Nikunj Mehta Ph. D. Candidate Understanding Software Connector Compatibilities Using a Connector Taxonomy Nikunj Mehta Ph. D. Candidate Software Architectures High-level modeling primitives Components, connectors, configurations [SG96]

More information

IPv6 Task Force - Phase II. Welcome

IPv6 Task Force - Phase II. Welcome IPv6 Task Force - Phase II Welcome Joao da Silva European Commission Brussels 12 September 2002 Erkki Liikanen - Date 2002-1 Latest EU action on IPv6 IPv6 Task Force (Phase I) launched April 2001 Recommendations

More information

A graphical user interface for service adaptation

A graphical user interface for service adaptation A graphical user interface for service adaptation Christian Gierds 1 and Niels Lohmann 2 1 Humboldt-Universität zu Berlin, Institut für Informatik, Unter den Linden 6, 10099 Berlin, Germany gierds@informatik.hu-berlin.de

More information

Petri Net Modeling of the Reconfigurable Protocol Stack for Cloud Computing Control Systems

Petri Net Modeling of the Reconfigurable Protocol Stack for Cloud Computing Control Systems Petri Net Modeling of the Reconfigurable Protocol Stack for Cloud Computing Control Systems Dr. Naixue Xiong Georgia State Univ. GA Authors: Chunjie Zhou, Hui Chen, et al. OUTLINE I. What is Cloud NCS?

More information

Web Services Choreography and Process Algebra

Web Services Choreography and Process Algebra Web Services Choreography and Process Algebra 29th April 2004 Steve Ross-Talbot Chief Scientist, Enigmatec Corporation Ltd Chair W3C Web Services Activity Co-chair W3C Web Services Choreography Agenda

More information

Establishing the overall structure of a software system

Establishing the overall structure of a software system Architectural Design Establishing the overall structure of a software system Ian Sommerville 1995 Software Engineering, 5th edition. Chapter 13 Slide 1 Objectives To introduce architectural design and

More information

Automatic Generation of the Production System Control

Automatic Generation of the Production System Control utomatic Generation of the Production System Control Francisco Yastami Nakamoto Escola Politécnica da Universidade de São Paulo, São Paulo, Brazil. UNIFIEO - Universidade Fundação Instituto Ensino para

More information

Knowledge-based Systems for Industrial Applications

Knowledge-based Systems for Industrial Applications Knowledge-based Systems for Industrial Applications 1 The Topic 2 Tasks Goal: Overview of different tasks Systematic and formal characterization as a requirement for theory and implementation Script: Chap.

More information

IEEE Issues in Microgrids Evolution towards a distributed energy future William J. Miller, President, MaCT USA

IEEE Issues in Microgrids Evolution towards a distributed energy future William J. Miller, President, MaCT USA Advanced Energy 2011 - October 12-13, 2011 IEEE Issues in Microgrids Evolution towards a distributed energy future William J. Miller, President, MaCT USA November 16, 2011 Slide 1 November 16, 2011 Slide

More information

PROFINET The leading communication system

PROFINET The leading communication system Titel einer Beispielpräsentation PROFINET The leading communication system Proven and future-oriented PROFINET 2 3 4 Market & Applications PROFINET overview 0 Reasons for PROFINET Industrie 4.0 and PROFINET

More information

Introduction. Faults in Manufacturing Systems. Nomenclature

Introduction. Faults in Manufacturing Systems. Nomenclature L. A. M. Riascos et al L. A. M. Riascos L. A. Moscato and P.E. Miyagi Escola Politécnica da Universidade de São Paulo Depto. de Engenharia Mecatrônica e de Sistemas Mecânicos Av. Prof. Mello Moraes, 2231

More information

ON-LINE QUALITATIVE MODEL-BASED DIAGNOSIS OF TECHNOLOGICAL SYSTEMS USING COLORED PETRI NETS

ON-LINE QUALITATIVE MODEL-BASED DIAGNOSIS OF TECHNOLOGICAL SYSTEMS USING COLORED PETRI NETS ON-LINE QUALITATIVE MODEL-BASED DIAGNOSIS OF TECHNOLOGICAL SYSTEMS USING COLORED PETRI NETS Adrien Leitold 1 Miklós Gerzson 2 Anna I. Pózna 2 and Katalin M. Hangos 2,3 1 Department of Mathematics 3 Process

More information

QoS-aware model-driven SOA using SoaML

QoS-aware model-driven SOA using SoaML QoS-aware model-driven SOA using SoaML Niels Schot A thesis submitted for the degree of MSc Computer Science University of Twente EEMCS - TRESE: Software Engineering Group Examination committee: Luís Ferreira

More information

Architecting IoT Applications with SysADL

Architecting IoT Applications with SysADL 2017 IEEE International Conference on Software Architecture Workshops Architecting IoT Applications with SysADL Jair Leite, Thais Batista Computer Science Department Federal University of Rio Grande do

More information

This presentation is a primer on the BPEL Language. It s part of our series to help prepare you for creating BPEL projects. We recommend you review

This presentation is a primer on the BPEL Language. It s part of our series to help prepare you for creating BPEL projects. We recommend you review This presentation is a primer on the BPEL Language. It s part of our series to help prepare you for creating BPEL projects. We recommend you review this before taking an ActiveVOS course or before you

More information

AN AGENT-ORIENTED EXECUTIVE MODEL FOR SERVICE CHOREOGRAPHY

AN AGENT-ORIENTED EXECUTIVE MODEL FOR SERVICE CHOREOGRAPHY AN AGENT-ORIENTED EXECUTIVE MODEL FOR SERVICE CHOREOGRAPHY MOHAMMAD ZAHIRI, MOHAMMAD R. KHAYYAMBASHI Department of Computer Eng. and Information Technology, University of Sheikh Bahaei, Isfahan, Iran Computer

More information

DISTRIBUTED DATABASES

DISTRIBUTED DATABASES DISTRIBUTED DATABASES INTRODUCTION: Database technology has taken us from a paradigm of data processing in which each application defined and maintained its own data, i.e. one in which data is defined

More information

1. Introduction. 2. Technology concepts

1. Introduction. 2. Technology concepts 1 Table of Contents 1. Introduction...2 2. Technology Concepts...3 2.1. Sharding...4 2.2. Service Oriented Data Architecture...4 2.3. Aspect Oriented Programming...4 3. Technology/Platform-Specific Features...5

More information

SMART WATER MANAGEMENT PROCESS ARCHITECTURE WITH IOT BASED REFERENCE

SMART WATER MANAGEMENT PROCESS ARCHITECTURE WITH IOT BASED REFERENCE Available Online at www.ijcsmc.com International Journal of Computer Science and Mobile Computing A Monthly Journal of Computer Science and Information Technology ISSN 2320 088X IMPACT FACTOR: 6.017 IJCSMC,

More information

CAMBADA 2016: Team Description Paper

CAMBADA 2016: Team Description Paper CAMBADA 2016: Team Description Paper R. Dias, F. Amaral, J. L. Azevedo, B. Cunha, P. Dias, N. Lau, A. J. R. Neves, E. Pedrosa, A. Pereira, J. Silva and A. Trifan Intelligent Robotics and Intelligent Systems

More information

ICD Wiki Framework for Enabling Semantic Web Service Definition and Orchestration

ICD Wiki Framework for Enabling Semantic Web Service Definition and Orchestration ICD Wiki Framework for Enabling Semantic Web Service Definition and Orchestration Dean Brown, Dominick Profico Lockheed Martin, IS&GS, Valley Forge, PA Abstract As Net-Centric enterprises grow, the desire

More information

Assignment 2. Start: 15 October 2010 End: 29 October 2010 VSWOT. Server. Spot1 Spot2 Spot3 Spot4. WS-* Spots

Assignment 2. Start: 15 October 2010 End: 29 October 2010 VSWOT. Server. Spot1 Spot2 Spot3 Spot4. WS-* Spots Assignment 2 Start: 15 October 2010 End: 29 October 2010 In this assignment you will learn to develop distributed Web applications, called Web Services 1, using two different paradigms: REST and WS-*.

More information

COMPASS GRAPHICAL MODELLER

COMPASS GRAPHICAL MODELLER COMPASS GRAPHICAL MODELLER Viet Yen Nguyen Software Modelling and Verification Group RWTH Aachen University Final Presentation Days, April 2012, ESTEC Christian Dehnert, Joost-Pieter Katoen, Thomas Noll

More information

Boubacar Sow Miyagi University

Boubacar Sow Miyagi University HL7 FHIR Towards Achieving the Interoperability of Social Determinants of health Boubacar Sow Miyagi University Tokyo, Feb 22, 2019 The Institute of Electronics, Information and Communication Engineers

More information

A systematic approach for the sequence controller design in manufacturing systems

A systematic approach for the sequence controller design in manufacturing systems Int J Adv Manuf Technol (2005) 25: 754 760 DOI 10.1007/s00170-003-1902-9 ORIGINAL ARTICLE Jin-Shyan Lee Pau-Lo Hsu A systematic approach for the sequence controller design in manufacturing systems Received:

More information

MSI 100, MSI 200 Programmable Safety Controllers

MSI 100, MSI 200 Programmable Safety Controllers MSI 100, MSI 200 Programmable Safety Controllers PRODUCT INFORMATION MSI Safety Devices from Leuze electronic. Programmed for safety. With their easy handling during start-up, flexible configuration option

More information

Reliable Industrial IoT-Based Distributed Automation

Reliable Industrial IoT-Based Distributed Automation Reliable Industrial IoT-Based Distributed Automation Vuk Lesi Duke University Durham, North Carolina vuk.lesi@duke.edu Zivana Jakovljevic University of Belgrade Belgrade, Serbia zjakovljevic@mas.bg.ac.rs

More information

Chapter 1 Database System Concepts and Architecture. Nguyen Thi Ai Thao

Chapter 1 Database System Concepts and Architecture. Nguyen Thi Ai Thao Chapter 1 Database System Concepts and Architecture Nguyen Thi Ai Thao thaonguyen@cse.hcmut.edu.vn Spring - 2016 Contents 1 -based Approach and Database Approach 2 Three-Schema Architecture and Data Independence

More information

Collaboration System using Agent based on MRA in Cloud

Collaboration System using Agent based on MRA in Cloud Collaboration System using Agent based on MRA in Cloud Jong-Sub Lee*, Seok-Jae Moon** *Department of Information & Communication System, Semyeong University, Jecheon, Korea. ** Ingenium college of liberal

More information

Modelling, analysing and reusing composite cloud applications

Modelling, analysing and reusing composite cloud applications Modelling, analysing and reusing composite cloud applications Jacopo Soldani Dipartimento di Informatica, Università di Pisa SummerSOC 2018, 25 th of June 2018 Mail: soldani@di.unipi.it Web: http://pages.di.unipi.it/soldani

More information

Simplify EO data exploitation for information-based services

Simplify EO data exploitation for information-based services RESEARch And SERvicE SuppORt Simplify EO data exploitation for information-based services www.esa.int European Space Agency As part of ESA s Earth Observation Ground Segment Department, RSS has the mission

More information

Verification and Diagnostics Framework in ATLAS Trigger/DAQ

Verification and Diagnostics Framework in ATLAS Trigger/DAQ Verification and Diagnostics Framework in ATLAS Trigger/DAQ M.Barczyk, D.Burckhart-Chromek, M.Caprini 1, J.Da Silva Conceicao, M.Dobson, J.Flammer, R.Jones, A.Kazarov 2,3, S.Kolos 2, D.Liko, L.Lucio, L.Mapelli,

More information

Cloud-based Open Architecture Approach for Common Enterprise Ground Services

Cloud-based Open Architecture Approach for Common Enterprise Ground Services Cloud-based Open Architecture Approach for Common Enterprise Ground Services GSAW Conference Feb. 29-March 3, 2016 2016 by Booz Allen Hamilton. Published by The Aerospace Corporation with permission. Agenda

More information

HARDWARE SOFTWARE CO-DESIGN

HARDWARE SOFTWARE CO-DESIGN HARDWARE SOFTWARE CO-DESIGN BITS Pilani Dubai Campus Dr Jagadish Nayak Models and Architecture BITS Pilani Dubai Campus Models and Architecture Model: a set of functional objects and rules for composing

More information

Dependability Analysis of Web Service-based Business Processes by Model Transformations

Dependability Analysis of Web Service-based Business Processes by Model Transformations Dependability Analysis of Web Service-based Business Processes by Model Transformations László Gönczy 1 1 DMIS, Budapest University of Technology and Economics Magyar Tudósok krt. 2. H-1117, Budapest,

More information

Specific requirements on the da ra metadata schema

Specific requirements on the da ra metadata schema Specific requirements on the da ra metadata schema Nicole Quitzsch GESIS - Leibniz Institute for the Social Sciences Workshop: Metadata and Persistent Identifiers for Social and Economic Data 07-08 May

More information

Exploring Ontologies to Support the Establishment of Reference Architectures: An Example on Software Testing

Exploring Ontologies to Support the Establishment of Reference Architectures: An Example on Software Testing Exploring Ontologies to Support the Establishment of Reference Architectures: An Example on Software Testing Elisa Yumi Nakagawa 1, Ellen Francine Barbosa 1, José Carlos Maldonado 1 1 Instituto de Ciências

More information

DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING CS SOFTWARE ENGINEERING

DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING CS SOFTWARE ENGINEERING DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING CS 6403 - SOFTWARE ENGINEERING QUESTION BANK TWO MARKS UNIT I SOFTWARE PROCESS AND PROJECT MANAGEMENT 1. What is software engineering? Software engineering

More information

L18 - Studio 5000 and Logix Advanced Lab New and existing features

L18 - Studio 5000 and Logix Advanced Lab New and existing features L18 - Studio 5000 and Logix Advanced Lab New and existing features PUBLIC PUBLIC - 5058-CO900G PUBLIC 2 Lab Overview Explore the Studio 5000 Design Environment. Learn how to improve efficiencies using

More information

Composability Test of BOM based models using Petri Nets

Composability Test of BOM based models using Petri Nets I. Mahmood, R. Ayani, V. Vlassov and F. Moradi 7 Composability Test of BOM based models using Petri Nets Imran Mahmood 1, Rassul Ayani 1, Vladimir Vlassov 1, and Farshad Moradi 2 1 Royal Institute of Technology

More information

Architectural Patterns. Architectural Patterns. Layers: Pattern. Architectural Pattern Examples. Layer 3. Component 3.1. Layer 2

Architectural Patterns. Architectural Patterns. Layers: Pattern. Architectural Pattern Examples. Layer 3. Component 3.1. Layer 2 Architectural Patterns Architectural Patterns Dr. James A. Bednar jbednar@inf.ed.ac.uk http://homepages.inf.ed.ac.uk/jbednar Dr. David Robertson dr@inf.ed.ac.uk http://www.inf.ed.ac.uk/ssp/members/dave.htm

More information

Architectural Patterns

Architectural Patterns Architectural Patterns Dr. James A. Bednar jbednar@inf.ed.ac.uk http://homepages.inf.ed.ac.uk/jbednar Dr. David Robertson dr@inf.ed.ac.uk http://www.inf.ed.ac.uk/ssp/members/dave.htm SAPM Spring 2012:

More information

Standardized M2M Software Development Platform Contents

Standardized M2M Software Development Platform Contents White Paper Standardized Service Platform Service-Oriented RESTful Architecture Scalable IP-based End-to-End Solution Flexible Application API Accelerating Growth of M2M Service Applications and Deployment

More information

A Planning-Based Approach for the Automated Configuration of the Enterprise Service Bus

A Planning-Based Approach for the Automated Configuration of the Enterprise Service Bus A Planning-Based Approach for the Automated Configuration of the Enterprise Service Bus Zhen Liu, Anand Ranganathan, and Anton Riabov IBM T.J. Watson Research Center {zhenl,arangana,riabov}@us.ibm.com

More information

AADS+: AADL Simulation including the Behavioral Annex

AADS+: AADL Simulation including the Behavioral Annex AADS+: AADL Simulation including the Behavioral Annex Fifth IEEE International workshop UML and AADL 24th March 2010, Oxford, UK Roberto Varona Gómez Eugenio Villar {roberto, evillar}@teisa.unican.es University

More information

A Roadmap-Based Framework for Acquiring More Agile and Responsive C4I Systems. GMU-AFCEA C4I Symposium 19 May 2010 Eric Yuan

A Roadmap-Based Framework for Acquiring More Agile and Responsive C4I Systems. GMU-AFCEA C4I Symposium 19 May 2010 Eric Yuan A Roadmap-Based Framework for Acquiring More Agile and Responsive C4I Systems GMU-AFCEA C4I Symposium 19 May 2010 Eric Yuan (yuan_eric@bah.com) Agenda C4I Acquisition Challenges Changing the Acquisition

More information

VETRI VINAYAHA COLLEGE OF ENGINEERING AND TECHNOLOGY DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING

VETRI VINAYAHA COLLEGE OF ENGINEERING AND TECHNOLOGY DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING VETRI VINAYAHA COLLEGE OF ENGINEERING AND TECHNOLOGY DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING CS6403 SOFTWARE ENGINEERING II year/ IV sem CSE (Regulation 2013) UNIT 1- SOFTWARE PROCESS AND PROJECT

More information

ISO/IEC INTERNATIONAL STANDARD. Software and system engineering High-level Petri nets Part 1: Concepts, definitions and graphical notation

ISO/IEC INTERNATIONAL STANDARD. Software and system engineering High-level Petri nets Part 1: Concepts, definitions and graphical notation INTERNATIONAL STANDARD ISO/IEC 15909-1 First edition 2004-12-01 Software and system engineering High-level Petri nets Part 1: Concepts, definitions and graphical notation Ingénierie du logiciel et du système

More information

Basic Concepts. Network Management. Spring Bahador Bakhshi CE & IT Department, Amirkabir University of Technology

Basic Concepts. Network Management. Spring Bahador Bakhshi CE & IT Department, Amirkabir University of Technology Basic Concepts Network Management Spring 2018 Bahador Bakhshi CE & IT Department, Amirkabir University of Technology This presentation is based on the slides listed in references. Outline Introduction:

More information

The innovative interface for the last few meters to the process

The innovative interface for the last few meters to the process Industrial Communication The innovative interface for the last few meters to the process IO-Link: optimal integration of sensors and actuators siemens.com/io-link Complete communication down to the last

More information

1. CONCEPTUAL MODEL 1.1 DOMAIN MODEL 1.2 UML DIAGRAM

1. CONCEPTUAL MODEL 1.1 DOMAIN MODEL 1.2 UML DIAGRAM 1 1. CONCEPTUAL MODEL 1.1 DOMAIN MODEL In the context of federation of repositories of Semantic Interoperability s, a number of entities are relevant. The primary entities to be described by ADMS are the

More information

Model-Based Software Design and Adaptation

Model-Based Software Design and Adaptation Model-Based Software Design and Adaptation Hassan Gomaa and Mohamed Hussein Department of Information and Software Engineering George Mason University Fairfax, VA USA hgomaa@gmu.edu SEAMS 07 Minneapolis,

More information

MURPHY S COMPUTER LAWS

MURPHY S COMPUTER LAWS Bosch Workshop 04/08/18 Brandenburg University of Technology at Cottbus, Dep. of Computer Science MURPHY S COMPUTER LAWS (1) No program without faults. DEPENDABLE SOFTWARE - AN UNREALISTIC DREAM OR JUST

More information

CAS 703 Software Design

CAS 703 Software Design Dr. Ridha Khedri Department of Computing and Software, McMaster University Canada L8S 4L7, Hamilton, Ontario Acknowledgments: Material based on Software by Tao et al. (Chapters 9 and 10) (SOA) 1 Interaction

More information

Multi Channel Architecture Model Based on Service Oriented Integration

Multi Channel Architecture Model Based on Service Oriented Integration 82 Multi Channel Architecture Model Based on Service Oriented Integration Ion LUNGU, Davian POPESCU, Anda VELICANU Academy of Economic Studies, Bucharest, România The volume of data and numerous applications

More information

Sommerville Chapter 6 The High-Level Structure of a Software Intensive System. Architectural Design. Slides courtesy Prof.

Sommerville Chapter 6 The High-Level Structure of a Software Intensive System. Architectural Design. Slides courtesy Prof. Sommerville Chapter 6 The High-Level Structure of a Software Intensive System Architectural Design Slides courtesy Prof.Mats Heimdahl 1 Fall 2 2013 Architectural Parallels Architects are the technical

More information

ACF Interoperability Human Services 2.0 Overview. August 2011 David Jenkins Administration for Children and Families

ACF Interoperability Human Services 2.0 Overview. August 2011 David Jenkins Administration for Children and Families ACF Interoperability Human Services 2.0 Overview August 2011 David Jenkins Administration for Children and Families Interoperability: An Operational Definition Creating a Health and Human Service System

More information

Tasking Wireless Sensor Nodes in the Internet of Things

Tasking Wireless Sensor Nodes in the Internet of Things Tasking Wireless Sensor Nodes in the Internet of Things Benjamin Le Corre, Jérémie Leguay, Mario Lopez-Ramos Thales Communications 160 Bd de Valmy, BP 82 92704 Colombes Cedex, France {firstname.name}@fr.thalesgroup.com

More information

Carrier Cloud Opportunity

Carrier Cloud Opportunity Carrier Cloud Opportunity October 2011 Koaru Kenyoshi NEC Cloud as an Enabler of New ICT Solutions Cloud service is a new business models created by the Internet innovators and may develop a new business

More information

Enhancing Business Processes Using Semantic Reasoning. Monica. J. Martin Sun Java Web Services. 26 May

Enhancing Business Processes Using Semantic Reasoning. Monica. J. Martin Sun Java Web Services. 26 May Enhancing Business Processes Using Semantic Reasoning Monica. J. Martin Sun Java Web Services www.sun.com 26 May 2005 Presentation Outline Industry landscape Standards landscape Needs for and use of semantic

More information

Welcome to the New DocuSign Experience!

Welcome to the New DocuSign Experience! Welcome to the! Sending an Envelope If you are reading this then you have begun your transition from the DocuSign application to the New DocuSign Experience. We believe you will find the to be a refreshing

More information

Implementation of Reconfiguration Management in Fault-Adaptive Control Systems

Implementation of Reconfiguration Management in Fault-Adaptive Control Systems IEEE Instrumentation and Measurement Technology Conference Anchorage, AK, USA, 21-23 May 2002 Implementation of Reconfiguration Management in Fault-Adaptive Control Systems Gyula Simon *#, Tamás Kovácsházy

More information

SCAlable & ReconfigurabLe Electronics platforms and Tools SCARLETT

SCAlable & ReconfigurabLe Electronics platforms and Tools SCARLETT SCAlable & ReconfigurabLe Electronics platforms and Tools SCARLETT From the Integrated Modular Avionics the First Generation architecture to the Distributed Modular Electronics solution Page 1 Collaborative

More information