Dr Daniela Cancila. Laboratoire des composants logiciels pour la Sécurité et la Sûreté des Systèmes (L3S)
|
|
- Christina McKenzie
- 6 years ago
- Views:
Transcription
1 Dr Daniela Cancila Laboratoire des composants logiciels pour la Sécurité et la Sûreté des Systèmes (L3S) Département Architecture & Conception de Logiciels Embarqués Service de Conception des Systèmes Numériques
2 OVERVIEW Society and the industrial context How is our society and the underlying industrial context evolving? What new industrial needs are emerging? What former ones are still in need of a response? Cyber Physical Systems as a means to disruptive technologies Who is doing what and how? CEA involvement industrial research axes of L3S (Laboratoire des composants logiciels pour la Sécurité et la Sûreté des Systèmes) 2
3 SOCIETY 1. How is our society and the underlying industrial context evolving? 2. What new industrial needs are emerging? 3. What former ones are still in need of a response? 3
4 A LEARNED LESSON 1. How is our society and the underlying industrial context evolving? Population longevity is increasing Technological supports are a means to increase the quality of life More energy production Increase in distributed and connected embedded systems 4
5 QUESTIONS 2 AND 3 1. How is our society and the underlying industrial context evolving? 2. What new industrial needs are emerging? 3. What former ones are still in need of a response? 5
6 EXAMPLE: A LEARNED LESSON We are witnesses of a historical change in society Technology is pervasive Number of distributed and connected embedded systems is increasing 6
7 INDUSTRIAL PROCESS standards analyses design Sw components certification Code requirements Platform 7
8 Cliquez Emergence pour modifier of a le new style paradigm du titre Integrated systems Physical (sensor and actuators) Hardware Software Network Heterogeneous Composability Mixed-criticality & [ALSTOM, Metropolis And Metro Train Solution. ] CEA. All rights reserved DACLE Division January
9 EMERGENCE OF A NEW PARADIGM Integrated systems Physical (sensor and actuators) Hardware Software Network Heterogeneous Composability Mixed-criticality Instrumentation and control functions (category B): automatic control of the Nuclear Power Plant (NPP) primary and secondary circuit conditions SW and HW [IEC Nuclear Power Plants Instrumentation and control important to safety Classification of instrumentation and control functions] 9
10 EMERGENCE OF A NEW PARADIGM Integrated systems Physical (sensor and actuators) Hardware Software Network Heterogeneous Composability which ensures stability of component properties across integration [1. J. Sifakis. Embedded Systems - Challenges and Work Directions, LNCS, 2005 ] Mixed-criticality 10
11 EMERGENCE OF A NEW PARADIGM Control of velocity SIL 2 Event Recorder system Dead-man vigilance functionality SIL4 [Daniela Cancila, Stefano Dalpez, Roberto Passerone, Francois Terrier. AN INDUSTRIAL CASE STUDY USING AN MBE APPROACH: FROM ARCHITECTURE TO SAFETY ANALYSIS, IEEE MOBE-RTES, In conjunction with IEEE ISORC symposium, 2010] [D. Macii et al., A safety instrumented system for rolling stocks: Methodology, design process and safety analysis, Measurement Journal Elsevier 2015] 11
12 CYBER-PHYSICAL SYSTEMS In 2006 Helen Gill at the National Science Foundation in the United States coins term CPS [1] Cyber-physical systems (CPS) enable the physical world to merge with the virtual leading to an Internet of Things, data and services [2] example: intelligent manufacturing line CPS combine computing and networking with physical dynamics [3] [ 1] System design, Modeling and simulation, Cladius Ptolemaeus editor [2] [3] Ed Lee. Disciplined Heterogeneous Modeling Models
13 A LEARNED LESSON We are witnesses of a historical change in society CPS lead to the fourth Industrial revolution 13
14 CPS STATE OF THE ART IN EU 14
15 CPS STATE OF THE ART IN EU Contract-Based Design is a methodology expected to reduce the cost of design and certification Underlying Idea Individual components with safety-related, included timing, properties specified via contracts 15
16 CPS STATE OF ART IN EU: CBD Based on Floyd-Hoare logic (~ ) {P, C, Q} P = Preconditions, C= Command in sequential imperative language, Q =postconditions Meyer (~ ) to object-oriented programing system substitutability Beugnard ~1999 to service oriented architectures Contracts as Interfaces (~2000) [T. Henzinger and L. De Alfaro] FP6 ASSERT and FP6 SPEEDS to model-based design (~ ) Assumptions and Guarantees are just properties (SPEEDS) deployed in an architectural systems design to prove correctness-by-construction approach 16
17 CBD IN THE ASSERT PROJECT guarantee assumption guarantee assumption Code ravenscar is a tailored Ada profile to real-time systems 17
18 CPS STATE OF THE ART IN EU Composition with guarantees for High-integrity Embedded Software Components Assembly Safety Certification of Software-Intensive Systems with Reusable Components Guaranteed Component assembly with Round-Trip Analysis for Energy Efficient High-Integrity Multi-core Systems 18
19 CPS STATE OF THE ART AT BERKELEY Center for Hybrid and Embedded Software Systems 19
20 CPS STATE OF THE ART AT BERKELEY we need to capture what the system is supposed to do the process of mapping a functionality how the system does what it is supposed to do with the elements that will be used to build a platform instance or an architecture This process is the essential step for refinement and provides a mechanism to proceed towards implementation in a structured way [Alberto Sangiovanni-Vincentelli. Quo Vadis, SDL: Reasoning about Trends and Challenges of System-Level Design Proceedings of the IEEE, 95(3): , March 2007.] 20
21 A LEARNED LESSON The USA and EU communities are devoting effort to CPS Industrial and academic research EU founding Private founding What is expected Proving solutions to dynamic, heterogeneous, connected distributed embedded systems Disruptive technologies Technological innovation 21
22 CONTRACT-BASED DESIGN AT L3S Industrial problem Daniela Cancila, Elie Soubiran, Roberto Passerone Feasibility Study in the use of contract-based approaches to deal with safety-related properties. Ada User Journal, December 2014 FSF (Fiabilité et Surêté de Fonctionnement Reliability and Safety) project. Technological Research Institute SystemX. 22
23 CONTRACT-BASED DESIGN AT L3S Industrial transfer to Alstom We adopt the ASAP (Advanced System Architect Program) methodology (Alstom) [1, 2] and the supporting tools Operational (why), functional (what) and constructional (how) views Integrating ASAP with CBD A contract is a pair (assumption, guarantee) [1] the guarantee specifies the functionality provided by a component to the environment; and the assumption sets forth the conditions required from the environment in order for the component to accomplish its guarantee [1] ALSTOM, Alstom ASAP methodology: Advanced System Architect Program. OMG [2] Marco Ferrogalini, Jean Le Bastard, Return of experience on the implementation of the System Engineering approach in Alstom. OMG [3] D. Cancila, R. Passerone, T. Vardanega, and M. Panunzio, Toward Correctness in the Specification and Handling of Non-Functional Attributes of High-Integrity Real-Time Embedded Systems, IEEE Transactions on Industrial Informatics, May
24 CONTRACT-BASED DESIGN AT L3S Preliminary Industrial Feedback Daniela Cancila, Elie Soubiran, Roberto Passerone Feasibility Study in the use of contract-based approaches to deal with safety-related properties. Ada User Journal, December 2014 FSF (Fiabilité et Surêté de Fonctionnement Reliability and Safety) project. Technological Research Institute SystemX. 24
25 CONTRACT-BASED DESIGN AT L3S Industrial problem: Reduce the certification cost SW systems Safety Assurance, Goal, modular pre-certification HW systems Redundancy Device systems Production and test Preserving certification during the evolution of a mixed-criticality system SIL4 HW SIL0 evolution Contract-based design is a means to deal with modular precertification 25
26 CONTRACT-BASED DESIGN AT L3S Industrial Problem: correct interaction between sw and hw System Sw components Functional Embedded Sw components into model calculus Real-Time Micro-Kernel and HW 26
27 THE WAY FORWARD Fact: CPS is becoming a must in our society Main goal: Advocating in CPS to response to the needs of society and industry Thank you! L3S and CEA LIST can become CPS leaders in the EU and in the industrial environment CPS Master Summer School 27
Ontological Reasoning as an Enabler of Contract-Based Co-Design
1 2 Ontological Reasoning as an Enabler of Contract-Based Co-Design 3 4 5 6 7 8 9 10 Ken Vanherpen 1,3, Joachim Denil 1,2,3, Paul De Meulenaere 1,3, and Hans Vangheluwe 2,3,4 1 CoSys-Lab (FTI), University
More informationCyber Physical Systems: Next Generation of Embedded Systems
Institute for Software Integrated Systems Vanderbilt University Cyber Physical Systems: Next Generation of Embedded Systems Janos Sztipanovits ISIS, Vanderbilt University 27 September, 2010 Outline Cyber
More informationMaximizing the execution rate of low-criticality tasks in mixed-criticality system
Maximizing the execution rate of low-criticality tasks in mixed-criticality system Mathieu Jan, Lilia Zaourar CEA LIST LaSTRE Maurice Pitel Schneider Electric Industries www.cea.fr Cliquez Motivation pour
More informationSAFIR2014: CORSICA Coverage and rationality of the software I&C safety assurance
SAFIR2014: CORSICA Coverage and rationality of the software I&C safety assurance Mid-Term Seminar 21.-22.3.2013 Jussi Lahtinen, Jukka Ranta, Lauri Lötjönen VTT Risto Nevalainen, Timo Varkoi, FiSMA 2 Introduction
More informationCenter for Hybrid and Embedded Software Systems (CHESS)
. Center for Hybrid and Embedded Software Systems (CHESS) College of Engineering University of California, Berkeley Board of Directors Tom Henzinger, tah@eecs.berkeley.edu Edward A. Lee, eal@eecs.berkeley.edu
More informationCenter for Hybrid and Embedded Software Systems. Hybrid & Embedded Software Systems
Center for Hybrid and Embedded Software Systems College of Engineering, University of California at Berkeley Presented by: Edward A. Lee, EECS, UC Berkeley Citris Founding Corporate Members Meeting, Feb.
More informationGraduate Programs in Advanced Systems Engineering
Graduate Programs in Advanced Systems Engineering UTC Institute for Advanced Systems Engineering, University of Connecticut Mission To train the engineer of the next decade: the one who is not constrained
More informationDigital Transformation. A Game Changer. How Does the Digital Transformation Affect Informatics as a Scientific Discipline?
Digital Transformation A Game Changer How Does the Digital Transformation Affect Informatics as a Scientific Discipline? Manfred Broy Technische Universität München Institut for Informatics ... the change
More informationThe 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
More informationIJSER. Index Terms-UML, Class Diagram, Actors, Use Cases, Solar cell.
International Journal of Scientific & Engineering Research, Volume 6, Issue 9, September-2015 627 Implementing object oriented design methodology to develop a testing system. Danendra Singh (Electrical
More informationThe 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
More informationComponent Based Design for Embedded Systems
Component Based Design for Embedded Systems Report on the US-EU Workshop July 7-8 th, 2005 in Paris http://www.artist-embedded.org/fp6/artist2events/pastevents/ist-nsf/ ssdf Table of Contents 1. Executive
More informationNSF. Hybrid Systems: From Models to Code. Tom Henzinger. UC Berkeley. French Guyana, June 4, 1996 $800 million embedded software failure
Hybrid Systems: From Models to Code Tom Henzinger UC Berkeley NSF UC Berkeley: Chess Vanderbilt University: ISIS University of Memphis: MSI Foundations of Hybrid and Embedded Software Systems French Guyana,
More informationFirst steps towards a mereo-operandi theory for a system feature-based architecting of cyber-physical systems
First steps towards a mereo-operandi theory for a system feature-based architecting of cyber-physical systems Shahab Pourtalebi, Imre Horváth, Eliab Z. Opiyo Faculty of Industrial Design Engineering Delft
More informationExtending SUMO to support tailored driving styles
Extending SUMO to support tailored driving styles Joel Gonçalves, Rosaldo J. F. Rossetti Artificial Intelligence and Computer Science Laboratory (LIACC) Department of Informatics Engineering (DEI) Faculty
More informationTowards a multi-view point safety contract Alejandra Ruiz 1, Tim Kelly 2, Huascar Espinoza 1
Author manuscript, published in "SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability
More informationDissertation Proposal: The Impact of Tourism in the Internet. Abstract
1 Dissertation Proposal: The Impact of Tourism in the Internet Abstract The research that was conducted is related to the study on the probable issue to be covered in relation to tourism. Through the study
More informationICT : Internet of Things and Platforms for Connected Smart Objects
LEIT ICT WP2014-15 ICT 30 2015: Internet of Things and Platforms for Connected Smart Objects Peter Friess (peter.friess@ec.europa.eu), Network Technologies Werner Steinhoegl (werner.steinhoegl@ec.europa.eu),
More informationCSE 435: Software Engineering
CSE 435: Software Engineering Dr. James Daly 3501 Engineering Building Office: 3501 EB, by appointment dalyjame at msu dot edu TAs: Vincent Ragusa and Mohammad Roohitavaf Helproom Tuesday: 2-4 pm, Wednesday
More informationApplying Open Architecture Concepts to Mission and Ship Systems
Applying Open Architecture Concepts to Mission and Ship Systems John M. Green Gregory Miller Senior Lecturer Lecturer Department of Systems Engineering Introduction Purpose: to introduce a simulation based
More informationTOWARDS AN UNIFIED APPROACH FOR MODELING AND ANALYSIS OF REAL-TIME EMBEDDED SYSTEMS USING MARTE/UML
International Journal of Computer Science and Applications, Technomathematics Research Foundation Vol. 12, No. 1, pp. 117 126, 2015 TOWARDS AN UNIFIED APPROACH FOR MODELING AND ANALYSIS OF REAL-TIME EMBEDDED
More informationDESIGN 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!
More informationDemonstration of DeGeL: A Clinical-Guidelines Library and Automated Guideline-Support Tools
Demonstration of DeGeL: A Clinical-Guidelines Library and Automated Guideline-Support Tools Avner Hatsek, Ohad Young, Erez Shalom, Yuval Shahar Medical Informatics Research Center Department of Information
More informationBy Mark Hindsbo Vice President and General Manager, ANSYS
By Mark Hindsbo Vice President and General Manager, ANSYS For the products of tomorrow to become a reality, engineering simulation must change. It will evolve to be the tool for every engineer, for every
More informationInformation Sociology
Information Sociology Educational Objectives: 1. To nurture qualified experts in the information society; 2. To widen a sociological global perspective;. To foster community leaders based on Christianity.
More informationModel-Based Systems Engineering Methodologies. J. Bermejo Autonomous Systems Laboratory (ASLab)
Model-Based Systems Engineering Methodologies J. Bermejo Autonomous Systems Laboratory (ASLab) Contents Introduction Methodologies IBM Rational Telelogic Harmony SE (Harmony SE) IBM Rational Unified Process
More informationScientific Certification
Scientific Certification John Rushby Computer Science Laboratory SRI International Menlo Park, California, USA John Rushby, SR I Scientific Certification: 1 Does The Current Approach Work? Fuel emergency
More informationModeling and Validation
ArtistDesign Kickoff Meeting Paris, January 29-30, 2008 Cluster presentation Modeling and Validation Cluster Leaders: Kim G. Larsen, CISS, Aalborg Tom Henzinger,, EPFL Main Research Trends in the Area
More information24 Challenges in Deductive Software Verification
24 Challenges in Deductive Software Verification Reiner Hähnle 1 and Marieke Huisman 2 1 Technische Universität Darmstadt, Germany, haehnle@cs.tu-darmstadt.de 2 University of Twente, Enschede, The Netherlands,
More informationRoadmapping efforts for research, education and innovation in Cyber Physical Systems
Roadmapping efforts for research, education and innovation in Cyber Physical Systems Martin Törngren Professor in Embedded Control Systems, ICES director Division of Mechatronics, KTH Royal Institute of
More informationFront Digital page Strategy and Leadership
Front Digital page Strategy and Leadership Who am I? Prof. Dr. Bob de Wit What concerns me? - How to best lead a firm - How to design the strategy process - How to best govern a country - How to adapt
More informationHACETTEPE ÜNİVERSİTESİ COMPUTER ENGINEERING DEPARTMENT BACHELOR S DEGREE INFORMATION OF DEGREE PROGRAM 2012
HACETTEPE ÜNİVERSİTESİ COMPUTER ENGINEERING DEPARTMENT BACHELOR S DEGREE INFORMATION OF DEGREE PROGRAM 2012 1 a. General Description Hacettepe University, Computer Engineering Department, was established
More informationDesign and Implementation Options for Digital Library Systems
International Journal of Systems Science and Applied Mathematics 2017; 2(3): 70-74 http://www.sciencepublishinggroup.com/j/ijssam doi: 10.11648/j.ijssam.20170203.12 Design and Implementation Options for
More informationCyber-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
More informationTHE ASSERT SET OF TOOLS FOR ENGINEERING (TASTE): DEMONSTRATOR, HW/SW CODESIGN, AND FUTURE
THE ASSERT SET OF TOOLS FOR ENGINEERING (TASTE): DEMONSTRATOR, HW/SW CODESIGN, AND FUTURE Marc Pollina (1), Yann Leclerc (1), Eric Conquet (2), Maxime Perrotin (2), Guy Bois (3), Laurent Moss (3) (1) M3Systems,
More informationTechnology & Manufacturing Readiness RMS
Technology & Manufacturing Readiness Assessments @ RMS Dale Iverson April 17, 2008 Copyright 2007 Raytheon Company. All rights reserved. Customer Success Is Our Mission is a trademark of Raytheon Company.
More informationTechnology Transfer: An Integrated Culture-Friendly Approach
Technology Transfer: An Integrated Culture-Friendly Approach I.J. Bate, A. Burns, T.O. Jackson, T.P. Kelly, W. Lam, P. Tongue, J.A. McDermid, A.L. Powell, J.E. Smith, A.J. Vickers, A.J. Wellings, B.R.
More informationTowards an MDA-based development methodology 1
Towards an MDA-based development methodology 1 Anastasius Gavras 1, Mariano Belaunde 2, Luís Ferreira Pires 3, João Paulo A. Almeida 3 1 Eurescom GmbH, 2 France Télécom R&D, 3 University of Twente 1 gavras@eurescom.de,
More informationCooperative Wireless Networking Using Software Defined Radio
Cooperative Wireless Networking Using Software Defined Radio Jesper M. Kristensen, Frank H.P Fitzek Departement of Communication Technology Aalborg University, Denmark Email: jmk,ff@kom.aau.dk Abstract
More informationMOBY-DIC. Grant Agreement Number Model-based synthesis of digital electronic circuits for embedded control. Publishable summary
MOBY-DIC Grant Agreement Number 248858 Model-based synthesis of digital electronic circuits for embedded control Report version: 1 Due date: M24 (second periodic report) Period covered: December 1, 2010
More informationA 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
More informationA 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
More informationAGENTS AND AGREEMENT TECHNOLOGIES: THE NEXT GENERATION OF DISTRIBUTED SYSTEMS
AGENTS AND AGREEMENT TECHNOLOGIES: THE NEXT GENERATION OF DISTRIBUTED SYSTEMS Vicent J. Botti Navarro Grupo de Tecnología Informática- Inteligencia Artificial Departamento de Sistemas Informáticos y Computación
More informationReal-time Systems in Tokamak Devices. A case study: the JET Tokamak May 25, 2010
Real-time Systems in Tokamak Devices. A case study: the JET Tokamak May 25, 2010 May 25, 2010-17 th Real-Time Conference, Lisbon 1 D. Alves 2 T. Bellizio 1 R. Felton 3 A. C. Neto 2 F. Sartori 4 R. Vitelli
More informationLaurea Specialistica in Ingegneria. Ingegneria dell'automazione: Sistemi in Tempo Reale
Laurea Specialistica in Ingegneria dell'automazione Sistemi in Tempo Reale email: palopoli@sssup.it Tel. 050 883444 Introduzione Lecture schedule Introduction Selected topics on discrete time and sampled
More informationEuropean Nuclear Education Network Association
European Nuclear Education Network Association STARTING POINT Although the number of nuclear scientists and technologists may appear to be sufficient today in some countries, there are indicators that
More informationIndustry 4.0: the new challenge for the Italian textile machinery industry
Industry 4.0: the new challenge for the Italian textile machinery industry Executive Summary June 2017 by Contacts: Economics & Press Office Ph: +39 02 4693611 email: economics-press@acimit.it ACIMIT has
More informationObject-Oriented Design
Object-Oriented Design Lecture 2: USDP Overview Department of Computer Engineering Sharif University of Technology 1 Review The Unified Modeling Language (UML) is a standard language for specifying, visualizing,
More informationDr. Cynthia Dion-Schwartz Acting Associate Director, SW and Embedded Systems, Defense Research and Engineering (DDR&E)
Software-Intensive Systems Producibility Initiative Dr. Cynthia Dion-Schwartz Acting Associate Director, SW and Embedded Systems, Defense Research and Engineering (DDR&E) Dr. Richard Turner Stevens Institute
More informationNow is up to me to welcome you all, and to thank a lot those who actively contributed to this event.
10/02/2012 Financial Innovation and Market Dynamics. The Role of Securities Regulation Welcoming address Speaking notes Good morning everybody. Now is up to me to welcome you all, and to thank a lot those
More informationDIGITAL TECHNOLOGIES FOR A BETTER WORLD. NanoPC HPC
DIGITAL TECHNOLOGIES FOR A BETTER WORLD NanoPC HPC EMBEDDED COMPUTER MODULES A unique combination of miniaturization & processing power Nano PC MEDICAL INSTRUMENTATION > BIOMETRICS > HOME & BUILDING AUTOMATION
More informationUsing Data Analytics and Machine Learning to Assess NATO s Information Environment
Using Data Analytics and Machine Learning to Assess NATO s Information Environment Col Richard Blunt, CapDev JISR, SACT HQ Allied Command Transformation Blandy Road, Norfolk, VA UNITED STATES Richard.blunt@act.nato.int
More informationGlobal Journal on Technology
Global Journal on Technology Vol 5 (2014) 73-77 Selected Paper of 4 th World Conference on Information Technology (WCIT-2013) Issues in Internet of Things for Wellness Human-care System Jae Sung Choi*,
More informationDesign of an innovative proximity detection embedded-system for safety application in industrial machinery
Design of an innovative proximity detection embedded-system for safety application in industrial machinery Stefano Dalpez, Alessandro Vaccari FBK-REET Research Group, Fondazione Bruno Kessler, Italy sdalpez@fbk.eu
More informationIntroduction 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
More informationBusiness benefits of microservices
Business benefits of microservices architecture Stephane Libourel Practice principal, OSS Assurance, CMS, HPE 2018 TM Forum 1 Microservices paradigm Microservices & SOA Microservices inherit from SOA but
More informationDespite the euphonic name, the words in the program title actually do describe what we're trying to do:
I've been told that DASADA is a town in the home state of Mahatma Gandhi. This seems a fitting name for the program, since today's military missions that include both peacekeeping and war fighting. Despite
More informationTowards affordance based human-system interaction based on cyber-physical systems
Towards affordance based human-system interaction based on cyber-physical systems Zoltán Rusák 1, Imre Horváth 1, Yuemin Hou 2, Ji Lihong 2 1 Faculty of Industrial Design Engineering, Delft University
More informationSkyworker: Robotics for Space Assembly, Inspection and Maintenance
Skyworker: Robotics for Space Assembly, Inspection and Maintenance Sarjoun Skaff, Carnegie Mellon University Peter J. Staritz, Carnegie Mellon University William Whittaker, Carnegie Mellon University Abstract
More informationFoundations of Hybrid and Embedded Software and Systems: Project Overview
Foundations of Hybrid and Embedded Software and Systems: Project Overview Edited and presented by S. Shankar Sastry, PI UC Berkeley Chess Review November 18, 2004 Berkeley, CA NSF-ITR Investigators Ruzena
More informationVirtual Homologation of Software- Intensive Safety Systems: From ESC to Automated Driving
Virtual Homologation of Software- Intensive Safety Systems: From ESC to Automated Driving Dr. Houssem Abdellatif Global Head Autonomous Driving & ADAS TÜV SÜD Auto Service Christian Gnandt Lead Engineer
More informationProduct architecture and the organisation of industry. The role of firm competitive behaviour
Product architecture and the organisation of industry. The role of firm competitive behaviour Tommaso Ciarli Riccardo Leoncini Sandro Montresor Marco Valente October 19, 2009 Abstract submitted to the
More informationDesigning Architectures
Designing Architectures Lecture 4 Copyright Richard N. Taylor, Nenad Medvidovic, and Eric M. Dashofy. All rights reserved. How Do You Design? Where do architectures come from? Creativity 1) Fun! 2) Fraught
More informationCMRE 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
More informationCyber-Physical Production Systems. Professor Svetan Ratchev University of Nottingham
Cyber-Physical Production Systems Professor Svetan Ratchev University of Nottingham Contents 1. Introduction 3 2. Key definitions 4 2.1 Cyber-Physical systems 4 2.2 Cyber-Physical Production Systems 4
More informationGLOBAL ICT REGULATORY OUTLOOK EXECUTIVE SUMMARY
GLOBAL ICT REGULATORY OUTLOOK 2017 EXECUTIVE SUMMARY EXECUTIVE SUMMARY Over past decades the world has witnessed a digital revolution that is ushering in huge change. The rate of that change continues
More informationTHE APPROACH OF SELEX COMMUNICATIONS ON SOFTWARE DEFINED RADIO
THE APPROACH OF SELEX COMMUNICATIONS ON SOFTWARE DEFINED RADIO Loris Schettino (SELEX Communications, Pomezia (Rome), Italy, loris.schettino@selex-comms.com ); Virgilio Cruciani (SELEX Communications,
More informationAdvances 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
More informationEvolving High-Dimensional, Adaptive Camera-Based Speed Sensors
In: M.H. Hamza (ed.), Proceedings of the 21st IASTED Conference on Applied Informatics, pp. 1278-128. Held February, 1-1, 2, Insbruck, Austria Evolving High-Dimensional, Adaptive Camera-Based Speed Sensors
More informationPiezoelectric Sensors for Taxiway
Piezoelectric Sensors for Taxiway Airport Traffic Control System Chung S. Leung, Wei-Da Hao, and Claudio M. Montiel Department of Electrical Engineering and Computer Science, Texas A&M University-Kingsville,
More informationTechnology Trends for Government
Technology Trends for Government Leaders @RajneshSingh rds@jugad.in Where we came from Module 4: ICT Trends for Government Leaders First edition: 2007/8 Revised: 2011 But ICT Trends are fast-evolving K
More informationInteroperability concept in a COM thermodynamic server architecture. Example of integration in Microsoft Excel.
Interoperability concept in a COM thermodynamic server architecture. Example of integration in Microsoft Excel. SIMO 24-25 th of October 2002 Toulouse, France Alain Vacher, Philippe Guittard ProSim SA
More informationSmart Components and Smart Systems Integration
Smart Components and Smart Systems Integration in the ICT Work Programme 2011-2012 Francisco Javier Bonal Georg Kelm Francisco Ibáñez Information Event Brussels, 11 October 2010 1 Smart Systems and Smart
More informationAvailable online at ScienceDirect. Procedia Computer Science 56 (2015 )
Available online at www.sciencedirect.com ScienceDirect Procedia Computer Science 56 (2015 ) 538 543 International Workshop on Communication for Humans, Agents, Robots, Machines and Sensors (HARMS 2015)
More informationLanguages & Software Engineering the GPL CNRS Research Group. Pierre-Etienne Moreau - Université de Lorraine GDR GPL
Languages & Software Engineering the GPL CNRS Research Group Pierre-Etienne Moreau - Université de Lorraine GDR GPL 1 INS2I CNRS composed of 10 Institutes INS2I : Institute for Information Sciences and
More informationSENG609.22: Agent-Based Software Engineering Assignment. Agent-Oriented Engineering Survey
SENG609.22: Agent-Based Software Engineering Assignment Agent-Oriented Engineering Survey By: Allen Chi Date:20 th December 2002 Course Instructor: Dr. Behrouz H. Far 1 0. Abstract Agent-Oriented Software
More informationElectrical, Computer and Software Engineering - a historical perspective -
Electrical, Computer and Software Engineering - a historical perspective - Emil M. Petriu, Time Science Production of Goods and Services Engineering Antiquity Mathematics, Philosophy Craftsmanship: * Artisans
More informationPERSONA: ambient intelligent distributed platform for the delivery of AAL Services. Juan-Pablo Lázaro ITACA-TSB (Spain)
PERSONA: ambient intelligent distributed platform for the delivery of AAL Services Juan-Pablo Lázaro jplazaro@tsbtecnologias.es ITACA-TSB (Spain) AAL Forum Track F Odense, 16 th September 2010 OUTLINE
More informationIO-Link an integral part in the next industrial revolution known as Industry 4.0
IO-Link an integral part in the next industrial revolution known as Industry 4.0 IO-Link an integral part in the next industrial revolution known as Industry 4.0 The manufacturing industry is on the verge
More informationPervasive 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
More informationThe Industry 4.0 Journey: Start the Learning Journey with the Reference Architecture Model Industry 4.0
The Industry 4.0 Journey: Start the Learning Journey with the Reference Architecture Model Industry 4.0 Marco Nardello 1 ( ), Charles Møller 1, John Gøtze 2 1 Aalborg University, Department of Materials
More informationUbiquitous Home Simulation Using Augmented Reality
Proceedings of the 2007 WSEAS International Conference on Computer Engineering and Applications, Gold Coast, Australia, January 17-19, 2007 112 Ubiquitous Home Simulation Using Augmented Reality JAE YEOL
More informationBuilding a Machining Knowledge Base for Intelligent Machine Tools
Proceedings of the 11th WSEAS International Conference on SYSTEMS, Agios Nikolaos, Crete Island, Greece, July 23-25, 2007 332 Building a Machining Knowledge Base for Intelligent Machine Tools SEUNG WOO
More informationModel-Based Design for Sensor Systems
2009 The MathWorks, Inc. Model-Based Design for Sensor Systems Stephanie Kwan Applications Engineer Agenda Sensor Systems Overview System Level Design Challenges Components of Sensor Systems Sensor Characterization
More informationElectrical, Computer and Software Engineering - a historical perspective -
Electrical, Computer and Software Engineering - a historical perspective - Emil M. Petriu, Dr. Eng., P.Eng. Professor School of Electrical Engineering and Computer Science University of Ottawa Time Science
More informationAerospace Software* Cost and Timescale Reduction *and complex electronic hardware
Aerospace Software* Cost and Timescale Reduction *and complex electronic hardware Andrew Hawthorn Deputy Director, Intelligent Systems / Altran UK and SECT-AIR WP4 Lead on behalf of the SECT-AIR Consortium
More informationTrends that are shaping the future of process automation
Trends that are shaping the future of process automation Ian Craig Department of Electrical, Electronic and Computer Engineering University of Pretoria South Africa 1 Contents Trends Impact of the second
More informationARTEMIS-IA Innovation in Embedded Software Design
ARTEMIS-IA Innovation in Embedded Software Design CRYSTAL Final Event Madrid, June 16 th 2016 Michael Paulweber AVL List GmbH ARTEMIS Core Working Areas Advanced Design Process for Safety Critical Software
More informationHardware-Software Co-Design Cosynthesis and Partitioning
Hardware-Software Co-Design Cosynthesis and Partitioning EE8205: Embedded Computer Systems http://www.ee.ryerson.ca/~courses/ee8205/ Dr. Gul N. Khan http://www.ee.ryerson.ca/~gnkhan Electrical and Computer
More informationInstrumentation and Control
Program Description Instrumentation and Control Program Overview Instrumentation and control (I&C) and information systems impact nuclear power plant reliability, efficiency, and operations and maintenance
More informationThe Dark Art and Safety Related Systems
The Dark Art and Safety Related Systems EMC for Functional Safety IRSE Seminar 28 th January 2014 Presentation by Ken Webb The Dark Art of EMC Commonly held views about EMC, It s an Arcane discipline It
More informationDEVELOPMENT OF A ROBOID COMPONENT FOR PLAYER/STAGE ROBOT SIMULATOR
Proceedings of IC-NIDC2009 DEVELOPMENT OF A ROBOID COMPONENT FOR PLAYER/STAGE ROBOT SIMULATOR Jun Won Lim 1, Sanghoon Lee 2,Il Hong Suh 1, and Kyung Jin Kim 3 1 Dept. Of Electronics and Computer Engineering,
More informationTransactions on Information and Communications Technologies vol 6, 1994 WIT Press, ISSN
Application of artificial neural networks to the robot path planning problem P. Martin & A.P. del Pobil Department of Computer Science, Jaume I University, Campus de Penyeta Roja, 207 Castellon, Spain
More informationSignificant Reduction of Validation Efforts for Dynamic Light Functions with FMI for Multi-Domain Integration and Test Platforms
Significant Reduction of Validation Efforts for Dynamic Light Functions with FMI for Multi-Domain Integration and Test Platforms Dr. Stefan-Alexander Schneider Johannes Frimberger BMW AG, 80788 Munich,
More informationCross-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;
More informationThe 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,
More informationApplication of the FMEA and FTA for Analyzing Dependability of Generator Phase Fault Protection System
pplication of the FME and FT for nalyzing Dependability of Generator Phase Fault Protection System M.Karakache 1,B.Nadji 2,I. Ouahdi (1,2,3) Laboratoire de echerche sur L Electrification des Entreprises
More informationPLATEFORME SYSTEMES EMBARQUES
PLATEFORME SYSTEMES EMBARQUES contact.dacle@cea.fr www.cea.fr & & CEA. All rights reserved DACLE Division 2013 2 V1,0» 16 000 employees» 10 research centers» 4 regional extensions» Budget of 4.3 billion»
More informationRelation-Based Groupware For Heterogeneous Design Teams
Go to contents04 Relation-Based Groupware For Heterogeneous Design Teams HANSER, Damien; HALIN, Gilles; BIGNON, Jean-Claude CRAI (Research Center of Architecture and Engineering)UMR-MAP CNRS N 694 Nancy,
More informationTHE NEW GENERATION OF MANUFACTURING SYSTEMS
THE NEW GENERATION OF MANUFACTURING SYSTEMS Ing. Andrea Lešková, PhD. Technical University in Košice, Faculty of Mechanical Engineering, Mäsiarska 74, 040 01 Košice e-mail: andrea.leskova@tuke.sk Abstract
More information