Extending Telecom Service Design Activities for Early Verification
|
|
- Audrey Harmon
- 5 years ago
- Views:
Transcription
1 Extending Telecom Service Design Activities for Early Verification Iyas Alloush 1,2 Supervisor of the thesis: A/Prof.Siegfried Rouvrais 1,3 Director of the thesis: Prof. Yvon Kermarrec 1,2 1: Telecom Bretagne, Institut Mines-Telecom, Université européenne de Bretagne Technopole Brest Iroise, CS , Brest Cedex 3, France 2: UMR CNRS 6285 Lab-STICC 3: IRISA 1 Introduction The production of Telecommunication Services (TS)s is a long term process and consumes many resources. A mistake in the TS design may result in expensive consequences to the rest of the TS service life cycle activities [5]. It is difficult and cost expensive to fix errors and flaws in the design after the implementation activity, especially if there are hardware elements to be installed. Therefore, we will take into consideration two points: the TS characteristics, and the TS creation activity. The TS have several characteristics that make them different from other software systems. The platforms that a TS relies on are large scaled [13] and used by a large number of customers. A TS may rely on software and hardware elements to perform its tasks. Traditionally, a TS is composed of numerous number of applications that interact with each other, this results in a complex TS design [6]. The contribution of this thesis is in the scope of TS creation activity (TSC) [2], and relies on a recent dissertation [7]. We address the early verification activity right after the design one, and before the implementation phase. The aim of the verification activity is to check that the software meets its stated functional and non-functional requirements [14]. We consider a very narrow part of the Performance Non-Functional Requirements (PNFRs) [8], where there are space (e.g. memory utilization) and time (e.g. throughput and response time) PNFRs. The Service Creation Environment (SCE) [3] is a collection of software tools that rely on reused infrastructure which is used according to the service development methodology, to assist the service developer(s) by automating and simplifying the Service Creation process. We make an early verification of TSs before the implementation using automated methods to hide complexity from the service designer and reducing code implementation errors. We face the following challenges: (1) To acquire the customer satisfaction by meeting the requirements of the QoS of a TS (e.g. Video Conference QoS requirements [11]), and few PNFRs that meet both the service and network providers (e.g. CPU and Memory utilization); (2) To reduce the time to market that should be as short as possible without affecting the qualities; (3) Improving the cost efficiency.
2 Fig. 1. Verification of TS relying on tool chains Our main objective is to assist the different stakeholders (Service and Network Providers) that are involved in the TS specification activity considering the different actors (Service Designers, Service Developers, and End-User), and taking into account three important factors that are mentioned previously. The detection of a design error or flaw after the implementation of software and hardware elements of a TS may result in expensive consequences related to the upper-mentioned competition factors. 2 Research Questions According to our research advance, we have branched the problematic to the following research questions: (RQ1) How to detect the TS design errors and flaws earlier and before the implementation phase?; (RQ2) How to correct the design and improve the qualities accordingly? The first research question is divided to 4 branches: (RQ1.1) How to Link between softgoals [8], design, verification activities and to identify the measurement(s) that are related to a specific requirement?; (RQ1.2) How to select automatically the proper measurement(s) accordingly?; (RQ1.3) How to select the proper network simulator that can provide the specific measurement(s)?; (RQ1.4) How to link the modeling technical space to the simulation one in the scope of TS verification activity? Regarding to the second research question RQ2, we raise the following questions: (RQ2.1) How to analyze the measurements that are resulted from the simulation activity?; (RQ2.2) How to decide if a modification on the design is needed to be taken automatically? 3 Approach Relying on Model Driven Engineering (MDE) and Model Driven Analysis (MDA) [12], we propose to verify the TS through its design models at the TSC activity. Model transformation (MT) is a key concept in MDE to transform automatically a source model to another one. Eclipse IDE supports different MT languages such as XPAND, as well as modeling tools through the Eclipse Modeling Framework (EMF). MDA is an approach that aims to verify if the input design model meets the quality requirements [12]. Our approach as presented in (Fig. 1) is coherent with the MDA approach in [12].
3 Fig. 2. Methodology Fig. 3. A transversal Alignment Approach between Measurements and Archi- Mate 4 Methodology We propose to divide the verification activity into 4 main sub-activities (Fig. 2): (1) Linking activity: to link between the design architecture, measurement(s), and requirement models, thus prepare inputs for the next activity (the model adaptation activity); (2) Model Adaptation Activity: to link between the design and the tool technical spaces in general, and network simulators in specific; (3) Measurement Analysis: to make the necessary analysis based on an analytic theory (e.g. Queuing Theory) taking the measurements that are obtained from the simulation or model checking tools (tool-chain components) as an input; (4) Feedback Activity: to correct the design and requirement models according to the results of the previous analysis activity. 5 Contributions In this section, we present our contributions to answer the previously mentioned research questions: 1. We have extended the design Meta-Model (MM) (abstract syntax) in [7] to include verification-related elements: (1) Modeling the measurement element to contain different probes and an aggregation function called (measurement function)[published in P3, and modified in P5]. This contributes to the RQ1 with all of its branches; (2) Associating the measurement elements with the design ones (behavioral and structural) together through the probes. This association forms a transversal alignment between the measurements and ArchiMate [15] (Fig. 3) thanks to the (one-to-many) aggregation relationship between probes and measurements in the MM [submitted in P5]. This provides an approach that contributes to RQ1.1 and establishes a link between the softgoals and measurements through the business layer of ArchiMate. This will contribute to RQ1.2; (3) Adding Open Systems Interconnection (OSI) elements that are related to the protocols in the technology layer of ArchiMate (e.g. Protocols for layers 3 and 4). [published in P3]. This contributes to RQ Mapping directly between the design and the network simulation technical spaces thanks to the new elements that are added to the MM and to XPAND code generation language [published on P3 and submitted in P5]. This contributes to the RQ1.4;
4 3. We have proposed a Tool-Selection method to select the proper tool according to its capabilities, where our interest till now in our research is in the measurements [published in P4], this contributes to the RQ Related Work In this section, we provide a rapid view to some of the related work according to the following aspects: (1) Managing design and verification complexity; (2) Involving different stakeholders in the design and early verification activities; (3) Taking the hardware elements of the TS design into consideration; (4) The ability to use different types of verification tools. The authors in [1] tackle the context-awareness at the application level relying on MDE approach, as it facilitates the design and implementation of pervasive services, this also helps in managing the design complexity. They propose a context-aware modeling framework. The end-user view point is taken into account. Their approach considers models of high abstract level and the behavioral concepts of the service specifications. They uses code generations after several mediation model transformations to validate the pervasive service. Although we both rely on MDE and Meta-Modeling, but there is a major difference between our approaches, that is we take multi-stakeholder viewpoints into consideration, and perform early verification using simulation approach and relying on tool chain formalism from the design to the correction activities. In [10], the authors propose REMES tool chain that provides the system designer with a series of tools from the design editor to the system testing and verification ones relying on model transformation techniques. This approach is too close to ours, while it considers the behavioral concepts only. Thus, this approach can t represent TS nature precisely as it lacks to the hardware representation. The code that is generated for REMES simulator describes clocks, model transitions, and variable changes, which are all related to model checking and behavioral testing activities, while no mention to execution platforms that may contain hardware elements such as servers. The authors in [4] work in the domain of coordination modeling, where they rely on Constraint Automata (CA) to analyze the coordination models. One can realize that they consider the behavioral concepts only in their design and evaluation activities, thus their approach relies on model checkers (PRISM in their case study). Relying on MDE, they propose a tool chain to perform performance analysis of coordination models. They rely on Eclipse IDE in their implementations of the design and evaluation tools, where they use Reo plug-in. Although our both approaches rely on tool-chains, but the major difference is that we represent hardware elements, use simulators, and include a tool selection method in our proposal that makes it possible to use different simulators. In [16], the authors propose an environment (SimStudio) for modeling and simulation based on DEVS formalism (Discrete EVent Systems Specification). Their proposal offers a tool chain for the modeling, simulation, and analysis activities. Their proposal seems very close to ours, except that we propose tool
5 selection method, and we propose an approach to link between goals and early verification activities through our recent proposal in P5. Additionally, we have proposed a direct link between the design models and the network simulators such as OPNET and NS-3 [P1, P2, P3]. Thus we consider both of the domain specificity of the underlying platform PSM and the higher level models PIMs. 7 Conclusion and Future Work In this report, we have proposed the abstract syntax of Domain Specific Early Verification Language (DSEVL). It is an extension to a previously defined DSML [7], and relies on ArchiMate language as well, where ArchiMate shares the design model between the different viewpoints. We have proposed a tool-chain approach that covers the different activities from design to verification by simulation where we extend a previous work on the design activity [7]. A test-bed is implemented relying on MDE discipline and network simulators. We have contributed to a part of our research questions and looking forward to do the same to the rest. Relying on this tool-chain, we staid focused on the objective of our thesis as we define a work flow which is composed of tools from different domains, specifications, and technical spaces. Our work takes into consideration the different viewpoints of enterprise stakeholders thanks to EA framework [9]. Relying on MDE and MDA helps in managing the complexity of both activities: design and early verification. These model transformations are useful as they reduce the time of the verification implementation and the possible errors that can made manually. We bring the measurement concept from the operation activities to the design one relying on the benefits of using simulators, where no implementation cost is to be considered. On the other side, our approach considers different domains and technical spaces, which needs domain specific experts to model and implement the composing tools. Besides, implementing the test-bed including different simulators is a time consuming activity and needs also domain experience. For the future, we intend to define the concrete syntax of the early verification language that extends the Domain Specific Modeling Language (DSML) [7]. We intend also to investigate in the problem that has faced us when aggregating the data collected from the different layers of ArchiMate (e.g. Business, and Technology) [problem declared in P5]. Additionally, we continue to investigate the rest of the research questions. 8 Publications [P1] Telecommunications Service Creation: Towards Extensions for Enterprise Architecture Modeling Languages. 6th Intl. Conf. on Software and Data Technologies (ICSOFT), 2011; [P2] Linking Telecom Service High-Level Abstract Models to Simulators Based on Model Transformations: The IMS Case Study. Information and Communication Technologies, 2012; [P3] A generalized model transformation approach to link design models to network simulators: NS-3 case study, Springer Verlag, [Accepted]; [P4] An Automated Tool Selection Method based on Model Transformation: OPNET and NS-3 Case Study, IEEE- SCS, [Accepted]; [P5] A Transversal Alignment between Measurements
6 and Enterprise Architecture for Early Verification of Telecom Service Design, [Submitted] References 1. Achilleos, A., Yang, K., Georgalas, N.: Context modelling and a context-aware framework for pervasive service creation: A model-driven approach. Pervasive and Mobile Computing 6(2), (2010) 2. Adamopoulos, D.: A service-centric approach for exploiting network intelligence. In: Second International Conference on the Applications of Digital Information and Web Technologies, ICADIWT 09. pp (aug 2009) 3. Adamopoulos, D., Pavlou, G., Papandreou, C.: Advanced service creation using distributed object technology. Communications Magazine, IEEE 40(3), (march 2002) 4. Arbab, F., Meng, S., Moon, Y.J.: Reo2mc: a tool chain for performance analysis of coordination models. In: ESEC/FSE 09 Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering. vol. I, pp ACM, Amsterdam, Netherlands (August ) 5. Berndt, H., Peter, G., Masaki, W.: Service specification concepts in TINA-C. In: Proceedings of the 2nd Intl. Conf. on Intelligence in Broadband Services and Networks: Towards a Pan-European Telecommunication Service Infrastructure. pp ACM, London, UK (1994) 6. Bowen, T., Dworack, F., Chow, C., Griffeth, N., Herman, G., Lin, Y.: The feature interaction problem in telecommunications systems. In: SETSS (1989) 7. Chiprianov, V.: Collaborative Construction of Telecommunications Services. An Enterprise Architecture and Model Driven Engineering Method. Ph.D. thesis, Telecom Bretagne, France (2012) 8. Chung, L., Nixon, B.A., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering, vol. I. KLUWER ACADEMIC Publishers (1999) 9. Greefhorst, D., Proper, E.: Architecture Principles, The Enterprise Engineering series, vol. 4. Springer (2011) 10. Ivanov, D., Orlić, M., Seceleanu, C., Vulgarakis, A.: A set of integrated tools for behavioral modeling and analysis of embedded systems. In: ASE 10 the proceedings of the IEEE/ACM international conference on Automated software engineering (2010) 11. Lee, C., Lehoczky, J., Siewiorek, D., Rajkumar, R., Hansen, J.: A scalable solution to the multi-resource qos problem. In: Real-Time Systems Symposium, Proceedings. The 20th IEEE. pp (1999) 12. Moreno, G.A., Merson, P.: Model-driven performance analysis. In: Conference on the Quality of Software Architectures (QoSA). vol. I, pp Karlsruhe, Germany (2008) 13. Nicol, D.M., Liljenstam, M., Liu, J.: Advanced concepts in large-scale network simulation. In: Proceedings of the 37th conference on Winter simulation. pp WSC 05, Winter Simulation Conference (2005) 14. Sommerville, I.: Software Engineering. PEARSON, 9 edn. (2011) 15. The Open Group: ArchiMate 1.0 Specification (2009) 16. Touraille, L., Traoré, M.K., Hill, D.R.C.: A model-driven software environment for modeling, simulation and analysis of complex systems. In: Proceedings of the Symposium on Theory of Modeling & Simulation. pp (2011)
TOWARDS AN ARCHITECTURE FOR ENERGY MANAGEMENT INFORMATION SYSTEMS AND SUSTAINABLE AIRPORTS
International Symposium on Sustainable Aviation May 29- June 1, 2016 Istanbul, TURKEY TOWARDS AN ARCHITECTURE FOR ENERGY MANAGEMENT INFORMATION SYSTEMS AND SUSTAINABLE AIRPORTS Murat Pasa UYSAL 1 ; M.
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 informationCo-evolution of agent-oriented conceptual models and CASO agent programs
University of Wollongong Research Online Faculty of Informatics - Papers (Archive) Faculty of Engineering and Information Sciences 2006 Co-evolution of agent-oriented conceptual models and CASO agent programs
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 informationGOALS 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,
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 informationEditorial 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é
More informationModel-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
More informationGlobalizing 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,
More informationAn Ontology for Modelling Security: The Tropos Approach
An Ontology for Modelling Security: The Tropos Approach Haralambos Mouratidis 1, Paolo Giorgini 2, Gordon Manson 1 1 University of Sheffield, Computer Science Department, UK {haris, g.manson}@dcs.shef.ac.uk
More informationGreat Minds. Internship Program IBM Research - China
Internship Program 2017 Internship Program 2017 Jump Start Your Future at IBM Research China Introduction invites global candidates to apply for the 2017 Great Minds internship program located in Beijing
More informationThe Study on the Architecture of Public knowledge Service Platform Based on Collaborative Innovation
The Study on the Architecture of Public knowledge Service Platform Based on Chang ping Hu, Min Zhang, Fei Xiang Center for the Studies of Information Resources of Wuhan University, Wuhan,430072,China,
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 informationAN INTERROGATIVE REVIEW OF REQUIREMENT ENGINEERING FRAMEWORKS
AN INTERROGATIVE REVIEW OF REQUIREMENT ENGINEERING FRAMEWORKS MUHAMMAD HUSNAIN, MUHAMMAD WASEEM, S. A. K. GHAYYUR Department of Computer Science, International Islamic University Islamabad, Pakistan E-mail:
More informationINTERNATIONAL CONFERENCE ON ENGINEERING DESIGN ICED 03 STOCKHOLM, AUGUST 19-21, 2003
INTERNATIONAL CONFERENCE ON ENGINEERING DESIGN ICED 03 STOCKHOLM, AUGUST 19-21, 2003 A KNOWLEDGE MANAGEMENT SYSTEM FOR INDUSTRIAL DESIGN RESEARCH PROCESSES Christian FRANK, Mickaël GARDONI Abstract Knowledge
More informationCollaborative Product and Process Model: Multiple Viewpoints Approach
Collaborative Product and Process Model: Multiple Viewpoints Approach Hichem M. Geryville 1, Abdelaziz Bouras 1, Yacine Ouzrout 1, Nikolaos S. Sapidis 2 1 PRISMa Laboratory, University of Lyon 2, CERRAL-IUT
More informationPatterns and their impact on system concerns
Patterns and their impact on system concerns Michael Weiss Department of Systems and Computer Engineering Carleton University, Ottawa, Canada weiss@sce.carleton.ca Abstract Making the link between architectural
More informationMixing 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
More informationENGAGE MSU STUDENTS IN RESEARCH OF MODEL-BASED SYSTEMS ENGINEERING WITH APPLICATION TO NASA SOUNDING ROCKET MISSION
2017 HAWAII UNIVERSITY INTERNATIONAL CONFERENCES SCIENCE, TECHNOLOGY & ENGINEERING, ARTS, MATHEMATICS & EDUCATION JUNE 8-10, 2017 HAWAII PRINCE HOTEL WAIKIKI, HONOLULU, HAWAII ENGAGE MSU STUDENTS IN RESEARCH
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 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 informationAOSE Agent-Oriented Software Engineering: A Review and Application Example TNE 2009/2010. António Castro
AOSE Agent-Oriented Software Engineering: A Review and Application Example TNE 2009/2010 António Castro NIAD&R Distributed Artificial Intelligence and Robotics Group 1 Contents Part 1: Software Engineering
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 informationIntroducing the European Space Agency Architectural Framework for Space-based Systems of Systems Engineering
Introducing the European Space Agency Architectural Framework for Space-based Systems of Systems Engineering Daniele Gianni, Niklas Lindman *, Joachim Fuchs and Robert Suzic European Space Agency Abstract.
More informationA Reconfigurable Citizen Observatory Platform for the Brussels Capital Region. by Jesse Zaman
1 A Reconfigurable Citizen Observatory Platform for the Brussels Capital Region by Jesse Zaman 2 Key messages Today s citizen observatories are beyond the reach of most societal stakeholder groups. A generic
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 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 informationGrundlagen des Software Engineering Fundamentals of Software Engineering
Software Engineering Research Group: Processes and Measurement Fachbereich Informatik TU Kaiserslautern Grundlagen des Software Engineering Fundamentals of Software Engineering Winter Term 2011/12 Prof.
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 informationDEPUIS project: Design of Environmentallyfriendly Products Using Information Standards
DEPUIS project: Design of Environmentallyfriendly Products Using Information Standards Anna Amato 1, Anna Moreno 2 and Norman Swindells 3 1 ENEA, Italy, anna.amato@casaccia.enea.it 2 ENEA, Italy, anna.moreno@casaccia.enea.it
More informationModel-Driven Software Development for Pervasive Information Systems Implementation
Sixth International Conference on the Quality of Information and Communications Technology Model-Driven Software Development for Pervasive Information Systems Implementation José Eduardo Fernandes Instituto
More informationA MODEL-DRIVEN REQUIREMENTS ENGINEERING APPROACH TO CONCEPTUAL SATELLITE DESIGN
A MODEL-DRIVEN REQUIREMENTS ENGINEERING APPROACH TO CONCEPTUAL SATELLITE DESIGN Bruno Bustamante Ferreira Leonor, brunobfl@yahoo.com.br Walter Abrahão dos Santos, walter@dss.inpe.br National Space Research
More informationComputing Disciplines & Majors
Computing Disciplines & Majors If you choose a computing major, what career options are open to you? We have provided information for each of the majors listed here: Computer Engineering Typically involves
More informationESIOT - Electronic Systems for Internet of Things
Coordinating unit: Teaching unit: Academic year: Degree: ECTS credits: 2016 230 - ETSETB - Barcelona School of Telecommunications Engineering 710 - EEL - Department of Electronic Engineering DEGREE IN
More informationSurvey on ODX (open diagnostics data exchange)
Survey on ODX (open diagnostics data exchange) Prof. Arun Tigadi, Anupama Pandey DEPARTMENT OF ELECTRONICS AND COMMUNICATION ENGINEERING arun.tigadi@gmail.com,cell:9886719354 K. L. E. Dr. M. S. SHESHGIRI
More informationSéminaire Supélec/SCEE
Séminaire Supélec/SCEE Models driven co-design methodology for SDR systems LECOMTE Stéphane Directeur de thèse PALICOT Jacques Co-directeur LERAY Pierre Encadrant industriel GUILLOUARD Samuel Outline Context
More informationA Modeling Method to Develop Goal Oriented Adaptive Agents in Modeling and Simulation for Smart Grids
A Modeling Method to Develop Goal Oriented Adaptive Agents in Modeling and Simulation for Smart Grids Hyo-Cheol Lee, Hee-Soo Kim and Seok-Won Lee Knowledge-intensive Software Engineering (NiSE) Lab. Ajou
More informationTowards a Software Engineering Research Framework: Extending Design Science Research
Towards a Software Engineering Research Framework: Extending Design Science Research Murat Pasa Uysal 1 1Department of Management Information Systems, Ufuk University, Ankara, Turkey ---------------------------------------------------------------------***---------------------------------------------------------------------
More informationPAPER. Connecting the dots. Giovanna Roda Vienna, Austria
PAPER Connecting the dots Giovanna Roda Vienna, Austria giovanna.roda@gmail.com Abstract Symbolic Computation is an area of computer science that after 20 years of initial research had its acme in the
More informationThe Rise & Fall(?) of Modelling
The Rise & Fall(?) of Modelling MARK THOMAS UK LEAD SW ARCHITECT, THALES UK Ver0.1-20150602 www.thalesgroup.com Contents The need for models The Hype Curve The Rise - Thales experience The Fall - The Challenges
More informationThe secret behind mechatronics
The secret behind mechatronics Why companies will want to be part of the revolution In the 18th century, steam and mechanization powered the first Industrial Revolution. At the turn of the 20th century,
More informationSoftware-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
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 informationCross Linking Research and Education and Entrepreneurship
Cross Linking Research and Education and Entrepreneurship MATLAB ACADEMIC CONFERENCE 2016 Ken Dunstan Education Manager, Asia Pacific MathWorks @techcomputing 1 Innovation A pressing challenge Exceptional
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 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 informationProposed Curriculum Master of Science in Systems Engineering for The MITRE Corporation
Proposed Curriculum Master of Science in Systems Engineering for The MITRE Corporation Core Requirements: (9 Credits) SYS 501 Concepts of Systems Engineering SYS 510 Systems Architecture and Design SYS
More informationContext Sensitive Interactive Systems Design: A Framework for Representation of contexts
Context Sensitive Interactive Systems Design: A Framework for Representation of contexts Keiichi Sato Illinois Institute of Technology 350 N. LaSalle Street Chicago, Illinois 60610 USA sato@id.iit.edu
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 informationwith permission from World Scientific Publishing Co. Pte. Ltd.
The CoCoME Platform: A Research Note on Empirical Studies in Information System Evolution, Robert Heinrich, Stefan Gärtner, Tom-Michael Hesse, Thomas Ruhroth, Ralf Reussner, Kurt Schneider, Barbara Paech
More informationSouthern California Edison EPIC Overview
EPIC Overview i-pcgrid Conference Aaron Renfro EPIC Program Administrator March 30, 2018 Summary of the EPIC Program Funding & Admin. Investment Areas Electricity System Value Chain $162M/annually in ratepayer
More informationValidation of Frequency- and Time-domain Fidelity of an Ultra-low Latency Hardware-in-the-Loop (HIL) Emulator
Validation of Frequency- and Time-domain Fidelity of an Ultra-low Latency Hardware-in-the-Loop (HIL) Emulator Elaina Chai, Ivan Celanovic Institute for Soldier Nanotechnologies Massachusetts Institute
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 informationAre we ready for computer assisted living?
Are we ready for computer assisted living? http://d3s.mff.cuni.cz Tomáš Bureš bures@d3s.mff.cuni.cz CHARLES UNIVERSITY IN PRAGUE faculty of mathematics and physics Context Example: Road Trains Autovlak,
More informationModel Based Systems Engineering
Model Based Systems Engineering SAE Aerospace Standards Summit 25 th April 2017 Copyright 2017 by INCOSE Restrictions on use of the INCOSE SE Vision 2025 are contained on slide 22 1 Agenda and timings
More informationOntologies, Knowledge Representation, Artificial Intelligence Hype or Prerequisites for Interoperability?
1 Ontologies, Knowledge Representation, Artificial Intelligence Hype or Prerequisites for Interoperability? B. Blobel ehealth Competence Center, University Hospital Regensburg, Regensburg, Germany Abstract
More informationMASTER THESIS PROJECT PROPOSALS: SIGNAL PROCESSING FOR WIRELESS AND SATELLITE COMMUNICATIONS
MASTER THESIS PROJECT PROPOSALS: SIGNAL PROCESSING FOR WIRELESS AND SATELLITE COMMUNICATIONS Prof. Claudio Sacchi Academic year 2017-2018 General rules The listed thesis projects are specifically available
More informationDesigning Semantic Virtual Reality Applications
Designing Semantic Virtual Reality Applications F. Kleinermann, O. De Troyer, H. Mansouri, R. Romero, B. Pellens, W. Bille WISE Research group, Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussels, Belgium
More informationDESIGN AND CAPABILITIES OF AN ENHANCED NAVAL MINE WARFARE SIMULATION FRAMEWORK. Timothy E. Floore George H. Gilman
Proceedings of the 2011 Winter Simulation Conference S. Jain, R.R. Creasey, J. Himmelspach, K.P. White, and M. Fu, eds. DESIGN AND CAPABILITIES OF AN ENHANCED NAVAL MINE WARFARE SIMULATION FRAMEWORK Timothy
More informationCOEN7501: Formal Hardware Verification
COEN7501: Formal Hardware Verification Prof. Sofiène Tahar Hardware Verification Group Electrical and Computer Engineering Concordia University Montréal, Quebec CANADA Accident at Carbide plant, India
More informationData Exchange Standards Overview AP233/AP239/AP242 and MoSSEC
Data Exchange Standards Overview AP233/AP239/AP242 and MoSSEC Nigel Shaw, Managing Director, Eurostep Limited www.incose.org/iw2017 Nigel Shaw Chair of Editing Committee for STEP first release (c.1998-1995)
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 informationCourse Outline Department of Computing Science Faculty of Science
Course Outline Department of Computing Science Faculty of Science COMP 2920 3 Software Architecture & Design (3,1,0) Fall, 2015 Instructor: Phone/Voice Mail: Office: E-Mail: Office Hours: Calendar /Course
More informationMulti-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.
More informationHigh Performance Computing Systems and Scalable Networks for. Information Technology. Joint White Paper from the
High Performance Computing Systems and Scalable Networks for Information Technology Joint White Paper from the Department of Computer Science and the Department of Electrical and Computer Engineering With
More informationMeta-CASE Support for Method-Based Software Development
(to appear in) Proc. of 1st Int. Congress on Meta-CASE, 5-6th January 1995, Sunderland, UK. Meta-CASE Support for -Based Software Development Bashar Nuseibeh Department of Computing Imperial College 180
More informationHardware/Software Codesign of Real-Time Systems
ARTES Project Proposal Hardware/Software Codesign of Real-Time Systems Zebo Peng and Anders Törne Center for Embedded Systems Engineering (CESE) Dept. of Computer and Information Science Linköping University
More informationDeveloping and Distributing a Model-Based Systems Engineering(MBSE) CubeSat Reference Model Status
Developing and Distributing a Model-Based Systems Engineering(MBSE) CubeSat Reference Model Status Dave Kaslow Chair: International Council on Systems Engineering (INCOSE) Space Systems Working Group (SSWG)
More informationA 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
More informationMANAGING HUMAN-CENTERED DESIGN ARTIFACTS IN DISTRIBUTED DEVELOPMENT ENVIRONMENT WITH KNOWLEDGE STORAGE
MANAGING HUMAN-CENTERED DESIGN ARTIFACTS IN DISTRIBUTED DEVELOPMENT ENVIRONMENT WITH KNOWLEDGE STORAGE Marko Nieminen Email: Marko.Nieminen@hut.fi Helsinki University of Technology, Department of Computer
More informationPCB Origami: A Material-Based Design Approach to Computer-Aided Foldable Electronic Devices
PCB Origami: A Material-Based Design Approach to Computer-Aided Foldable Electronic Devices Yoav Sterman Mediated Matter Group Media Lab Massachusetts institute of Technology Cambridge, Massachusetts,
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 informationMILAN DECLARATION Joining Forces for Investment in the Future of Europe
MILAN DECLARATION Joining Forces for Investment in the Future of Europe We, the political leaders and representatives of the Vanguard Initiative for New Growth through Smart Specialisation, call upon the
More informationARTEMIS The Embedded Systems European Technology Platform
ARTEMIS The Embedded Systems European Technology Platform Technology Platforms : the concept Conditions A recipe for success Industry in the Lead Flexibility Transparency and clear rules of participation
More informationIntroduction. Requirements Engineering: Why RE? What is RE? How to do RE? -> RE Processes. Why RE in SysE? Case Studies and The Standish Report
Requirements Engineering: Why RE? Introduction Why RE in SysE? Software Lifecycle and Error Propagation Case Studies and The Standish Report What is RE? Role of Requirements How to do RE? -> RE Processes
More informationPatrick Farail Airbus France 316, route de Bayonne Toulouse Cedex 9 patrick[dot]farail[at]airbus[dot]c om
François Vernadat FéRIA LAAS/CNRS 7 Avenue du colonel Roche 31077 Toulouse francois[at]laas[dot]fr Christian Percebois FéRIA IRIT/CNRS 118, route de Narbonne 31062 Toulouse perceboi[at]irit[dot]fr Patrick
More informationKnowledge 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,
More informationTechnology Roadmapping. Lesson 3
Technology Roadmapping Lesson 3 Leadership in Science & Technology Management Mission Vision Strategy Goals/ Implementation Strategy Roadmap Creation Portfolios Portfolio Roadmap Creation Project Prioritization
More informationPlayware Research Methodological Considerations
Journal of Robotics, Networks and Artificial Life, Vol. 1, No. 1 (June 2014), 23-27 Playware Research Methodological Considerations Henrik Hautop Lund Centre for Playware, Technical University of Denmark,
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 informationModel-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
More informationEnhancing industrial processes in the industry sector by the means of service design
ServDes2018 - Service Design Proof of Concept Politecnico di Milano 18th-19th-20th, June 2018 Enhancing industrial processes in the industry sector by the means of service design giuseppe@attoma.eu, peter.livaudais@attoma.eu
More informationDSM-Based Methods to Represent Specialization Relationships in a Concept Framework
20 th INTERNATIONAL DEPENDENCY AND STRUCTURE MODELING CONFERENCE, TRIESTE, ITALY, OCTOBER 15-17, 2018 DSM-Based Methods to Represent Specialization Relationships in a Concept Framework Yaroslav Menshenin
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 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 informationPan-Canadian Trust Framework Overview
Pan-Canadian Trust Framework Overview A collaborative approach to developing a Pan- Canadian Trust Framework Authors: DIACC Trust Framework Expert Committee August 2016 Abstract: The purpose of this document
More informationSeaFish: A Game for Collaborative and Visual Image Annotation and Interlinking
SeaFish: A Game for Collaborative and Visual Image Annotation and Interlinking Stefan Thaler 1, Katharina Siorpaes 1,DavidMear 3, Elena Simperl 1,2, and Carl Goodman 3 1 University of Innsbruck, STI-Innsbruck,
More informationPotential areas of industrial interest relevant for cross-cutting KETs in the Electronics and Communication Systems domain
This fiche is part of the wider roadmap for cross-cutting KETs activities Potential areas of industrial interest relevant for cross-cutting KETs in the Electronics and Communication Systems domain Cross-cutting
More informationARTEMIS SRA Advanced Research & Technology for Embedded Intelligence and Systems Strategic Research Agenda
Ennakkotiedote [*] 29.4.2006 raimo.rintamaki@hamk.fi sivu1 (16) Yrjö Neuvo esitelmöi i Forssassa 15.9.2006 ARTEMIS SRA Advanced Research & Technology for Embedded Intelligence and Systems Strategic Research
More informationMulti-channel Provisioning of Public Services
Multi-channel Provisioning of Public Services Gustav Aagesen Department of Computer and Information Science Norwegian University of Science and Technology 1 Outline of the talk Background and motivation
More informationDeveloping and Distributing a CubeSat Model-Based Systems Engineering (MBSE) Reference Model
Developing and Distributing a CubeSat Model-Based Systems Engineering (MBSE) Reference Model Dave Kaslow International Council on Systems Engineering (INCOSE) Space Systems Working Group (SSWG) INCOSE
More informationAGENT BASED MANUFACTURING CAPABILITY ASSESSMENT IN THE EXTENDED ENTERPRISE USING STEP AP224 AND XML
17 AGENT BASED MANUFACTURING CAPABILITY ASSESSMENT IN THE EXTENDED ENTERPRISE USING STEP AP224 AND XML Svetan Ratchev and Omar Medani School of Mechanical, Materials, Manufacturing Engineering and Management,
More informationA Unified Model for Physical and Social Environments
A Unified Model for Physical and Social Environments José-Antonio Báez-Barranco, Tiberiu Stratulat, and Jacques Ferber LIRMM 161 rue Ada, 34392 Montpellier Cedex 5, France {baez,stratulat,ferber}@lirmm.fr
More informationIntroduction to Computer Engineering
Introduction to Computer Engineering Mohammad Hossein Manshaei manshaei@gmail.com Textbook Computer Science an Overview J.Glenn Brooksher, 11 th Edition Pearson 2011 2 Contents 1. Computer science vs computer
More informationModeling Supervisory Control of Autonomous Mobile Robots using Graph Theory, Automata and Z Notation
Modeling Supervisory Control of Autonomous Mobile Robots using Graph Theory, Automata and Z Notation Javed Iqbal 1, Sher Afzal Khan 2, Nazir Ahmad Zafar 3 and Farooq Ahmad 1 1 Faculty of Information Technology,
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 informationRequirement Definition
Requirement Definition 1 Objectives Understand the requirements collection Understand requirements and their correspondence to people, process, technology and organisation infrastructure Understand requirements
More informationST Tool. A CASE tool for security aware software requirements analysis
ST Tool A CASE tool for security aware software requirements analysis Paolo Giorgini Fabio Massacci John Mylopoulos Nicola Zannone Departement of Information and Communication Technology University of
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 informationopenaal 1 - the open source middleware for ambient-assisted living (AAL)
AALIANCE conference - Malaga, Spain - 11 and 12 March 2010 1 openaal 1 - the open source middleware for ambient-assisted living (AAL) Peter Wolf 1, *, Andreas Schmidt 1, *, Javier Parada Otte 1, Michael
More information