Are we ready for computer assisted living?
|
|
- Elwin Ray
- 5 years ago
- Views:
Transcription
1 Are we ready for computer assisted living? Tomáš Bureš CHARLES UNIVERSITY IN PRAGUE faculty of mathematics and physics
2 Context Example: Road Trains Autovlak, kde můžete za volantem číst noviny, už vyjel [idnes.cz, ] [FP7 project SARTRE] Application Contexts in General Smart phones and on-body systems to communicate in changing and mobile environments that offer users access to information and services while on the move; Homes, cars and offices, that offer systems and solutions for improved enjoyment, comfort, wellbeing and safety... Adapted from [ARTEMIS AWP 2012] 2
3 Priorities (EU FP7 ICT) FP7 ICT challenges: 1. Pervasive and trusted network and service infrastructures Internet of Things, Internet of Services 2. Cognitive systems and robotics 3. Alternative paths to (hardware) components and systems 4. Technologies for digital content and languages 5. ICT for health, ageing well, inclusion and governance 6. ICT for a lower carbon economy 7. ICT for the enterprise and manufacturing 8. ICT for learning and access to cultural resources [FP7 ICT WP 2013] 3
4 5 Goal of the Talk Do we know how to develop such systems (for computer assisted living )? Judging from the perspective of software design & development In particular judging from perspective of componentbased software engineering
5 Running Example: E-mobility [FP7 project ASCENS Deliverable D7.1 (VW Demonstrator)] Key Aspects Combine a number of concerns Distributed interaction Autonomy Adaptability Emergent behavior 7
6 The Focus: Software Software controls the hardware Correspondence between physical (HW) and virtual (software) world Software creates a virtual world which reflect the physical (hardware) world Both software & hardware represented as components 8
7 9 Challenges of Software How to design software with multiple concerns? Minimize development time & costs How to design software which adapts to changes in the environment (e.g. physical world)? Flexibility & predictability Key Aspects Combine a number of concerns Distributed interaction Autonomy Adaptability Emergent behavior
8 10 Challenges of Software How to design software with multiple concerns? Minimize development time & costs How to design software which adapts to changes in the environment (e.g. physical world)? Flexibility & predictability Key Aspects Combine a number of concerns Distributed interaction Autonomy Adaptability Emergent behavior
9 11 Software With Multiple Concerns Models (blueprints) each addressing particular concerns Cooperating component models Component Model Family Each component model has its own Granularity of component Composition rules Execution semantics Way of interoperability with other component models in the family Benefits: comprehensibility, less errors, easier tool support (e.g. code generation)
10 Example: Software in a Car (Stability Control) ProCom component model family ProSys communication via asynchronous exchange of messages ideal for subsystems connected to network (e.g. CAN bus) ProSave explicit data- and control-flow Bures, T., Carlson, J., Sentilles, S., Vulgarakis, A.: A Component synchronous Model Family execution for Vehicular Embedded Systems, Proceedings of ICSEA 2008, IEEE, Oct 2008 ideal for modeling a single subsystem (e.g. periodic feedback Sentilles, S., Vulgarakis, A., Bures, T., Carlson, J., Crnkovic, I.: control A Component loop) Model for Control- Intensive Distributed Embedded Systems, Proceedings of CBSE 2008, Springer Verlag, LNCS 5282, Oct 2008 (Core A) 12
11 Building Component Model Families Meta-component system a product line for component model families Produces a component model family based on selection of application domains and requirements Bureš T., Hnětynka P., Malohlava M.: Using a product line for creating component systems, Proceedings of SAC 09, ACM, March 2009 Keznikl J., Bureš T., Plášil F., Hnětynka P.: Automated Resolution of Connector Architectures Using Constraint Solving (ARCAS method), Software & Systems Modeling, Springer, ISSN: , 2012, (accepted for publication) (IF: 1.061) Malohlava M., Plášil F., Bureš T., Hnětynka P.: Interoperable DSL Families for Code Generation, Software: Practice and Experience, John Wiley & Sons, ISSN: X, April 2012 (IF: 0.519) Bureš T., Hnětynka P., Plášil F.: SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model, Proceedings of SERA 2006, IEEE CS, Aug 2006 (70+ citations) Mencl V., Bureš T.: Microcomponent-Based Component Controllers: A Foundation for Component Aspects, in Proceedings of 12th Proceedings of APSEC 2005, IEEE CS, Dec
12 14 Challenges of Software How to design software with multiple concerns? Minimize development time & costs How to design software which adapts to changes in the environment (e.g. physical world)? Flexibility & predictability Key Aspects Combine a number of concerns Distributed interaction Autonomy Adaptability Emergent behavior
13 15 Software Which Adapts to Environment Component architecture has to constantly change to reflect the situation in the physical world e.g. car ignition switch being turned from off to start position e.g. a new passenger sharing a car Definition of a component architecture contains information about how it should adapt to changes in the environment (e.g. physical world)
14 Limited Adaptation Explicit architecture Comprehensible, big picture Adaptation using modes A mode defines active components, active connections, component configuration Pop, T., Plášil, F., Outlý, M., Malohlava, M., Bureš, T.: Property Networks Allowing Oracle-based Mode-change Propagation in Hierarchical Components, Proceedings CBSE 2012, June 2012 (Core A) 16
15 Limited Adaptation Modes form a finite automaton Each state is a mode (defines component architecture) A transition is an event in the environment Going beyond when infinite number states is needed Adaptation described by reconfiguration actions associated with an event Minimal set of reconfiguration actions (orthogonal basis): create/destroy component, create/destroy connection Needed mostly in enterprise systems (user session, security context, etc.) Bureš T., Ježek P., Malohlava M., Poch T., Šerý O.: Strengthening Component Architectures by Modeling Fine-grained Entities, Proceedings Euromicro SEAA 2011, IEEE CS, August
16 Extensive Adaptation Implicit architecture For extensive adaptations including component mobility Describes architecture by giving interaction templates Architecture forms at runtime based on current state of components (including their location) Emergent behavior DEECo (developed at D3S FP7 project ASCENS) New paradigm improves existing approaches in terms of Autonomous behavior Management of components belief Keznikl J., Bureš T., Plášil F., Kit M.: Towards Dependable Emergent Ensembles of Components: The DEECo Component Model, Accepted for publication in Proceedings of WICSA/ECSA 2012, Helsinki, Finland, August 2012 (Core A) 18
17 Extensive Adaptation DEECo (VW case study) 19
18 20 Conclusion: Where Do We Stand? Mature methods for: modeling relatively static systems by components e.g. car control systems engine, brakes,... analysis of such static systems e.g. timing analysis, functional properties, combining particular families of component models (full development cycle, including code generation) e.g. control loops + subsystem communication New methods for: modeling (using components) distributed dynamic systems with emergent behavior e.g. intelligent navigation in e-mobility
19 21 Conclusion: What is Ahead of Us? We need to elaborate more on Component self-awareness and adaptation based on high-level goals and strategies Techniques and models with a proper level of abstraction for feasible testing and verification of correctness of components with emergent behavior Prediction and optimization techniques for achieving efficient use of resources by distributed adaptive components
20 22 Summary Are we ready for computer assisted living? From software perspective we are not very far and many things can be done already, we have to combine existing approaches; scale existing approaches and elaborate on new ones to address the large open systems with emergent behavior.
Mode Switch Handling for the ProCom Component Model
Mode Switch Handling for the ProCom Component Model Yin Hang, Jan Carlson, Hans Hansson Mälardalen Real-Time Research Centre, Mälardalen University, Västerås, Sweden {young.hang.yin, jan.carlson, hans.hansson}@mdh.se
More informationMode switch handling for the ProCom component model
Mode switch handling for the ProCom component model Yin Hang 1, Hongwan Qin 2, Jan Carlson 1, and Hans Hansson 1 1 Mälardalen Real-Time Research Centre, Mälardalen University, Västerås, Sweden 2 Lund University,
More informationA Resource-Aware Framework for Designing Predictable Component-Based Embedded Systems
Mälardalen University Press Dissertations No. xxx A Resource-Aware Framework for Designing Predictable Component-Based Embedded Systems Aneta Vulgarakis 2012 School of Innovation, Design and Engineering
More informationFP7 ICT Work Programme
FP7 ICT Work Programme 2011-12 Focus on ICT Call 8 and PPP Calls Alessandro Barbagli European Commission Head of Sector - ICT Operations Roma 9 September 2011 Disclaimer: The aim of this presentation is
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 informationFramework 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
More informationWilliam 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
More informationAN AUTONOMOUS SIMULATION BASED SYSTEM FOR ROBOTIC SERVICES IN PARTIALLY KNOWN ENVIRONMENTS
AN AUTONOMOUS SIMULATION BASED SYSTEM FOR ROBOTIC SERVICES IN PARTIALLY KNOWN ENVIRONMENTS Eva Cipi, PhD in Computer Engineering University of Vlora, Albania Abstract This paper is focused on presenting
More informationToward a Conceptual Comparison Framework between CBSE and SOSE
Toward a Conceptual Comparison Framework between CBSE and SOSE Anthony Hock-koon and Mourad Oussalah University of Nantes, LINA 2 rue de la Houssiniere, 44322 NANTES, France {anthony.hock-koon,mourad.oussalah}@univ-nantes.fr
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 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 informationTowards 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
More informationHorizon 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
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 informationBeyond the switch: explicit and implicit interaction with light Aliakseyeu, D.; Meerbeek, B.W.; Mason, J.; Lucero, A.; Ozcelebi, T.; Pihlajaniemi, H.
Beyond the switch: explicit and implicit interaction with light Aliakseyeu, D.; Meerbeek, B.W.; Mason, J.; Lucero, A.; Ozcelebi, T.; Pihlajaniemi, H. Published in: 8th Nordic Conference on Human-Computer
More informationPanel Discussion. Dr. Dr. Norbert A. Streitz. The infinity Initiative Sophia Antipolis, 29. November Darmstadt, Germany
The infinity Initiative Sophia Antipolis, 29. November 2007 Panel Discussion Dr. Dr. Norbert A. Streitz Darmstadt, Germany www.ipsi.fraunhofer.de/~streitz streitz@ipsi.fraunhofer.de Panel Discussion Topics
More informationICT in HORIZON 2020 Societal Challenges
ICT in HORIZON 2020 Societal Challenges The New EU Framework Programme for Research and Innovation 2014-2020 Draft Pending Committee Opinion and Commission Decision Pierre Chastanet DG CONNECT Three priorities
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 informationAn Integrated Modeling and Simulation Methodology for Intelligent Systems Design and Testing
An Integrated ing and Simulation Methodology for Intelligent Systems Design and Testing Xiaolin Hu and Bernard P. Zeigler Arizona Center for Integrative ing and Simulation The University of Arizona Tucson,
More informationFP7 Funding Opportunities for the ICT Industry
FP7 Funding Opportunities for the ICT Industry Haitham S. Hamza, Ph.D. R&D Department Manager Software Engineering Competence Center Agenda FP7 Structure Overview and Calls Horizon 2020 SECC Role and How
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 informationTechnical-oriented talk about the principles and benefits of the ASSUMEits approach and tooling
PROPRIETARY RIGHTS STATEMENT THIS DOCUMENT CONTAINS INFORMATION, WHICH IS PROPRIETARY TO THE ASSUME CONSORTIUM. NEITHER THIS DOCUMENT NOR THE INFORMATION CONTAINED HEREIN SHALL BE USED, DUPLICATED OR COMMUNICATED
More informationInformation & Communication Technologies
Madrid, 10/4/2007 1ª CONFERENCIA DEL VII PROGRAMA MARCO DE I+D Una oportunidad para investigar e innovar en cooperación Information & Communication Technologies Jesús Villasante Head of Unit Software &
More informationMirror Models for Pervasive Computing: Just-in-Time Reasoning about Device Ecologies
1 Mirror Models for Pervasive Computing: Just-in-Time Reasoning about Device Ecologies Seng W. Loke, 1 Sucha Smanchat, 2 Sea Ling, 2 Maria Indrawan 2 La Trobe University, 1 Department of Computer Science
More informationInstitute of Computer Technology
1 Faculty of Informatics Faculty of Mechanical and Industrial Engineering Faculty of Electrical Engineering and Information Technology 8 Institute of Fundamentals and Theory of Electrical Engineering Institute
More informationCommunication: A Specific High-level View and Modeling Approach
Communication: A Specific High-level View and Modeling Approach Institut für Computertechnik ICT Institute of Computer Technology Hermann Kaindl Vienna University of Technology, ICT Austria kaindl@ict.tuwien.ac.at
More informationEngineering Autonomy
Engineering Autonomy Mr. Robert Gold Director, Engineering Enterprise Office of the Deputy Assistant Secretary of Defense for Systems Engineering 20th Annual NDIA Systems Engineering Conference Springfield,
More informationArchitectures On-Demand for Any Domain Using Stable Software Patterns
Architectures On-Demand for Any Domain Using Stable Software Patterns FIVE DAYS SEMINAR PROPOSAL DR. MOHAMED E. FAYAD Professor of Computer Engineering Computer Engineering Dept., College of Engineering
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 informationDevelopment of an Intelligent Agent based Manufacturing System
Development of an Intelligent Agent based Manufacturing System Hong-Seok Park 1 and Ngoc-Hien Tran 2 1 School of Mechanical and Automotive Engineering, University of Ulsan, Ulsan 680-749, South Korea 2
More informationCISC 1600 Lecture 3.4 Agent-based programming
CISC 1600 Lecture 3.4 Agent-based programming Topics: Agents and environments Rationality Performance, Environment, Actuators, Sensors Four basic types of agents Multi-agent systems NetLogo Agents interact
More informationENGINEERING SERVICE-ORIENTED ROBOTIC SYSTEMS
ENGINEERING SERVICE-ORIENTED ROBOTIC SYSTEMS Prof. Dr. Lucas Bueno R. de Oliveira Prof. Dr. José Carlos Maldonado SSC5964 2016/01 AGENDA Robotic Systems Service-Oriented Architecture Service-Oriented Robotic
More informationA Cognitive Framework for Realizing and Exploiting the Internet of Things Concept
A Cognitive Framework for Realizing and Exploiting the Internet of Things Concept Gianmarco Baldini 1, Rao Venkatesha Prasad 2, Abdur Rahim Biswas 3, Klaus Moessner 4, Matti Etelapera 5, Juha Pekka Soininen
More informationThis list supersedes the one published in the November 2002 issue of CR.
PERIODICALS RECEIVED This is the current list of periodicals received for review in Reviews. International standard serial numbers (ISSNs) are provided to facilitate obtaining copies of articles or subscriptions.
More informationA SERVICE-ORIENTED SYSTEM ARCHITECTURE FOR THE HUMAN CENTERED DESIGN OF INTELLIGENT TRANSPORTATION SYSTEMS
Tools and methodologies for ITS design and drivers awareness A SERVICE-ORIENTED SYSTEM ARCHITECTURE FOR THE HUMAN CENTERED DESIGN OF INTELLIGENT TRANSPORTATION SYSTEMS Jan Gačnik, Oliver Häger, Marco Hannibal
More information23270: AUGMENTED REALITY FOR NAVIGATION AND INFORMATIONAL ADAS. Sergii Bykov Technical Lead Machine Learning 12 Oct 2017
23270: AUGMENTED REALITY FOR NAVIGATION AND INFORMATIONAL ADAS Sergii Bykov Technical Lead Machine Learning 12 Oct 2017 Product Vision Company Introduction Apostera GmbH with headquarter in Munich, was
More informationCHAPTER 1: INTRODUCTION. Multiagent Systems mjw/pubs/imas/
CHAPTER 1: INTRODUCTION Multiagent Systems http://www.csc.liv.ac.uk/ mjw/pubs/imas/ Five Trends in the History of Computing ubiquity; interconnection; intelligence; delegation; and human-orientation. http://www.csc.liv.ac.uk/
More informationExecutive Summary. Chapter 1. Overview of Control
Chapter 1 Executive Summary Rapid advances in computing, communications, and sensing technology offer unprecedented opportunities for the field of control to expand its contributions to the economic and
More informationEarthCube Conceptual Design: Enterprise Architecture for Transformative Research and Collaboration Across the Geosciences
EarthCube Conceptual Design: Enterprise Architecture for Transformative Research and Collaboration Across the Geosciences ILYA ZASLAVSKY, DAVID VALENTINE, AMARNATH GUPTA San Diego Supercomputer Center/UCSD
More informationMeta-models, Environment and Layers: Agent-Oriented Engineering of Complex Systems
Meta-models, Environment and Layers: Agent-Oriented Engineering of Complex Systems Ambra Molesini ambra.molesini@unibo.it DEIS Alma Mater Studiorum Università di Bologna Bologna, 07/04/2008 Ambra Molesini
More informationThe 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
More informationBest practices for new project creation - a Large Industry view
Best practices for new project creation - a Large Industry view Knut Hufeld, +49 89 234 52653, knut.hufeld@infineon.com Infineon Technologies AG, 81726 Munich, Germany content 1 2 3 4 Motivation for funded
More informationGerrit Meixner Head of the Center for Human-Machine-Interaction (ZMMI)
Introduction@DFKI Gerrit Meixner Head of the Center for Human-Machine-Interaction (ZMMI) Research Departement Innovative Factory Systems (IFS) German Research Center for Artificial Intelligence (DFKI)
More informationAutomation, Robotics, Industrial Research, Basic Research, Academic Education. Address of employer Via Università 4, Modena, tel.
Curriculum Vitae Informazioni personali Surname Name Fantuzzi Cesare Citizenship Italian Date of birth 15/08/1964 Place of birth Bentivoglio (Bologna) Residenza lavorativa e recapiti Address 2, via Amendola,
More informationOn-demand printable robots
On-demand printable robots Ankur Mehta Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology 3 Computational problem? 4 Physical problem? There s a robot for that.
More informationConFra: A Context Aware Human Machine Interface Framework for In-vehicle Infotainment Applications
ConFra: A Context Aware Human Machine Interface Framework for In-vehicle Infotainment Applications Hemant Sharma, Dr. Roger Kuvedu-Libla, and Dr. A. K. Ramani Abstract The omnipresent integration of computer
More informationAPEC Chile 2019 Chile s Priorities
2018/ISOM/011 Session 2.1 APEC Chile 2019 Chile s Priorities Purpose: Information Submitted by: Chile Informal Senior Officials Meeting Santiago, Chile 13 December 2018 CHILE S PRIORITIES ISOM I N F O
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 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 informationJournal Title ISSN 5. MIS QUARTERLY BRIEFINGS IN BIOINFORMATICS
List of Journals with impact factors Date retrieved: 1 August 2009 Journal Title ISSN Impact Factor 5-Year Impact Factor 1. ACM SURVEYS 0360-0300 9.920 14.672 2. VLDB JOURNAL 1066-8888 6.800 9.164 3. IEEE
More informationSymposium: 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
More informationAssessment of Smart Machines and Manufacturing Competence Centre (SMACC) Scientific Advisory Board Site Visit April 2018.
Assessment of Smart Machines and Manufacturing Competence Centre (SMACC) Scientific Advisory Board Site Visit 25-27 April 2018 Assessment Report 1. Scientific ambition, quality and impact Rating: 3.5 The
More informationTECHNOLOGICAL COOPERATION MISSION COMPANY PARTNER SEARCH
TECHNOLOGICAL COOPERATION MISSION COMPANY PARTNER SEARCH The information you are about to provide in this form will be distributed among GERMAN companies matching your company profile and that might be
More informationIntroduction to Systems Engineering
p. 1/2 ENES 489P Hands-On Systems Engineering Projects Introduction to Systems Engineering Mark Austin E-mail: austin@isr.umd.edu Institute for Systems Research, University of Maryland, College Park Career
More informationReal-time Cooperative Behavior for Tactical Mobile Robot Teams. September 10, 1998 Ronald C. Arkin and Thomas R. Collins Georgia Tech
Real-time Cooperative Behavior for Tactical Mobile Robot Teams September 10, 1998 Ronald C. Arkin and Thomas R. Collins Georgia Tech Objectives Build upon previous work with multiagent robotic behaviors
More informationGlossary of terms. Short explanation
Glossary Concept Module. Video Short explanation Abstraction 2.4 Capturing the essence of the behavior of interest (getting a model or representation) Action in the control Derivative 4.2 The control signal
More informationENHANCED 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
More informationA User Interface Level Context Model for Ambient Assisted Living
not for distribution, only for internal use A User Interface Level Context Model for Ambient Assisted Living Manfred Wojciechowski 1, Jinhua Xiong 2 1 Fraunhofer Institute for Software- und Systems Engineering,
More informationD2.2 Validated scorpius Vision
European Roadmap for Cyber-- Physical Systems in Manufacturing Deliverable D2.2 Validated scorpius Vision D2.2 Validated scorpius Vision Document Owner: FPM Contributors: SUPSI, Holonix, Tecnalia, Bosch,
More informationDBE and the eeconomy Arturo di Corinto Neil Rathbone
DBE and the eeconomy Arturo di Corinto Neil Rathbone Small and medium-sized enterprises (SMEs) are the backbone of the European economy. Accounting for 99% of enterprises, Europe s 19 million SMEs are
More informationOntology-Based Robots Self-Organization in Cyber-Physical Systems
AMICT 2015, Petrozavodsk, Russia 13.05.2015 Ontology-Based Robots Self-Organization in Cyber-Physical Systems Alexey Kashevnik, e-mail: alexey@iias.spb.su PhD, Senior Researcher Laboratory of Computer
More informationFinal Report Non Hit Car And Truck
Final Report Non Hit Car And Truck 2010-2013 Project within Vehicle and Traffic Safety Author: Anders Almevad Date 2014-03-17 Content 1. Executive summary... 3 2. Background... 3. Objective... 4. Project
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 informationApplication of AI Technology to Industrial Revolution
Application of AI Technology to Industrial Revolution By Dr. Suchai Thanawastien 1. What is AI? Artificial Intelligence or AI is a branch of computer science that tries to emulate the capabilities of learning,
More informationKnowledge-based Reconfiguration of Driving Styles for Intelligent Transport Systems
Knowledge-based Reconfiguration of Driving Styles for Intelligent Transport Systems Lecturer, Informatics and Telematics department Harokopion University of Athens GREECE e-mail: gdimitra@hua.gr International
More informationDriving Force for. How cyber physical systems will change the way of future production
Driving Force for How cyber physical systems will change the way of future production IMS Institute of Mechatronic Systems Applied Science in Mechatronics The first international event on Fourth Industrial
More informationVerification and Validation for Safety in Robots Kerstin Eder
Verification and Validation for Safety in Robots Kerstin Eder Design Automation and Verification Trustworthy Systems Laboratory Verification and Validation for Safety in Robots, Bristol Robotics Laboratory
More informationHuman-Centric Trusted AI for Data-Driven Economy
Human-Centric Trusted AI for Data-Driven Economy Masugi Inoue 1 and Hideyuki Tokuda 2 National Institute of Information and Communications Technology inoue@nict.go.jp 1, Director, International Research
More informationStandards enabled Digital Twin in LSP AUTOPILOT
Standards enabled Digital Twin in LSP AUTOPILOT October 25, 2018 Martin Bauer (Martin.Bauer@neclab.eu) NEC Laboratories Europe Wenbin Li (Wenbin.Li@eglobalmark.com) Easy Global Market Outline Autopilot
More informationDESIGN CONCEPT OF DIGITAL PRODUCTION SYSTEMS
DESIGN CONCEPT OF DIGITAL PRODUCTION SYSTEMS Ing. Daniela Onofrejova, PhD. Ing. Jaroslava Janekova, PhD. Technical University of Kosice, Faculty of Mechanical Engineering, Institute of Management, Industrial
More informationHuman Centered Production in Cyber- Physical Production Systems. Case study Croatia
Human Centered Production in Cyber- Physical Production Systems Case study Croatia Prof. Ivica Veža Faculty of Electrical Engineering, Mechnical Engineering and Naval Architecture FESB, University of Split,
More informationPerformance evaluation and benchmarking in EU-funded activities. ICRA May 2011
Performance evaluation and benchmarking in EU-funded activities ICRA 2011 13 May 2011 Libor Král, Head of Unit Unit E5 - Cognitive Systems, Interaction, Robotics DG Information Society and Media European
More informationUNIT-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
More informationFORMAL MODELING AND VERIFICATION OF MULTI-AGENTS SYSTEM USING WELL- FORMED NETS
FORMAL MODELING AND VERIFICATION OF MULTI-AGENTS SYSTEM USING WELL- FORMED NETS Meriem Taibi 1 and Malika Ioualalen 1 1 LSI - USTHB - BP 32, El-Alia, Bab-Ezzouar, 16111 - Alger, Algerie taibi,ioualalen@lsi-usthb.dz
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 informationIT and Systems Science Transformational Impact on Technology, Society, Work, Life, Education, Training
IT and Systems Science Transformational Impact on Technology, Society, Work, Life, Education, Training John S. Baras Institute for Systems Research and Dept. of Electrical and Computer Engin. University
More informationOASIS concept. Evangelos Bekiaris CERTH/HIT OASIS ISWC2011, 24 October, Bonn
OASIS concept Evangelos Bekiaris CERTH/HIT The ageing of the population is changing also the workforce scenario in Europe: currently the ratio between working people and retired ones is equal to 4:1; drastic
More informationNewsletter No. 2 (July 2017)
Enhancing intelligent urban road transport network and cooperative systems for highly automated vehicles Newsletter No. 2 (July 2017) Introduction MAVEN (Managing Automated Vehicles Enhances Network) was
More informationIEEE Systems, Man, and Cybernetics Society s Perspectives and Brain-Related Technical Activities
IEEE, Man, and Cybernetics Society s Perspectives and Brain-Related Technical Activities Michael H. Smith IEEE Brain Initiative New York City Three Broad Categories that Span IEEE Development of: novel
More informationFrom Model-Based Strategies to Intelligent Control Systems
From Model-Based Strategies to Intelligent Control Systems IOAN DUMITRACHE Department of Automatic Control and Systems Engineering Politehnica University of Bucharest 313 Splaiul Independentei, Bucharest
More informationStrategic Policy Forum: A Roadmap for Digital Entrepreneurship
Member State Board on Digital Entrepreneurship Strategic Policy Forum: A Roadmap for Digital Entrepreneurship 2 nd meeting of the Member State Board Brussels, 26 September 2014 John Higgins President,
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 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 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 informationUser interface for remote control robot
User interface for remote control robot Gi-Oh Kim*, and Jae-Wook Jeon ** * Department of Electronic and Electric Engineering, SungKyunKwan University, Suwon, Korea (Tel : +8--0-737; E-mail: gurugio@ece.skku.ac.kr)
More informationPPP InfoDay Brussels, July 2012
PPP InfoDay Brussels, 09-10 July 2012 The Factories of the Future Calls in ICT WP2013. Objectives 7.1 and 7.2 DG CONNECT Scientific Officers: Rolf Riemenschneider, Mariusz Baldyga, Christoph Helmrath,
More informationInformation Quality in Critical Infrastructures. Andrea Bondavalli.
Information Quality in Critical Infrastructures Andrea Bondavalli andrea.bondavalli@unifi.it Department of Matematics and Informatics, University of Florence Firenze, Italy Hungarian Future Internet -
More informationFunding Perspectives for Cyber- Physical Systems in Horizon 2020
Funding Perspectives for Cyber- Physical Systems in Horizon 2020 Firenze, 13 December 2013 Werner Steinhögl Programme Officer- Complex Systems & Advanced Computing European Commission - DG CONNECT A3 1
More informationA New Approach to the Design and Verification of Complex Systems
A New Approach to the Design and Verification of Complex Systems Research Scientist Palo Alto Research Center Intelligent Systems Laboratory Embedded Reasoning Area Tolga Kurtoglu, Ph.D. Complexity Highly
More informationConnected Car Networking
Connected Car Networking Teng Yang, Francis Wolff and Christos Papachristou Electrical Engineering and Computer Science Case Western Reserve University Cleveland, Ohio Outline Motivation Connected Car
More informationMethodology for Agent-Oriented Software
ب.ظ 03:55 1 of 7 2006/10/27 Next: About this document... Methodology for Agent-Oriented Software Design Principal Investigator dr. Frank S. de Boer (frankb@cs.uu.nl) Summary The main research goal of this
More informationS3P 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
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 informationSmart Waste Management: An IOT and Blockchains based approach
Smart Waste Management: An IOT and Blockchains based approach Author 1 Manish Lamichhane Master's Thesis student Erasmus Mundus PERCCOM Author 2 Oleg Sadov Supervisor, Senior Engineer, ITMO University,
More informationSSMED and SOA: Service Science, Management, Engineering and Design and Service Oriented Architecture
SSMED and SOA: Service Science, Management, Engineering and Design and Service Oriented Architecture David Ing IBM Canada Ltd. and the Helsinki University of Technology October 30, 2008, at CASCON Toronto
More informationModel-based Design of Coordinated Traffic Controllers
Model-based Design of Coordinated Traffic Controllers Roopak Sinha a, Partha Roop b, Prakash Ranjitkar c, Junbo Zeng d, Xingchen Zhu e a Lecturer, b,c Senior Lecturer, d,e Student a,b,c,d,e Faculty of
More informationSuccess Stories within Factories of the Future
Success Stories within Factories of the Future Patrick Kennedy Communications Advisor European Factories of the Future Research Association EFFRA Representing private side in Factories of the Future PPP
More informationСonceptual framework and toolbox for digital transformation of industry of the Eurasian Economic Union
Сonceptual framework and toolbox for digital transformation of industry of the Eurasian Economic Union Dmitry Krupsky Head of Department of Economy of Innovation Activity, Ministry of Economy of the Republic
More informationSESAR EXPLORATORY RESEARCH. Dr. Stella Tkatchova 21/07/2015
SESAR EXPLORATORY RESEARCH Dr. Stella Tkatchova 21/07/2015 1 Why SESAR? European ATM - Essential component in air transport system (worth 8.4 billion/year*) 2 FOUNDING MEMBERS Complex infrastructure =
More informationIntelligent Power Economy System (Ipes)
American Journal of Engineering Research (AJER) e-issn : 2320-0847 p-issn : 2320-0936 Volume-02, Issue-08, pp-108-114 www.ajer.org Research Paper Open Access Intelligent Power Economy System (Ipes) Salman
More information