Modeling for Smart Cyber-Physical Systems Application to Farming Systems
|
|
|
- Judith Martin
- 5 years ago
- Views:
Transcription
1 Modeling for Smart Cyber-Physical s Application to Farming s Benoit Combemale (Inria & Univ. Rennes 1) in collaboration with OBEO, INRA, and IRIT with the support of the GEMOC initiative Thanks to many discussions with Betty Cheng, Jeff Gray and Ana Moreira
2 Complex -Intensive s Multi-engineering approach Some forms of domain-specific modeling intensive systems as integration layer Openness and dynamicity - 2
3 Avionics Mechanical Structure Airlines Human- Machine Interaction Aerodynamics Propulsion Multiple concerns, stakeholders, tools and methods Environmental Impact Safety Regulations Communications Navigation Authorities 3
4 Avionics Mechanical Structure Airlines Human- Machine Interaction Aerodynamics Heterogeneous Modeling Environmental Impact Propulsion Safety Regulations Communications Navigation Authorities 4
5 «Acceptance Test» Complaint Acceptance Test «Service Provider» Complaint «Recovery Block» Complaint Recovery Block «Service Provider» Complaint Alternate «Client» User Citizen «Service Provider» Notification «Acceptance Test» Notification Acceptance Test «Recovery Block» Notification Recovery Block «Service Provider» Notification Alternate Model-Driven Engineering (MDE) Distribution Use case Fault tolerance Security Contexts Roles Views Activities Functional behavior Change one Aspect and Automatically Re-Weave: From Product Lines..to Dynamically Adaptive s borrow return deliver setdamaged res erv Book state e : String User Platform Model Code Model Design Model - 5
6 «Acceptance Test» Complaint Acceptance Test «Service Provider» Complaint «Recovery Block» Complaint Recovery Block «Service Provider» Complaint Alternate «Client» User Citizen «Service Provider» Notification «Acceptance Test» Notification Acceptance Test «Recovery Block» Notification Recovery Block «Service Provider» Notification Alternate Model-Driven Engineering (MDE) Distribution Use case Fault tolerance Security Contexts Roles Views Activities Functional behavior Change one Aspect and Automatically Re-Weave: From Product Lines..to Dynamically Adaptive s borrow return deliver setdamaged res erv Book state e : String User Platform Model Code Model Design Model "Perhaps surprisingly, the majority of MDE examples in our study followed domain-specific modeling paradigms" J. Whittle, J. Hutchinson, and M. Rouncefield, The State of Practice in Model- Driven Engineering, IEEE, vol. 31, no. 3, 2014, pp
7 From s Models Engineers software design models for functional and non-functional properties - 7
8 To Cyber-Physical s Models Cyber-Physical Engineers <<senses>> <<controls>> multi-engineering design models for global system properties runtime models (i.e., included into the control loop) for dynamic adaptations sensors Physical actuators - 8
9 To Smart Cyber-Physical s Models Smart Cyber-Physical Engineers <<senses>> sensors <<controls>> actuators analysis models (incl. large-scale simulation, constraint solver) of the surrounding context related to global phenomena (e.g. physical laws) probabilistic models (predictive techniques from AI, machine learning, SBSE) user models (incl., general public/community preferences) and regulations (incl., economic/social/political laws) Context Physical Not a solution to an isolated problem as Doug said - 9
10 To Smart Cyber-Physical s Models Smart Cyber-Physical Engineers <<senses>> sensors <<controls>> actuators analysis models (incl. large-scale simulation, constraint solver) of the surrounding context related to global phenomena (e.g. physical laws) An MDE-Based Approach for probabilistic Data Integration models (predictive and Socio- techniques from AI, machine Technical learning, Coordination SBSE) in Smart CPS Development user models (incl., general public/community preferences) and regulations (incl., economic/social/political laws) Context Physical - 10
11 A MDE-based approach to develop Smart CPS Convergence of engineering and scientific models A modeling framework to support the integration of data from sensors, open data, laws/regulation, scientific models, engineeering models and preferences. Domain-specific languages for socio-technical coordination to engage engineers, scientist, decision makers, communities and general public to integrate analysis/probabilistic/user models into the control loop of smart CPS Benoit Combemale, Betty Cheng, Ana Moreira, Jean-Michel Bruel, Jeff Gray, "Modeling for Sutainability," INRIA Research Report,
12 Using MDE in Smart-CPS Development Cyber-Physical s Models Sustainability (e.g., smart grid) Engineers <<senses>> sensors <<controls>> actuators Energy Production/ Consumption Context - 12
13 Using MDE in Smart-CPS Development Based on informed decisions with environmental, social and economic laws with open data Models Sustainability (e.g., smart grid) Engineers <<senses>> sensors <<controls>> actuators Simulation Tool (incl. constraint solver, prediction tool, etc.) Energy Production/ Consumption Context Physical Laws (economic, environmental, social) Heuristics-Laws Open Data Scientists - 13
14 Using MDE in Smart-CPS Development Providing a broader engagement with "what-if" scenarios for general public and policy makers Models Sustainability (e.g., smart grid) Engineers MEEs ("what-if" scenarios) <<senses>> sensors <<controls>> actuators General Public Policy Makers Simulation Tool (incl. constraint solver, prediction tool, etc.) Energy Production/ Consumption Context Physical Laws (economic, environmental, social) Heuristics-Laws Open Data Scientists - 14
15 Using MDE in Smart-CPS Development Supporting automatic adaptation for dynamically adaptable systems Models Sustainability (e.g., smart grid) Engineers MEEs ("what-if" scenarios) <<senses>> sensors <<controls>> actuators General Public Policy Makers Simulation Tool (incl. constraint solver, prediction tool, etc.) Energy Production/ Consumption Context Physical Laws (economic, environmental, social) Heuristics-Laws Open Data Scientists - 15
16 Using MDE in Smart-CPS Development Application to health, farming system, smart grid Models Sustainability (e.g., smart grid) Engineers MEEs ("what-if" scenarios) <<senses>> sensors <<controls>> actuators General Public Policy Makers Simulation Tool (incl. constraint solver, prediction tool, etc.) Energy Production/ Consumption Context Physical Laws (economic, environmental, social) Heuristics-Laws Open Data Scientists - 16
17 Farming Modeling Jean-Michel Bruel, Benoit Combemale, Ileana Ober, Hélène Raynal, "MDE in Practice for Computational Science," International Conference on Computational Science (ICCS), Models Sustainability (e.g., smart grid) Irrigation Engineers MEEs ("what-if" scenarios) <<senses>> sensors <<controls>> actuators Farmers General Public Policy Makers Simulation Tool (incl. constraint solver, prediction tool, etc.) Energy Production/ Consumption Context Agronomist Physical Laws (economic, environmental, social) Heuristics-Laws Open Data in collaboration with Scientists - 17
18 Farming Modeling Jean-Michel Bruel, Benoit Combemale, Ileana Ober, Hélène Raynal, "MDE in Practice for Computational Science," International Conference on Computational Science (ICCS), Models Sustainability (e.g., smart grid) Irrigation Farmers farm definition General Public Policy Makers Engineers MEEs ("what-if" scenarios) activity description Agronomist Physical Laws (economic, environmental, social) Heuristics-Laws Vegetal and animal lifecycle Scientists Simulation Tool (incl. constraint solver, prediction tool, etc.) Open Data <<senses>> sensors hydric stress climate serie Context <<controls>> actuators Energy Production/ Consumption in collaboration with - 18
19 Farming Modeling Jean-Michel Bruel, Benoit Combemale, Ileana Ober, Hélène Raynal, "MDE in Practice for Computational Science," International Conference on Computational Science (ICCS), Models Sustainability (e.g., smart grid) Irrigation Farmers farm definition General Public Policy Makers Engineers MEEs ("what-if" scenarios) activity description Agronomist water to be irrigated biomass growth, water consomption and activity schedule Physical Laws (economic, environmental, social) Heuristics-Laws Vegetal and animal lifecycle Scientists Simulation Tool (incl. constraint solver, prediction tool, etc.) Open Data climate serie <<senses>> sensors hydric stress Context <<controls>> actuators Energy Production/ Consumption in collaboration with - 19
20 Farming Modeling Heterogeneous modeling and simulation Graphical animation and debugging (incl. breakpoints, timeline, step forward/backward, stimuli management, etc.) Multi-dimensional and efficient trace management Concurrency simulation and formal analysis
21 Globalization of Modeling Languages Challenge: DSMLs are developed in an independent manner to meet the specific needs of domain experts, DSMLs should also have an associated framework that regulates interactions needed to support collaboration and work coordination across different system domains. Benoit Combemale, Julien DeAntoni, Benoit Baudry, Robert B. France, Jean-Marc Jezequel, Jeff Gray, "Globalizing Modeling Languages," Computer, vol. 47, no. 6, pp , June, 2014 Farming Modeling with EMF, xtext, Sirius and GEMOC - 21
22 Globalization of Modeling Languages Supporting coordinated use of modeling languages leads to what we call the globalization of modeling languages, that is, the use of multiple modeling languages to support the socio-technical coordination required in systems and software engineering. Betty H. C. Cheng, Benoît Combemale, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe, "Globalizing Domain-Specific Languages", Springer 2015, ISBN Farming Modeling with EMF, xtext, Sirius and GEMOC - 22
23 Globalization of Modeling Language Context: new emerging DSML in open world impossible a priori unification require a posteriori globalization Objective: socio-technical coordination to support interactions across different system aspects Language-based support for technical integration of multiples domains Language-based support for social translucence Betty H. C. Cheng, Benoît Combemale, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe, "Globalizing Domain-Specific Languages", Springer 2015, ISBN Farming Modeling with EMF, xtext, Sirius and GEMOC - 23
24 Open Challenges (just of few!) Diversity/complexity of DSL relationships far beyond structural and behavioral alignment, refinement, decomposition Separation of concerns vs. Zoom-in/Zoom-out Live and collaborative modeling minimize the round trip between the DSL specification, the model, and its application (interpretation/compilation), and support personalization (views, properties...) Model experiencing environnements Integration of analysis and probabilistic models into DSL semantics - 24
25 "If you believe that language design can significantly affect the quality of software systems, then it should follow that language design can also affect the quality of energy systems. And if the quality of such energy systems will, in turn, affect the livability of our planet, then it s critical that the language development community give modeling languages the attention they deserve." Bret Victor (Nov., 2015),
Globalizing Modeling Languages
Globalizing Modeling Languages Benoit Combemale, Julien Deantoni, Benoit Baudry, Robert B. France, Jean-Marc Jézéquel, Jeff Gray To cite this version: Benoit Combemale, Julien Deantoni, Benoit Baudry,
On the Globalization of Domain-Specific Languages
On the Globalization of Domain-Specific Languages Betty H.C. Cheng, Benoit Combemale, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe To cite this version: Betty H.C. Cheng, Benoit Combemale, Robert
Editorial for the Special Issue on Aspects and Model-Driven Engineering
Editorial for the Special Issue on Aspects and Model-Driven Engineering Robert France 1 and Jean-Marc Jézéquel 2 1 Colorado State University, Fort Collins, Colorado, USA, france@cs.colostate.edu, 2 IRISA-Université
Multi-View Design for Cyber-Physical Systems
Multi-View Design for Cyber-Physical Systems Hui Zhao, Ludovic Apvrille, Frédéric Mallet To cite this version: Hui Zhao, Ludovic Apvrille, Frédéric Mallet. Multi-View Design for Cyber-Physical Systems.
MDE in Practice for Computational Science
Jean-Michel Bruel, Benoit Combemale, Ileana Ober, Hélène Raynal To cite this version: Jean-Michel Bruel, Benoit Combemale, Ileana Ober, Hélène Raynal. MDE in Practice for Computational Science. INTERNATIONAL
The AMADEOS SysML Profile for Cyber-physical Systems-of-Systems
AMADEOS Architecture for Multi-criticality Agile Dependable Evolutionary Open System-of-Systems FP7-ICT-2013.3.4 - Grant Agreement n 610535 The AMADEOS SysML Profile for Cyber-physical Systems-of-Systems
William Milam Ford Motor Co
Sharing technology for a stronger America Verification Challenges in Automotive Embedded Systems William Milam Ford Motor Co Chair USCAR CPS Task Force 10/20/2011 What is USCAR? The United States Council
Building safe, smart, and efficient embedded systems for applications in life-critical control, communication, and computation. http://precise.seas.upenn.edu The Future of CPS We established the Penn Research
6 panelists and 1 moderator
In 2016 6 panelists and 1 moderator They enjoyed their arguments so much They wrote a paper about it THIS IS THAT PAPER User Experience for Model-Driven Engineering: Challenges and Future Directions -
Cyber-Physical Systems: Challenges for Systems Engineering
Cyber-Physical Systems: Challenges for Systems Engineering agendacps Closing Event April 12th, 2012, EIT ICT Labs, Berlin Eva Geisberger fortiss An-Institut der Technischen Universität München Cyber-Physical
EduSymp Panel How do we inspire students to model?
EduSymp 2012 - Panel How do we inspire students to model? Oct. 1st, 2012 Innsbruck AUSTRIA The panelists: Colin ATKINSON Full Professor at University of Mannheim, Germany currently the head of the Software
Framework Programme 7
Framework Programme 7 1 Joining the EU programmes as a Belarusian 1. Introduction to the Framework Programme 7 2. Focus on evaluation issues + exercise 3. Strategies for Belarusian organisations + exercise
Software Engineering: A Practitioner s Approach, 7/e. Slides copyright 1996, 2001, 2005, 2009 by Roger S. Pressman
Chapter 9 Architectural Design Slide Set to accompany Software Engineering: A Practitioner s Approach, 7/e by Roger S. Pressman Slides copyright 1996, 2001, 2005, 2009 by Roger S. Pressman For non-profit
Cross-layer model-based framework for multi-objective design of Reconfigurable systems in uncertain hybrid environments
SmartCPS-concertation Event Brussels, 30 th Jan. 2017 Cross-layer model-based framework for multi-objective design of Reconfigurable systems in uncertain hybrid environments SRC: Sensors 2015, 15(4), 7172-7205;
Chapter 2 Distributed Consensus Estimation of Wireless Sensor Networks
Chapter 2 Distributed Consensus Estimation of Wireless Sensor Networks Recently, consensus based distributed estimation has attracted considerable attention from various fields to estimate deterministic
A CYBER PHYSICAL SYSTEMS APPROACH FOR ROBOTIC SYSTEMS DESIGN
Proceedings of the Annual Symposium of the Institute of Solid Mechanics and Session of the Commission of Acoustics, SISOM 2015 Bucharest 21-22 May A CYBER PHYSICAL SYSTEMS APPROACH FOR ROBOTIC SYSTEMS
Model-Driven Engineering of Embedded Real-Time Systems
Model-Driven Engineering of Embedded Real-Time Systems Federico Ciccozzi 1 Mälardalen University, Mälardalen Real-Time Research Center federico.ciccozzi@mdh.se 1 Introduction 1.1 Research Topic Model-Based
Program Automotive Security and Privacy
FFI BOARD FUNDED PROGRAM Program Automotive Security and Privacy 2015-11-03 Innehållsförteckning 1 Abstract... 3 2 Background... 4 3 Program objectives... 5 4 Program description... 5 5 Program scope...
The Key to the Internet-of-Things: Conquering Complexity One Step at a Time
The Key to the Internet-of-Things: Conquering Complexity One Step at a Time at IEEE QRS2017 Prague, CZ June 19, 2017 Adam T. Drobot Wayne, PA 19087 Outline What is IoT? Where is IoT in its evolution? A
Mixing Polyedra and Boxes Abstract Domain for Constraint Solving
Mixing Polyedra and Boxes Abstract Domain for Constraint Solving Marie Pelleau 1,2 Emmanuel Rauzy 1 Ghiles Ziat 2 Charlotte Truchet 3 Antoine Miné 2 1. École Normale Supérieure, France 2. Université Pierre
Introduction to Real-Time Systems
Introduction to Real-Time Systems Real-Time Systems, Lecture 1 Martina Maggio and Karl-Erik Årzén 16 January 2018 Lund University, Department of Automatic Control Content [Real-Time Control System: Chapter
Towards EU-US Collaboration on the Internet of Things (IoT) & Cyber-physical Systems (CPS)
Towards EU-US Collaboration on the Internet of Things (IoT) & Cyber-physical Systems (CPS) Christian Sonntag Senior Researcher & Project Manager, TU Dortmund, Germany ICT Policy, Research and Innovation
Innovative Approaches in Collaborative Planning
Innovative Approaches in Collaborative Planning Lessons Learned from Public and Private Sector Roadmaps Jack Eisenhauer Senior Vice President September 17, 2009 Ross Brindle Program Director Energetics
A Model-Driven Approach to Systems-of-Systems Engineering
A Model-Driven Approach to Systems-of-Systems Engineering The Australian National University September 2008 Outline 1 An application domain 2 Advantages of MDE Limitations of MDE 3 One sentence An application
Model-Driven Engineering: Realizing the vision
Model-Driven Engineering: Realizing the vision Robert B. France Dept. of Computer Science Colorado State University Fort Collins, Colorado, USA france@cs.colostate.edu About the author Organizer and steering
ICT Enhanced Buildings Potentials
ICT Enhanced Buildings Potentials 24 th CIB W78 Conference "Bringing ICT knowledge to work". June 26-29 2007, Maribor, Slovenia. Per Christiansson Aalborg University 27.6.2007 CONTENT Intelligent Building
SOFTWARE ARCHITECTURE
SOFTWARE ARCHITECTURE Foundations, Theory, and Practice Richard N. Taylor University of California, Irvine Nenad Medvidovic University of Southern California Eric M. Dashofy The Aerospace Corporation WILEY
SWEN 256 Software Process & Project Management
SWEN 256 Software Process & Project Management What is quality? A definition of quality should emphasize three important points: 1. Software requirements are the foundation from which quality is measured.
review core topics Session 2: Production
ECSEL-Austria New Activities Vienna, November 10-11, 2016 Venue: C3 Convention Center Alfred-Dallinger-Platz 1/ Schlachthausgasse 28 1030 Wien review core topics Session 2: Production Knut Hufeld, +49
The Role of Computer Science and Software Technology in Organizing Universities for Industry 4.0 and Beyond
The Role of Computer Science and Software Technology in Organizing Universities for Industry 4.0 and Beyond Prof. dr. ir. Mehmet Aksit m.aksit@utwente.nl Department of Computer Science, University of Twente,
Software-Intensive Systems Producibility
Pittsburgh, PA 15213-3890 Software-Intensive Systems Producibility Grady Campbell Sponsored by the U.S. Department of Defense 2006 by Carnegie Mellon University SSTC 2006. - page 1 Producibility
UNIT-III LIFE-CYCLE PHASES
INTRODUCTION: UNIT-III LIFE-CYCLE PHASES - If there is a well defined separation between research and development activities and production activities then the software is said to be in successful development
Symposium: Urban Energy innovation
Symposium: Urban Energy innovation Smart Monitoring, Management & Control Referent: Simone Baldi (3mE, TU Delft) Co-Referent: Wilbert Prinssen (Technolution) Chair: Laure Itard (BK, TU Delft) 30 May, 2018
Action Line Cyber-Physical Systems Addressing the challenges and fostering innovation in Cyber-Physical Systems
Action Line Cyber-Physical Systems Addressing the challenges and fostering innovation in Cyber-Physical Systems Dr. Holger Pfeifer Technische Universität München EIT ICT Labs Action Line Lead Cyber-Physical
Engineered Resilient Systems DoD Science and Technology Priority
Engineered Resilient Systems DoD Science and Technology Priority Mr. Scott Lucero Deputy Director, Strategic Initiatives Office of the Deputy Assistant Secretary of Defense (Systems Engineering) Scott.Lucero@osd.mil
An Australian roadmap for ICT research and development for ageing? Lessons from a European Union initiative
An Australian roadmap for ICT research and development for ageing? Lessons from a European Union initiative Liz Cummings and Paddy Nixon, University of Tasmania Aim A vision for ICT and Ageing which will
Credible Autocoding for Verification of Autonomous Systems. Juan-Pablo Afman Graduate Researcher Georgia Institute of Technology
Credible Autocoding for Verification of Autonomous Systems Juan-Pablo Afman Graduate Researcher Georgia Institute of Technology Agenda 2 Introduction Expert s Domain Next Generation Autocoding Formal methods
Looking ahead : Technology trends driving business innovation.
NTT DATA Technology Foresight 2018 Looking ahead : Technology trends driving business innovation. Technology will drive the future of business. Digitization has placed society at the beginning of the next
POLICY SIMULATION AND E-GOVERNANCE
POLICY SIMULATION AND E-GOVERNANCE Peter SONNTAGBAUER cellent AG Lassallestraße 7b, A-1020 Vienna, Austria Artis AIZSTRAUTS, Egils GINTERS, Dace AIZSTRAUTA Vidzeme University of Applied Sciences Cesu street
SMART CITY: A SURVEY
SMART CITY: A SURVEY 1 Sonal Ade, 2 Dr.D.V. Rojatkar 1 Student, 2 Professor Dept Of Electronics And Telecommunication Government College Of Engineering, Chandrapur, Maharastra. Abstract-A smart city is
Research on the Mechanism of Net-based Collaborative Product Design
2016 International Conference on Manufacturing Science and Information Engineering (ICMSIE 2016) ISBN: 978-1-60595-325-0 Research on the Mechanism of Net-based Collaborative Product Design QINHUA GUO and
To Model or Not to Model? Formalizing the Conceptual Modeling Thought Process to Benefit Engineers and Scientists
To Model or Not to Model? Formalizing the Conceptual Modeling Thought Process to Benefit Engineers and Scientists Dov Dori Massachusetts Institute of Technology Technion, Israel Institute of Technology
IEEE IoT Vertical and Topical Summit - Anchorage September 18th-20th, 2017 Anchorage, Alaska. Call for Participation and Proposals
IEEE IoT Vertical and Topical Summit - Anchorage September 18th-20th, 2017 Anchorage, Alaska Call for Participation and Proposals With its dispersed population, cultural diversity, vast area, varied geography,
LDS POV THE FUTURE OF WORK IN THE NEXT INDUSTRIAL REVOLUTION: 2 FRAMEWORKS
LDS POV THE FUTURE OF WORK IN THE NEXT INDUSTRIAL REVOLUTION: 2 FRAMEWORKS While Klaus Schwab marks our moment today as the Fourth Industrial Revolution, Jeremy Rifkin marks it as the Third Industrial
High Performance Computing
High Performance Computing and the Smart Grid Roger L. King Mississippi State University rking@cavs.msstate.edu 11 th i PCGRID 26 28 March 2014 The Need for High Performance Computing High performance
Cyber-Physical Systems Design: Foundations, Methods, and Integrated Tool Chains.
Cyber-Physical Systems Design: Foundations, Methods, and Integrated Tool Chains John.Fitzgerald@ncl.ac.uk Carl Gamble, Peter Gorm Larsen, Ken Pierce, Jim Woodcock 1 2008-2012: Industry deployment of advanced
Beyond BIM. Knowledge management for a smarter built environment. Shaun Howell and Yacine Rezgui
Beyond BIM Knowledge management for a smarter built environment Shaun Howell and Yacine Rezgui Beyond BIM Knowledge management for a smarter built environment Shaun Howell and Yacine Rezgui ii Acknowledgements
Integrated Data Handling and Visualization
Integrated Data Handling and Visualization Module of Remote Sensing and GIS Integration Course 2017 Lammert Kooistra, Ron van Lammeren, John Stuiver Environmental Resource Management in the Anthropocene
Lighting and Smart Cities
David Scheer, AIA BEMP Sr Product Manager, Special Projects Lighting and Smart Cities David Scheer, AIA BEMP, Sr Product Manager, Special Projects 2013 Lighting and Smart Cities David Scheer, AIA BEMP,
ENHANCED HUMAN-AGENT INTERACTION: AUGMENTING INTERACTION MODELS WITH EMBODIED AGENTS BY SERAFIN BENTO. MASTER OF SCIENCE in INFORMATION SYSTEMS
BY SERAFIN BENTO MASTER OF SCIENCE in INFORMATION SYSTEMS Edmonton, Alberta September, 2015 ABSTRACT The popularity of software agents demands for more comprehensive HAI design processes. The outcome of
Towards Trusted AI Impact on Language Technologies
Towards Trusted AI Impact on Language Technologies Nozha Boujemaa Director at DATAIA Institute Research Director at Inria Member of The BoD of BDVA nozha.boujemaa@inria.fr November 2018-1 Data & Algorithms
INDUSTRY 4.0. Modern massive Data Analysis for Industry 4.0 Industry 4.0 at VŠB-TUO
INDUSTRY 4.0 Modern massive Data Analysis for Industry 4.0 Industry 4.0 at VŠB-TUO Václav Snášel Faculty of Electrical Engineering and Computer Science VŠB-TUO Czech Republic AGENDA 1. Industry 4.0 2.
Concept of Periodic Synthesis Report
Concept of Periodic Synthesis Report There is no lack of scientific knowledge, but it is fragmented and not easily accessible to policy makers and practitioners. The Sendai Science and Technology Roadmap
Our Acquisition Challenges Moving Forward
Presented to: NDIA Space and Missile Defense Working Group Our Acquisition Challenges Moving Forward This information product has been reviewed and approved for public release. The views and opinions expressed
GIE response to public consultation Interoperability NC of ENTSOG
Ref 13GIE052 April 2013 GIE response to public consultation Interoperability NC of ENTSOG Who is GIE? Gas Infrastructure Europe (GIE) is an association representing the sole interest of the infrastructure
SYSTEMATIC MODEL BASED AND SEARCH BASED TESTING OF CYBER PHYSICAL SYSTEMS
Sophia Antipolis, French Riviera 20-22 October 2015 SYSTEMATIC MODEL BASED AND SEARCH BASED TESTING OF CYBER PHYSICAL SYSTEMS Shaukat Ali, PhD, Senior Research Scientist Email: shaukat@simula.no All rights
JTC1 Smart Ci,es workshop. Welcome!
JTC1 Smart Ci,es workshop Welcome! British Standards smart cities programme Saviour Alfino, Project Manager Smart Cities Standards Strategy, BSI 2 nd September 2014 03/09/2014 Overview 1. Common city challenges
Future of Cities. Harvard GSD. Smart[er] Citizens Bergamo University
![Future of Cities. Harvard GSD. Smart[er] Citizens Bergamo University](/thumbs/72/66409025.jpg "Future of Cities. Harvard GSD. Smart[er] Citizens Bergamo University")
Future of Cities Harvard GSD Smart[er] Citizens Bergamo University Future of Cities Harvard GSD Smart[er] Citizens Bergamo University SMART[ER] CITIES Harvard Graduate School of Design SCI 0637100 Spring
Leading-Edge Cluster it's OWL Günter Korder, Managing Director it s OWL Clustermanagement GmbH 16 th November
Leading-Edge Cluster it's OWL Günter Korder, Managing Director it s OWL Clustermanagement GmbH 16 th November 2018 www.its-owl.de Intelligent Technical Systems The driving force behind Industry 4.0 and
CMRE La Spezia, Italy
Innovative Interoperable M&S within Extended Maritime Domain for Critical Infrastructure Protection and C-IED CMRE La Spezia, Italy Agostino G. Bruzzone 1,2, Alberto Tremori 1 1 NATO STO CMRE& 2 Genoa
Run-time Monitoring of a Rover: MDE Research with Open Source Software and Low-cost Hardware
Joint Proceedings of EduSymp 2016 and OSS4MDE 2016 Page 37 Run-time Monitoring of a Rover: MDE Research with Open Source Software and Low-cost Hardware Reza Ahmadi, Nicolas Hili, Leo Jweda, Nondini Das,
GROUP OF SENIOR OFFICIALS ON GLOBAL RESEARCH INFRASTRUCTURES
GROUP OF SENIOR OFFICIALS ON GLOBAL RESEARCH INFRASTRUCTURES GSO Framework Presented to the G7 Science Ministers Meeting Turin, 27-28 September 2017 22 ACTIVITIES - GSO FRAMEWORK GSO FRAMEWORK T he GSO
Evolving Systems Engineering as a Field within Engineering Systems
Evolving Systems Engineering as a Field within Engineering Systems Donna H. Rhodes Massachusetts Institute of Technology INCOSE Symposium 2008 CESUN TRACK Topics Systems of Interest are Comparison of SE
Resource-Efficient Vibration Data Collection in Cyber-Physical Systems
Resource-Efficient Vibration Data Collection in Cyber-Physical Systems M. Z. A Bhuiyan, G. Wang, J. Wu, T. Wang, and X. Liu Proc. of the 15th International Conference on Algorithms and Architectures for
Pervasive Services Engineering for SOAs
Pervasive Services Engineering for SOAs Dhaminda Abeywickrama (supervised by Sita Ramakrishnan) Clayton School of Information Technology, Monash University, Australia dhaminda.abeywickrama@infotech.monash.edu.au
Non-ferrous metals manufacturing industry: vision for the future and actions needed
Non-ferrous metals manufacturing industry: vision for the future and actions needed Laurent Bontoux, François J. Dessart www.jrc.ec.europa.eu 4 th High Level Conference EIP on Raw Materials Brussels, 1
A FRAMEWORK FOR PERFORMING V&V WITHIN REUSE-BASED SOFTWARE ENGINEERING
A FRAMEWORK FOR PERFORMING V&V WITHIN REUSE-BASED SOFTWARE ENGINEERING Edward A. Addy eaddy@wvu.edu NASA/WVU Software Research Laboratory ABSTRACT Verification and validation (V&V) is performed during
Human Factors in Control
Human Factors in Control J. Brooks 1, K. Siu 2, and A. Tharanathan 3 1 Real-Time Optimization and Controls Lab, GE Global Research 2 Model Based Controls Lab, GE Global Research 3 Human Factors Center
CC532 Collaborative System Design
CC532 Collaborative Design Part I: Fundamentals of s Engineering 5. s Thinking, s and Functional Analysis Views External View : showing the system s interaction with environment (users) 2 of 24 Inputs
DESIGN TECHNOLOGY FOR THE TRILLION-DEVICE FUTURE
DESIGN TECHNOLOGY FOR THE TRILLION-DEVICE FUTURE Alberto Sangiovanni-Vincentelli The Edgar L. and Harold H. Buttner Chair of EECS, University of California at Berkeley The Emerging IT Scene! The Cloud!
A Method for Aspect-Oriented Meta-Model Evolution. VAO 2014 York. Reiner Jung Robert Heinrich Eric Schmieders Misha Strittmatter Wilhelm Hasselbring
for spect-oriented Meta-Model Evolution VO 2014 York Reiner Jung Robert Heinrich Eric Schmieders Misha Strittmatter Wilhelm Hasselbring 22 nd July 2014 iobserve This work was partially supported by the
Rethinking CAD. Brent Stucker, Univ. of Louisville Pat Lincoln, SRI
Rethinking CAD Brent Stucker, Univ. of Louisville Pat Lincoln, SRI The views expressed are those of the author and do not reflect the official policy or position of the Department of Defense or the U.S.
S3P AGRI-FOOD Updates and next steps. Thematic Partnership TRACEABILITY AND BIG DATA Andalusia
S3P AGRI-FOOD Updates and next steps Thematic Partnership TRACEABILITY AND BIG DATA Andalusia judit.anda@juntadeandalucia.es internacional.viceconsejeria.capder@juntadeandalucia.es Agro food Digital Innovation
Advances and Perspectives in Health Information Standards
Advances and Perspectives in Health Information Standards HL7 Brazil June 14, 2018 W. Ed Hammond. Ph.D., FACMI, FAIMBE, FIMIA, FHL7, FIAHSI Director, Duke Center for Health Informatics Director, Applied
Model-driven Development of Complex Software: A Research Roadmap
Model-driven Development of Complex Software: A Research Roadmap Robert France, Bernhard Rumpe Robert France is a Professor in the Department of Computer Science at Colorado State University. His research
Mining for Statistical Models of Availability in Large-Scale Distributed Systems: An Empirical Study of
Mining for Statistical Models of Availability in Large-Scale Distributed Systems: An Empirical Study of SETI@home Bahman Javadi 1, Derrick Kondo 1, Jean-Marc Vincent 1,2, David P. Anderson 3 1 Laboratoire
Horizon 2020 ICT Robotics Work Programme (draft - Publication: 20 October 2015)
NCP TRAINING BRUSSELS 07 OCTOBER 2015 1 Horizon 2020 ICT Robotics Work Programme 2016 2017 (draft - Publication: 20 October 2015) Cécile Huet Deputy Head of Unit Robotics Directorate General for Communication
Software LEIC/LETI. Lecture 21
Software Engineering @ LEIC/LETI Lecture 21 Last Lecture Offline concurrency patterns (continuation) Object-relational behavioral patterns Session state patterns Presentation logic Services Domain logic
Indiana K-12 Computer Science Standards
Indiana K-12 Computer Science Standards What is Computer Science? Computer science is the study of computers and algorithmic processes, including their principles, their hardware and software designs,
Integrated Transformational and Open City Governance Rome May
Integrated Transformational and Open City Governance Rome May 9-11 2016 David Ludlow University of the West of England, Bristol Workshop Aims Key question addressed - how do we advance towards a smart
Artificial intelligence and judicial systems: The so-called predictive justice
Artificial intelligence and judicial systems: The so-called predictive justice 09 May 2018 1 Context The use of so-called artificial intelligence received renewed interest over the past years.. Computers
Model-Driven Engineering
1 von 9 09.11.2006 16:27 February 2006 COVER FEATURE Model-Driven Engineering Douglas C. Schmidt Vanderbilt University Model-driven engineering technologies offer a promising approach to address the inability
Closing the Life Cycle loop
Closing the Life Cycle loop Torbjörn Holm 20171019 Items Trends impacting us all Global megatrends Technology trends Is Technology the answer? Going Circular No Choice Results from ResCoM Recover value
ServDes Service Design Proof of Concept
ServDes.2018 - Service Design Proof of Concept Call for Papers Politecnico di Milano, Milano 18 th -20 th, June 2018 http://www.servdes.org/ We are pleased to announce that the call for papers for the
Summary Remarks By David A. Olive. WITSA Public Policy Chairman. November 3, 2009
Summary Remarks By David A. Olive WITSA Public Policy Chairman November 3, 2009 I was asked to do a wrap up of the sessions that we have had for two days. And I would ask you not to rate me with your electronic
IEEE Smart Cities Initiative
Forum on Shaping smarter and more sustainable cities: striving for sustainable development goals Rome, Italy, 18-19 May 2016 IEEE Smart Cities Initiative Dario Petri IEEE and University of Trento, Italy
Mission-focused Interaction and Visualization for Cyber-Awareness!
Mission-focused Interaction and Visualization for Cyber-Awareness! ARO MURI on Cyber Situation Awareness Year Two Review Meeting Tobias Höllerer Four Eyes Laboratory (Imaging, Interaction, and Innovative
Towards a Consumer-Driven Energy System
IEA Committee on Energy Research and Technology EXPERTS GROUP ON R&D PRIORITY-SETTING AND EVALUATION Towards a Consumer-Driven Energy System Understanding Human Behaviour Workshop Summary 12-13 October
in the New Zealand Curriculum
Technology in the New Zealand Curriculum We ve revised the Technology learning area to strengthen the positioning of digital technologies in the New Zealand Curriculum. The goal of this change is to ensure
ICT4 Manuf. Competence Center
ICT4 Manuf. Competence Center Prof. Yacine Ouzrout University Lumiere Lyon 2 ICT 4 Manufacturing Competence Center AI and CPS for Manufacturing Robot software testing Development of software technologies
CPS Engineering Labs A Network of Design Centres Expediting and accelerating the realisation of trustworthy CPS Holger Pfeifer CPSE Labs co-ordinator fortiss, Munich, Germany Funded by the European Union
Knowledge Engineering in robotics
Knowledge Engineering in robotics Herman Bruyninckx K.U.Leuven, Belgium BRICS, Rosetta, eurobotics Västerås, Sweden April 8, 2011 Herman Bruyninckx, Knowledge Engineering in robotics 1 BRICS, Rosetta,
Linking Circular Economy and Industry 4.0 The FUTURING Project
Linking Circular Economy and Industry 4.0 The FUTURING Project Dr. Konstantinos GEORGOULIAS Laboratory for Manufacturing Systems & Automation (LMS) University of Patras, Greece www.lms.mech.upatras.gr
The Key to the Internet-of-Things: Conquering Complexity One Step at a Time
The Key to the Internet-of-Things: Conquering Complexity One Step at a Time at IEEE PHM2017 Adam T. Drobot Wayne, PA 19087 Outline What is IoT? Where is IoT in its evolution? A life Cycle View Key ingredients
Addressing the Changing Role of Engineering Simulation. Analysis, Simulation and Systems Engineering Software Strategies
Addressing the Changing Role of Engineering Simulation Analysis, Simulation and Systems Engineering Software Strategies The Changing Role of Engineering Simulation The Changing Role of Engineering Simulation
Clients and Users in Construction. Research Roadmap Summary
P a ic bl u on ti 8 0 4 Clients and Users in Construction Research Roadmap Summary CIB Roadmap.indd 1 26-05-2016 11:18:57 2 CIB Roadmap.indd 2 Title Subtitle Serial title Year Authors Language Pages Keywords
Use of Knowledge Modeling to Characterize the NOAA Observing System Architecture
Use of Knowledge Modeling to Characterize the NOAA Observing System Architecture Presentation to The Open Group Architecture Practitioner s Conference 23 October 2003 James N Martin The Aerospace Corporation
Earth Cube Technical Solution Paper the Open Science Grid Example Miron Livny 1, Brooklin Gore 1 and Terry Millar 2
Earth Cube Technical Solution Paper the Open Science Grid Example Miron Livny 1, Brooklin Gore 1 and Terry Millar 2 1 Morgridge Institute for Research, Center for High Throughput Computing, 2 Provost s
GOALS TO ASPECTS: DISCOVERING ASPECTS ORIENTED REQUIREMENTS
GOALS TO ASPECTS: DISCOVERING ASPECTS ORIENTED REQUIREMENTS 1 A. SOUJANYA, 2 SIDDHARTHA GHOSH 1 M.Tech Student, Department of CSE, Keshav Memorial Institute of Technology(KMIT), Narayanaguda, Himayathnagar,
Industry 4.0 and education: Use Cases and Testbeds with German SME for Manufacturing
Industry 4.0 and education: Use Cases and Testbeds with German SME for Manufacturing Labs Network Industrie 4.0 e.v. September 2018 unrestricted SME use of Industrie 4.0 applications 2013 2015 2017 In