Multi-View Design for Cyber-Physical Systems
|
|
- Mabel Charles
- 6 years ago
- Views:
Transcription
1 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. PhD Symposium at 13th International Conference on ICT in Education, Research, and Industrial Applications, May 2017, Kiev, Ukraine. pp.22-28, < <hal > HAL Id: hal Submitted on 21 Dec 2017 HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
2 Multi-View Design for Cyber-Physical Systems Hui Zhao 1 Ludovic Apvrille 2 Frédéric Mallet 1 1 Université Côte d Azur, I3S, INRIA 2 Telecom ParisTech, CNRS/LTCI Sophia Antipolis, France March 2017 Abstract Cyber-Physical Systems are complex systems made of various and heterogeneous subsystems; they have different aspects and each aspect has its own requirements and properties to be satisfied. Model-Driven Engineering (MDE) is a promising approach used to design and analyze complex systems on different levels and diverse views. CPS designers take many factors into account due to the complexity and diversity of current CPS systems. The designers have their own individual experience and specific viewpoint; they may use different models and languages to describe various domains, different models and languages lead to a complex coherency management. Therefore, how to promote the coherency of a whole system and ensure all subsystems can work together is an important concrete issue. To resolve this issue, we introduce a unified modeling methodology which can coordinate different models and languages with a multi-view approach. Indeed, we expect multi-view approaches to help handling system coherency. Hence, we focus on providing a high-level modeling methodology with multi-view that (i) Coordinates different languages of models and diverse tools. (ii) Ensures engineering-wide collaboration by sharing the same reference architecture. (iii) Handles the complexity of systems and architectures, using unified viewpoints to model the whole systems with top-down refinement. (iv) Supports different formal methods to verify critical elements. (v) Backtraces verification results to models. keywords CPS, MDE, Heterogeneous Modeling, Multi-View Design 1 Introduction Cyber-Physical Systems (CPS) are highly complex and widely distributed systems. CPS are made of heterogeneous subsystems that include cyber computational parts and physical processes. The cyber part is made of discrete elements and the physical part is mostly continuous. In an entire and complex system, those two aspects are combined. In other words, cyber-physical systems include the intersection of the physical and computational parts, and their interactions 1
3 [10]. Also, physical components are very different from computational systems in several ways. Therefore, in contrast to model a computational system, cyberphysical systems combine engineering models and methods from mechanical, electrical, aeronautical and industrial engineering with the models and methods of computer science. It is for these qualitative differences that some coherence problems emerge [9] and make it more difficult fo design complex and heterogeneous. Thus, It is a common practice to use a modeling language for each sub-domain: Domain Specific Modeling Languages (DSMLs) have been introduced for that goal. Recently, several contributions [3] [4] have proposed new ways approaches to deal with several specific domain languages together. However, a systematic design must coordinate the different languages to understand the emerging system behavior, and there are still gaps of syntax and behavioral semantic. To overcome this difficulty, we explore a coordination approach that allows coordinating different models which are described by DSML, thereby, providing a possibility to analyze and unify the design of complex systems effectively. Moreover, our approach is able to consider a lot of different properties and views of a system from a global viewpoint. Larsen et al. [15] have shown a first step in that direction, we follow this same path while focusing more on different views and aspects, such as safety and security views. This paper is organized as follows. In section 2 we present the motivations for our research work. Then, section 3 illustrates our methodology of multi-view design using a railway signaling system as a case study and gives preliminary meta-models. In Section 4, we explore some significant views and discuss further work. In this paper, we tried to concise and clear point out the direction of our researches and proposed the method of implementation way, therefore, we do not attempt to give a complete and concrete example, but rather subpart of our case study that are relevant for the scope of this paper. 2 Motivation and Objective The goal of our research is to build a bridge between system models and inner models at different abstraction levels of the system (as shown in Fig.1), i.e., a set of components whose interaction semantics is usually informal, and the heterogeneous (more concrete) components that are expected to satisfy some of the system s properties. By leveraging some of the properties obtained on the component level, we hope to offer mechanisms useful for the integration stage: verify that components satisfy with system requirements, allow substitution of components and exploration of alternative costs with regards to both their functional and non-functional properties. Meanwhile, we intend to conduct execution, verification and validation activities at system level. Our research on system modeling view was inspired by existing Model-Based System Engineering (MBSE) methodology and approaches (SysML/MARTE and Arcadia/Capella). Existing MDE frameworks, e.g. Eclipse Modeling Tool 1, 1 Eclipse modeling tool web page: 2
4 Assumption Guarantee Property 2 System 1 A1 G1 System 2 Property 1 G2 A2 A1? Component 1 satisfied? G2? P1? Component x Component 2 Component 3 How to verify? Integrate? Figure 1: Horizontal and Vertical system view integrate various analysis techniques supporting the engineering process within a common environment. The EMF is used to capture meta-models as a highlevel abstract model. Moreover, we rely on TTool 1 to model the system and perform security and safety proofs. ARCADIA/Capella project 2, ARCADIA and Capella are Model-Based System Engineering (MBSE) [14] methods and tool suites for designing systems from a high level of abstractions, ARCADIA/Capella also adopts a multi-view point description to illustrate different specifications, such as physical part, logical part, and allocation relationships. ARCA- DIA/Capella has been successfully deployed in a wide variety of industrial contexts. UML and its profile for the embedded system called MARTE [1] are applied for modeling on a high-level, and a set of formal methods help system engineers to verify the main and safety-critical components, which are imperative procedures to guarantee the quality of the system. TTool is a free and open-source support toolkit supporting several profiles, including SysML-Sec [2]. TTool offers diagrams for capturing system requirements, modeling software/hardware partitioning and performing performance/security/safety proofs support model transformation techniques. For security and safety proofs, TTool relies on ProVerif and UP- PAAL, respectively. We consider the connections between modeling and meta-modeling aspects (UML/SysML) regarding the combination of Real-Time and Security/Dependability
5 Figure 2: Arcadia Methodology points of view. There is certainly a strong feedback from each on the other (if only to mention that they may conflict as security may add latency to computations). Notions of mixed-criticality and the time variations of trust zones according to change of system states are other examples of this. We intend to put here the emphasis on proper and insightful modeling of these aspects, as a preamble to analysis and verification of joint temporal and security/safety conditions. We want to illustrate these issues based on potential use cases of a railway signaling system connecting several subsystems. 3 Methodology and case study ARCADIA is a MBSE method for the system, handling both hardware and software architectural concepts. It enforces a methodology structured on four successive engineering phases which separate needs (operational need analysis and system need analysis) and solutions (logical and physical architectures), (Fig.2), in accordance with IEEE1220 standard. According to this method, we give the definition of each phase, and sketch meta-models using the Eclipse Modeling Framework (EFM) 1. Meanwhile, we apply this method to the railway signaling system and related subsystem in an industrial field. 3.1 Operational Analysis At the Operational Analysis phase, we should capture the Operational Activities and Operational Entities and the interactions between them. The activities include functional and non-functional properties such as partitioning, safety, security. Finally, it can describe and structure the needs and the goals of the customer. The meta-model of our approach is given in Fig
6 Automatic train operation Brake sys Brake controller Brake Mechanism Speed Speed Sensor 3.2 System Analysis Figure 3: Meta-Model of Operational Analysis At the System Analysis phase, we focus on the system level. An architecture is intended to illustrate allocations (Fig.4) of functions onto components so as to comply with systems needs. Meanwhile, the architecture diagram is also used to check the feasibility of the customer requirements with a multi-view approach (safety, cost, consumption, etc,.). 3.3 Logical Architecture Figure 4: Allocation on system level This step aims at building a coarse component breakdown of the system which is not challenged in the further development process. All the functional and nonfunctional constraints (safety, security, performance, cost, non-technical, etc.) are taken into account, starting from previous functional and non-functional analysis refined results (functions, interfaces, data flows, behaviors, etc.), building one or several decompositions of the system into logical components. 5
7 3.4 Physical Architecture The Physical Architecture step is similar to logical architecture design procedure. It consists of the selected physical architecture which includes components to be produced, formalization of all viewpoints and how they are taken into account in the components design. Once the model has been finished, a more classical development stage can start. The same viewpoint-driven approach as for logical architecture design is used. 4 Related work Multi-view design, as proposed by Gomez et al. [6], relies on MARTE and SysML in order to focus on power view and the relationship between functional, nonfunctional and structural aspects. we noticed that Persson et al. [13] has analyzed the relation of views and taken the characterization from three main perspectives for the relations of viewpoints, semantic (content), relations over time (process), and manipulation of views (operations). Moreover, Fang et al. [11] have given a formal definition of the multi-view model at the meta-model level, and then they proposed a unified graphical environment and toolkit for CPRS modeling. Also, Kienzle et al. [8] discussed an aspect-oriented modeling approach called RAM. RAM makes the models more scalable to multi-view modeling by using 3 modeling notations (UML class diagrams, state and sequence diagrams). 5 Future work and Discussion Most CPS systems are safety-critical systems. Model-Driven Engineering allows analysis of system parts from the simulation of behavior to better predict failure modes. Our research has been inspired by former work about assessment and evaluation of a system s Safety integrity level. During the last years, researchers were wondering how to find an ideal MDE approach which is able to support safety analysis (SA) methods [12] automatically according to a set of standards such as EN61508 [7]. Safety-critical systems are expected to demonstrate a high level of dependability, and in particular safety. Therefore, standards [7] concerned with the development of such systems define a specific system life-cycle where system engineering is conducted in parallel with SA. Each phase of SA implies the application of specific methods and activities. Typical SA methods include hazard analysis, Fault Tree (FT) generation and analysis (FTA), Failure Mode and Effects Analysis (FMEA) [5]. Once a view such as the safety analysis view has been completed, it should be integrated into the system architecture view. Furthermore, the modeling environment should offer capabilities for safety analysis that also takes into account the architecture. Finally, we focus on the integration of some of the 6
8 views into existing MDE tools (e.g. TTool) and show how system modeling can be coupled with safety analysis capabilities in a seamless environment. References [1] UML profile for MARTE: modeling and analysis of real-time embedded systems. pages 1 754, June [2] L Apvrille and Y Roudier. SysML-sec: a sysml environment for the design and development of secure embedded systems. APCOSEC, [3] Muhammad Waqar Aziz and Muhammad Rashid. Domain Specific Modeling Language for Cyber Physical Systems. In 2016 International Conference on Information Systems Engineering (ICISE), pages IEEE, [4] Benoît Combemale, Julien DeAntoni, Benoit Baudry, Robert B France, Jean-Marc Jezequel, and Jeff Gray. Globalizing Modeling Languages. Computer, 47(6):68 71, [5] IEC Technical Committee. IEC 60812, Analysis Techniques for System Reliability-Procedure for Failure Mode and Effects Analysis (FMEA), [6] C Gomez, J Deantoni, and F Mallet. Multi-view power modeling based on UML, MARTE and SysML. Software Engineering and..., [7] International Electrotechnical Commission IEC. Functional safety of electrical/electronic/programmable electronic safety related systems. IEC 61508, [8] Jörg Kienzle, Wisam Al Abed, and Jacques Klein. Aspect-oriented multiview modeling. ACM, New York, New York, USA, March [9] Edward Lee. The Past, Present and Future of Cyber-Physical Systems: A Focus on Models. Sensors, 15(3): , February [10] Edward A Lee. Cyber Physical Systems: Design Challenges. In th IEEE International Symposium on Object and Component-Oriented Real- Time Distributed Computing, pages IEEE, [11] Fang Li, Jiafu Wan, Ping Zhang, and Di Li. A multi-view integration modeling approach for cyber-physical robot system. In 2013 International Conference on Machine Learning and Cybernetics (ICMLC), pages IEEE, [12] Faida Mhenni, Nga Nguyen, and Jean-Yves Choley. Automatic fault tree generation from SysML system models. In 2014 IEEE/ASME International Conference on Advanced Intelligent Mechatronics (AIM), pages IEEE,
9 [13] Magnus Persson, Martin Törngren, Ahsan Qamar, Jonas Westman, Matthias Biehl, Stavros Tripakis, Hans Vangheluwe, and Joachim Denil. A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems. EMSOFT, [14] Pascal Roques. MBSE with the ARCADIA Method and the Capella Tool. 8th European Congress on Embedded Real..., January [15] Matias Ezequiel Vara Larsen, Julien DeAntoni, Benoît Combemale, and Frédéric Mallet. A Behavioral Coordination Operator Language (BCOoL). In 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), pages IEEE,
Globalizing Modeling Languages
Globalizing Modeling Languages Benoit Combemale, Julien Deantoni, Benoit Baudry, Robert B. France, Jean-Marc Jézéquel, Jeff Gray To cite this version: Benoit Combemale, Julien Deantoni, Benoit Baudry,
More informationGis-Based Monitoring Systems.
Gis-Based Monitoring Systems. Zoltàn Csaba Béres To cite this version: Zoltàn Csaba Béres. Gis-Based Monitoring Systems.. REIT annual conference of Pécs, 2004 (Hungary), May 2004, Pécs, France. pp.47-49,
More informationTutorial: Using the UML profile for MARTE to MPSoC co-design dedicated to signal processing
Tutorial: Using the UML profile for MARTE to MPSoC co-design dedicated to signal processing Imran Rafiq Quadri, Abdoulaye Gamatié, Jean-Luc Dekeyser To cite this version: Imran Rafiq Quadri, Abdoulaye
More informationUML based risk analysis - Application to a medical robot
UML based risk analysis - Application to a medical robot Jérémie Guiochet, Claude Baron To cite this version: Jérémie Guiochet, Claude Baron. UML based risk analysis - Application to a medical robot. Quality
More informationVR4D: An Immersive and Collaborative Experience to Improve the Interior Design Process
VR4D: An Immersive and Collaborative Experience to Improve the Interior Design Process Amine Chellali, Frederic Jourdan, Cédric Dumas To cite this version: Amine Chellali, Frederic Jourdan, Cédric Dumas.
More informationTowards the Integration of Safety Analysis in a Model-Based System Engineering Approach with SysML
Towards the Integration of Safety Analysis in a Model-Based System Engineering Approach with SysML Faida Mhenni, Nga Nguyen, Jean-Yves Choley To cite this version: Faida Mhenni, Nga Nguyen, Jean-Yves Choley.
More informationApplication of CPLD in Pulse Power for EDM
Application of CPLD in Pulse Power for EDM Yang Yang, Yanqing Zhao To cite this version: Yang Yang, Yanqing Zhao. Application of CPLD in Pulse Power for EDM. Daoliang Li; Yande Liu; Yingyi Chen. 4th Conference
More informationThe HL7 RIM in the Design and Implementation of an Information System for Clinical Investigations on Medical Devices
The HL7 RIM in the Design and Implementation of an Information System for Clinical Investigations on Medical Devices Daniela Luzi, Mariangela Contenti, Fabrizio Pecoraro To cite this version: Daniela Luzi,
More informationDynamic Platform for Virtual Reality Applications
Dynamic Platform for Virtual Reality Applications Jérémy Plouzeau, Jean-Rémy Chardonnet, Frédéric Mérienne To cite this version: Jérémy Plouzeau, Jean-Rémy Chardonnet, Frédéric Mérienne. Dynamic Platform
More informationModelling and Hazard Analysis for Contaminated Sediments Using STAMP Model
Publications 5-2011 Modelling and Hazard Analysis for Contaminated Sediments Using STAMP Model Karim Hardy Mines Paris Tech, hardyk1@erau.edu Franck Guarnieri Mines ParisTech Follow this and additional
More informationTowards Decentralized Computer Programming Shops and its place in Entrepreneurship Development
Towards Decentralized Computer Programming Shops and its place in Entrepreneurship Development E.N Osegi, V.I.E Anireh To cite this version: E.N Osegi, V.I.E Anireh. Towards Decentralized Computer Programming
More informationSUBJECTIVE QUALITY OF SVC-CODED VIDEOS WITH DIFFERENT ERROR-PATTERNS CONCEALED USING SPATIAL SCALABILITY
SUBJECTIVE QUALITY OF SVC-CODED VIDEOS WITH DIFFERENT ERROR-PATTERNS CONCEALED USING SPATIAL SCALABILITY Yohann Pitrey, Ulrich Engelke, Patrick Le Callet, Marcus Barkowsky, Romuald Pépion To cite this
More informationOn the Globalization of Domain-Specific Languages
On the Globalization of Domain-Specific Languages Betty H.C. Cheng, Benoit Combemale, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe To cite this version: Betty H.C. Cheng, Benoit Combemale, Robert
More informationPower- Supply Network Modeling
Power- Supply Network Modeling Jean-Luc Levant, Mohamed Ramdani, Richard Perdriau To cite this version: Jean-Luc Levant, Mohamed Ramdani, Richard Perdriau. Power- Supply Network Modeling. INSA Toulouse,
More informationA technology shift for a fireworks controller
A technology shift for a fireworks controller Pascal Vrignat, Jean-François Millet, Florent Duculty, Stéphane Begot, Manuel Avila To cite this version: Pascal Vrignat, Jean-François Millet, Florent Duculty,
More informationStewardship of Cultural Heritage Data. In the shoes of a researcher.
Stewardship of Cultural Heritage Data. In the shoes of a researcher. Charles Riondet To cite this version: Charles Riondet. Stewardship of Cultural Heritage Data. In the shoes of a researcher.. Cultural
More informationBenefits of fusion of high spatial and spectral resolutions images for urban mapping
Benefits of fusion of high spatial and spectral resolutions s for urban mapping Thierry Ranchin, Lucien Wald To cite this version: Thierry Ranchin, Lucien Wald. Benefits of fusion of high spatial and spectral
More informationThe Galaxian Project : A 3D Interaction-Based Animation Engine
The Galaxian Project : A 3D Interaction-Based Animation Engine Philippe Mathieu, Sébastien Picault To cite this version: Philippe Mathieu, Sébastien Picault. The Galaxian Project : A 3D Interaction-Based
More informationOn the robust guidance of users in road traffic networks
On the robust guidance of users in road traffic networks Nadir Farhi, Habib Haj Salem, Jean Patrick Lebacque To cite this version: Nadir Farhi, Habib Haj Salem, Jean Patrick Lebacque. On the robust guidance
More informationA sub-pixel resolution enhancement model for multiple-resolution multispectral images
A sub-pixel resolution enhancement model for multiple-resolution multispectral images Nicolas Brodu, Dharmendra Singh, Akanksha Garg To cite this version: Nicolas Brodu, Dharmendra Singh, Akanksha Garg.
More informationRFID-BASED Prepaid Power Meter
RFID-BASED Prepaid Power Meter Rozita Teymourzadeh, Mahmud Iwan, Ahmad J. A. Abueida To cite this version: Rozita Teymourzadeh, Mahmud Iwan, Ahmad J. A. Abueida. RFID-BASED Prepaid Power Meter. IEEE Conference
More informationOn the role of the N-N+ junction doping profile of a PIN diode on its turn-off transient behavior
On the role of the N-N+ junction doping profile of a PIN diode on its turn-off transient behavior Bruno Allard, Hatem Garrab, Tarek Ben Salah, Hervé Morel, Kaiçar Ammous, Kamel Besbes To cite this version:
More informationOpening editorial. The Use of Social Sciences in Risk Assessment and Risk Management Organisations
Opening editorial. The Use of Social Sciences in Risk Assessment and Risk Management Organisations Olivier Borraz, Benoît Vergriette To cite this version: Olivier Borraz, Benoît Vergriette. Opening editorial.
More informationAugmented reality as an aid for the use of machine tools
Augmented reality as an aid for the use of machine tools Jean-Rémy Chardonnet, Guillaume Fromentin, José Outeiro To cite this version: Jean-Rémy Chardonnet, Guillaume Fromentin, José Outeiro. Augmented
More informationInteractive Ergonomic Analysis of a Physically Disabled Person s Workplace
Interactive Ergonomic Analysis of a Physically Disabled Person s Workplace Matthieu Aubry, Frédéric Julliard, Sylvie Gibet To cite this version: Matthieu Aubry, Frédéric Julliard, Sylvie Gibet. Interactive
More informationExploring Geometric Shapes with Touch
Exploring Geometric Shapes with Touch Thomas Pietrzak, Andrew Crossan, Stephen Brewster, Benoît Martin, Isabelle Pecci To cite this version: Thomas Pietrzak, Andrew Crossan, Stephen Brewster, Benoît Martin,
More informationOptical component modelling and circuit simulation
Optical component modelling and circuit simulation Laurent Guilloton, Smail Tedjini, Tan-Phu Vuong, Pierre Lemaitre Auger To cite this version: Laurent Guilloton, Smail Tedjini, Tan-Phu Vuong, Pierre Lemaitre
More informationRAMS analysis of GNSS based localisation system for the train control application
RAMS analysis of GNSS based localisation system for the train control application Khanh Nguyen, Julie Beugin, Juliette Marais To cite this version: Khanh Nguyen, Julie Beugin, Juliette Marais. RAMS analysis
More informationGeometrical Specification Model for Gear - Expression, Metrology and Analysis
Geometrical Specification Model for Gear - Expression, Metrology and nalysis Jean-Yves Dantan, Julien Bruyere, Cyrille Baudouin, Luc Mathieu To cite this version: Jean-Yves Dantan, Julien Bruyere, Cyrille
More informationQPSK-OFDM Carrier Aggregation using a single transmission chain
QPSK-OFDM Carrier Aggregation using a single transmission chain M Abyaneh, B Huyart, J. C. Cousin To cite this version: M Abyaneh, B Huyart, J. C. Cousin. QPSK-OFDM Carrier Aggregation using a single transmission
More informationDesign Space Exploration of Optical Interfaces for Silicon Photonic Interconnects
Design Space Exploration of Optical Interfaces for Silicon Photonic Interconnects Olivier Sentieys, Johanna Sepúlveda, Sébastien Le Beux, Jiating Luo, Cedric Killian, Daniel Chillet, Ian O Connor, Hui
More informationCompound quantitative ultrasonic tomography of long bones using wavelets analysis
Compound quantitative ultrasonic tomography of long bones using wavelets analysis Philippe Lasaygues To cite this version: Philippe Lasaygues. Compound quantitative ultrasonic tomography of long bones
More informationTowards model-based systems engineering (MBSE) patterns to efficiently reuse know-how
Towards model-based systems engineering (MBSE) patterns to efficiently reuse know-how Quentin Wu, David Gouyon, Pascal Hubert, Eric Levrat To cite this version: Quentin Wu, David Gouyon, Pascal Hubert,
More informationDialectical Theory for Multi-Agent Assumption-based Planning
Dialectical Theory for Multi-Agent Assumption-based Planning Damien Pellier, Humbert Fiorino To cite this version: Damien Pellier, Humbert Fiorino. Dialectical Theory for Multi-Agent Assumption-based Planning.
More informationA Tool for Evaluating, Adapting and Extending Game Progression Planning for Diverse Game Genres
A Tool for Evaluating, Adapting and Extending Game Progression Planning for Diverse Game Genres Katharine Neil, Denise Vries, Stéphane Natkin To cite this version: Katharine Neil, Denise Vries, Stéphane
More information3D MIMO Scheme for Broadcasting Future Digital TV in Single Frequency Networks
3D MIMO Scheme for Broadcasting Future Digital TV in Single Frequency Networks Youssef, Joseph Nasser, Jean-François Hélard, Matthieu Crussière To cite this version: Youssef, Joseph Nasser, Jean-François
More informationA 100MHz voltage to frequency converter
A 100MHz voltage to frequency converter R. Hino, J. M. Clement, P. Fajardo To cite this version: R. Hino, J. M. Clement, P. Fajardo. A 100MHz voltage to frequency converter. 11th International Conference
More informationBridging the Gap between the User s Digital and Physical Worlds with Compelling Real Life Social Applications
Bridging the Gap between the User s Digital and Physical Worlds with Compelling Real Life Social Applications Johann Stan, Myriam Ribiere, Ryan Skraba, Jérôme Picault, Mathieu Beauvais, Patrick Legrand,
More informationHCITools: Strategies and Best Practices for Designing, Evaluating and Sharing Technical HCI Toolkits
HCITools: Strategies and Best Practices for Designing, Evaluating and Sharing Technical HCI Toolkits Nicolai Marquardt, Steven Houben, Michel Beaudouin-Lafon, Andrew Wilson To cite this version: Nicolai
More informationProposal for the Conceptual Design of Aeronautical Final Assembly Lines Based on the Industrial Digital Mock-Up Concept
Proposal for the Conceptual Design of Aeronautical Final Assembly Lines Based on the Industrial Digital Mock-Up Concept Fernando Mas, Alejandro Gómez, José Menéndez, José Ríos To cite this version: Fernando
More informationConvergence Real-Virtual thanks to Optics Computer Sciences
Convergence Real-Virtual thanks to Optics Computer Sciences Xavier Granier To cite this version: Xavier Granier. Convergence Real-Virtual thanks to Optics Computer Sciences. 4th Sino-French Symposium on
More informationA New Approach to Modeling the Impact of EMI on MOSFET DC Behavior
A New Approach to Modeling the Impact of EMI on MOSFET DC Behavior Raul Fernandez-Garcia, Ignacio Gil, Alexandre Boyer, Sonia Ben Dhia, Bertrand Vrignon To cite this version: Raul Fernandez-Garcia, Ignacio
More informationWireless Energy Transfer Using Zero Bias Schottky Diodes Rectenna Structures
Wireless Energy Transfer Using Zero Bias Schottky Diodes Rectenna Structures Vlad Marian, Salah-Eddine Adami, Christian Vollaire, Bruno Allard, Jacques Verdier To cite this version: Vlad Marian, Salah-Eddine
More informationLinear MMSE detection technique for MC-CDMA
Linear MMSE detection technique for MC-CDMA Jean-François Hélard, Jean-Yves Baudais, Jacques Citerne o cite this version: Jean-François Hélard, Jean-Yves Baudais, Jacques Citerne. Linear MMSE detection
More informationSafety critical software construction using CPN modeling and B method s proof
Safety critical software consuction using CPN modeling and B method s proof Zakaryae Boudi, El Miloudi El Koursi, Simon Collart-Dutilleul To cite this version: Zakaryae Boudi, El Miloudi El Koursi, Simon
More informationModeling for Smart Cyber-Physical Systems Application to Farming Systems
Modeling for Smart Cyber-Physical s Application to Farming s Benoit Combemale (Inria & Univ. Rennes 1) http://people.irisa.fr/benoit.combemale benoit.combemale@irisa.fr @bcombemale in collaboration with
More informationA design methodology for electrically small superdirective antenna arrays
A design methodology for electrically small superdirective antenna arrays Abdullah Haskou, Ala Sharaiha, Sylvain Collardey, Mélusine Pigeon, Kouroch Mahdjoubi To cite this version: Abdullah Haskou, Ala
More informationISO specifications of complex surfaces: Application on aerodynamic profiles
ISO specifications of complex surfaces: Application on aerodynamic profiles M Petitcuenot, L Pierre, B Anselmetti To cite this version: M Petitcuenot, L Pierre, B Anselmetti. ISO specifications of complex
More informationTwo Dimensional Linear Phase Multiband Chebyshev FIR Filter
Two Dimensional Linear Phase Multiband Chebyshev FIR Filter Vinay Kumar, Bhooshan Sunil To cite this version: Vinay Kumar, Bhooshan Sunil. Two Dimensional Linear Phase Multiband Chebyshev FIR Filter. Acta
More informationInfluence of ground reflections and loudspeaker directivity on measurements of in-situ sound absorption
Influence of ground reflections and loudspeaker directivity on measurements of in-situ sound absorption Marco Conter, Reinhard Wehr, Manfred Haider, Sara Gasparoni To cite this version: Marco Conter, Reinhard
More informationIronless Loudspeakers with Ferrofluid Seals
Ironless Loudspeakers with Ferrofluid Seals Romain Ravaud, Guy Lemarquand, Valérie Lemarquand, Claude Dépollier To cite this version: Romain Ravaud, Guy Lemarquand, Valérie Lemarquand, Claude Dépollier.
More informationSmall Array Design Using Parasitic Superdirective Antennas
Small Array Design Using Parasitic Superdirective Antennas Abdullah Haskou, Sylvain Collardey, Ala Sharaiha To cite this version: Abdullah Haskou, Sylvain Collardey, Ala Sharaiha. Small Array Design Using
More information3-axis high Q MEMS accelerometer with simultaneous damping control
3-axis high Q MEMS accelerometer with simultaneous damping control Lavinia Ciotîrcă, Olivier Bernal, Hélène Tap, Jérôme Enjalbert, Thierry Cassagnes To cite this version: Lavinia Ciotîrcă, Olivier Bernal,
More informationElectronic sensor for ph measurements in nanoliters
Electronic sensor for ph measurements in nanoliters Ismaïl Bouhadda, Olivier De Sagazan, France Le Bihan To cite this version: Ismaïl Bouhadda, Olivier De Sagazan, France Le Bihan. Electronic sensor for
More informationA simple LCD response time measurement based on a CCD line camera
A simple LCD response time measurement based on a CCD line camera Pierre Adam, Pascal Bertolino, Fritz Lebowsky To cite this version: Pierre Adam, Pascal Bertolino, Fritz Lebowsky. A simple LCD response
More informationAvoiding deadlock in multi-agent systems
Avoiding deadlock in multi-agent systems Dominique Duhaut, Elian Carrillo, Sébastien Saint-Aimé To cite this version: Dominique Duhaut, Elian Carrillo, Sébastien Saint-Aimé. Avoiding deadlock in multi-agent
More informationMETHODS FOR SAFE CONTROL SYSTEMS DESIGN AND IMPLEMENTATION
METHODS FOR SAFE CONTROL SYSTEMS DESIGN AND IMPLEMENTATION Jean-Marc Faure, Jean-Jacques Lesage To cite this version: Jean-Marc Faure, Jean-Jacques Lesage. METHODS FOR SAFE CONTROL SYSTEMS DE- SIGN AND
More informationL-band compact printed quadrifilar helix antenna with Iso-Flux radiating pattern for stratospheric balloons telemetry
L-band compact printed quadrifilar helix antenna with Iso-Flux radiating pattern for stratospheric balloons telemetry Nelson Fonseca, Sami Hebib, Hervé Aubert To cite this version: Nelson Fonseca, Sami
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 informationA Low-cost Through Via Interconnection for ISM WLP
A Low-cost Through Via Interconnection for ISM WLP Jingli Yuan, Won-Kyu Jeung, Chang-Hyun Lim, Seung-Wook Park, Young-Do Kweon, Sung Yi To cite this version: Jingli Yuan, Won-Kyu Jeung, Chang-Hyun Lim,
More informationDUAL-BAND PRINTED DIPOLE ANTENNA ARRAY FOR AN EMERGENCY RESCUE SYSTEM BASED ON CELLULAR-PHONE LOCALIZATION
DUAL-BAND PRINTED DIPOLE ANTENNA ARRAY FOR AN EMERGENCY RESCUE SYSTEM BASED ON CELLULAR-PHONE LOCALIZATION Guillaume Villemaud, Cyril Decroze, Christophe Dall Omo, Thierry Monédière, Bernard Jecko To cite
More informationSparsity in array processing: methods and performances
Sparsity in array processing: methods and performances Remy Boyer, Pascal Larzabal To cite this version: Remy Boyer, Pascal Larzabal. Sparsity in array processing: methods and performances. IEEE Sensor
More informationDesign of induction heating lines using ELTA program
Design of induction heating lines using ELT program V Bukanin, Ivanov, Zenkov, V Nemkov To cite this version: V Bukanin, Ivanov, Zenkov, V Nemkov. Design of induction heating lines using ELT program. 8th
More informationExtending Ambient Intelligence to the Internet of Things: New Challenges for QoC Management
Extending Ambient Intelligence to the Internet of Things: New Challenges for QoC Management Pierrick Marie, Thierry Desprats, Sophie Chabridon, Michelle Sibilla To cite this version: Pierrick Marie, Thierry
More informationSupporting ISO with SysML, Benefits and Limits
Supporting ISO 26262 with SysML, Benefits and Limits Pierre David, M. Shawky To cite this version: Pierre David, M. Shawky. Supporting ISO 26262 with SysML, Benefits and Limits. ESREL 2010, Sep 2010, Rhodes,
More informationRun time safety analysis for automotive systems in an open and adaptive environment
Run time safety analysis for automotive systems in an open and adaptive environment Kenneth Östberg, Magnus Bengtsson To cite this version: Kenneth Östberg, Magnus Bengtsson. Run time safety analysis for
More informationHuman Computer Interaction meets Computer Music: The MIDWAY Project
Human Computer Interaction meets Computer Music: The MIDWAY Project Marcelo Wanderley, Joseph Malloch, Jérémie Garcia, Wendy E. Mackay, Michel Beaudouin-Lafon, Stéphane Huot To cite this version: Marcelo
More informationStudy on a welfare robotic-type exoskeleton system for aged people s transportation.
Study on a welfare robotic-type exoskeleton system for aged people s transportation. Michael Gras, Yukio Saito, Kengo Tanaka, Nicolas Chaillet To cite this version: Michael Gras, Yukio Saito, Kengo Tanaka,
More informationAn On-Line Wireless Impact Monitoring System for Large Scale Composite Structures
An On-Line Wireless Monitoring System for Large Scale Composite Structures Hanfei Mei, Shenfang Yuan, Lei Qiu, Yuanqiang Ren To cite this version: Hanfei Mei, Shenfang Yuan, Lei Qiu, Yuanqiang Ren. An
More informationLow Complexity Tail-Biting Trellises for Some Extremal Self-Dual Codes
Low Comlexity Tail-Biting Trellises for Some Extremal Self-Dual Codes Grégory Olocco, Ayoub Otmani To cite this version: Grégory Olocco, Ayoub Otmani. Low Comlexity Tail-Biting Trellises for Some Extremal
More informationBANDWIDTH WIDENING TECHNIQUES FOR DIRECTIVE ANTENNAS BASED ON PARTIALLY REFLECTING SURFACES
BANDWIDTH WIDENING TECHNIQUES FOR DIRECTIVE ANTENNAS BASED ON PARTIALLY REFLECTING SURFACES Halim Boutayeb, Tayeb Denidni, Mourad Nedil To cite this version: Halim Boutayeb, Tayeb Denidni, Mourad Nedil.
More informationA high PSRR Class-D audio amplifier IC based on a self-adjusting voltage reference
A high PSRR Class-D audio amplifier IC based on a self-adjusting voltage reference Alexandre Huffenus, Gaël Pillonnet, Nacer Abouchi, Frédéric Goutti, Vincent Rabary, Robert Cittadini To cite this version:
More informationConcepts for teaching optoelectronic circuits and systems
Concepts for teaching optoelectronic circuits and systems Smail Tedjini, Benoit Pannetier, Laurent Guilloton, Tan-Phu Vuong To cite this version: Smail Tedjini, Benoit Pannetier, Laurent Guilloton, Tan-Phu
More informationDesign of Cascode-Based Transconductance Amplifiers with Low-Gain PVT Variability and Gain Enhancement Using a Body-Biasing Technique
Design of Cascode-Based Transconductance Amplifiers with Low-Gain PVT Variability and Gain Enhancement Using a Body-Biasing Technique Nuno Pereira, Luis Oliveira, João Goes To cite this version: Nuno Pereira,
More information100 Years of Shannon: Chess, Computing and Botvinik
100 Years of Shannon: Chess, Computing and Botvinik Iryna Andriyanova To cite this version: Iryna Andriyanova. 100 Years of Shannon: Chess, Computing and Botvinik. Doctoral. United States. 2016.
More informationSTUDY OF RECONFIGURABLE MOSTLY DIGITAL RADIO FOR MANET
STUDY OF RECONFIGURABLE MOSTLY DIGITAL RADIO FOR MANET Aubin Lecointre, Daniela Dragomirescu, Robert Plana To cite this version: Aubin Lecointre, Daniela Dragomirescu, Robert Plana. STUDY OF RECONFIGURABLE
More informationA STUDY ON THE RELATION BETWEEN LEAKAGE CURRENT AND SPECIFIC CREEPAGE DISTANCE
A STUDY ON THE RELATION BETWEEN LEAKAGE CURRENT AND SPECIFIC CREEPAGE DISTANCE Mojtaba Rostaghi-Chalaki, A Shayegani-Akmal, H Mohseni To cite this version: Mojtaba Rostaghi-Chalaki, A Shayegani-Akmal,
More informationAnalysis of the Frequency Locking Region of Coupled Oscillators Applied to 1-D Antenna Arrays
Analysis of the Frequency Locking Region of Coupled Oscillators Applied to -D Antenna Arrays Nidaa Tohmé, Jean-Marie Paillot, David Cordeau, Patrick Coirault To cite this version: Nidaa Tohmé, Jean-Marie
More informationAUTOM AT ICS: Research activities on Automation
AUTOM AT ICS: Research activities on Automation Celia Martinie de Almeida, Philippe Palanque, Marco Antonio Winckler, Regina Bernhaupt To cite this version: Celia Martinie de Almeida, Philippe Palanque,
More informationNeel Effect Toroidal Current Sensor
Neel Effect Toroidal Current Sensor Eric Vourc H, Yu Wang, Pierre-Yves Joubert, Bertrand Revol, André Couderette, Lionel Cima To cite this version: Eric Vourc H, Yu Wang, Pierre-Yves Joubert, Bertrand
More informationCharacterization of Few Mode Fibers by OLCI Technique
Characterization of Few Mode Fibers by OLCI Technique R. Gabet, Elodie Le Cren, C. Jin, Michel Gadonna, B. Ung, Y. Jaouen, Monique Thual, Sophie La Rochelle To cite this version: R. Gabet, Elodie Le Cren,
More informationMeasures and influence of a BAW filter on Digital Radio-Communications Signals
Measures and influence of a BAW filter on Digital Radio-Communications Signals Antoine Diet, Martine Villegas, Genevieve Baudoin To cite this version: Antoine Diet, Martine Villegas, Genevieve Baudoin.
More informationGathering an even number of robots in an odd ring without global multiplicity detection
Gathering an even number of robots in an odd ring without global multiplicity detection Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil To cite this version: Sayaka Kamei, Anissa Lamani,
More informationBEHAVIOURAL DESIGN APPROACH FOR IMPROVING MECHANICAL PRODUCT PERFORMANCE FORM DESIGN
BEHAVIOURAL DESIGN APPROACH FOR IMPROVING MECHANICAL PRODUCT PERFORMANCE FORM DESIGN Huichao Sun, Remy Houssin, Mickael Gardoni, Renaud Jean To cite this version: Huichao Sun, Remy Houssin, Mickael Gardoni,
More informationInteraction and Humans in Internet of Things
Interaction and Humans in Internet of Things Markku Turunen, Daniel Sonntag, Klaus-Peter Engelbrecht, Thomas Olsson, Dirk Schnelle-Walka, Andrés Lucero To cite this version: Markku Turunen, Daniel Sonntag,
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 informationHigh finesse Fabry-Perot cavity for a pulsed laser
High finesse Fabry-Perot cavity for a pulsed laser F. Zomer To cite this version: F. Zomer. High finesse Fabry-Perot cavity for a pulsed laser. Workshop on Positron Sources for the International Linear
More informationTowards Embedded System Agile Development. Challenging Verification, Validation and Accreditation : Application in a Healthcare Company.
Towards Embedded System Agile Development Challenging Verification, Validation and Accreditation : Application in a Healthcare Company Clément Duffau, Bartosz Grabiec, Mireille Blay-Fornarino To cite this
More informationDemand Response by Decentralized Device Control Based on Voltage Level
Demand Response by Decentralized Device Control Based on Voltage Level Wilfried Elmenreich, Stefan Schuster To cite this version: Wilfried Elmenreich, Stefan Schuster. Demand Response by Decentralized
More informationElectrical model of an NMOS body biased structure in triple-well technology under photoelectric laser stimulation
Electrical model of an NMOS body biased structure in triple-well technology under photoelectric laser stimulation N Borrel, C Champeix, M Lisart, A Sarafianos, E Kussener, W Rahajandraibe, Jean-Max Dutertre
More informationCollaborative Pseudo-Haptics: Two-User Stiffness Discrimination Based on Visual Feedback
Collaborative Pseudo-Haptics: Two-User Stiffness Discrimination Based on Visual Feedback Ferran Argelaguet Sanz, Takuya Sato, Thierry Duval, Yoshifumi Kitamura, Anatole Lécuyer To cite this version: Ferran
More informationNonlinear Ultrasonic Damage Detection for Fatigue Crack Using Subharmonic Component
Nonlinear Ultrasonic Damage Detection for Fatigue Crack Using Subharmonic Component Zhi Wang, Wenzhong Qu, Li Xiao To cite this version: Zhi Wang, Wenzhong Qu, Li Xiao. Nonlinear Ultrasonic Damage Detection
More informationComputational models of an inductive power transfer system for electric vehicle battery charge
Computational models of an inductive power transfer system for electric vehicle battery charge Ao Anele, Y Hamam, L Chassagne, J Linares, Y Alayli, Karim Djouani To cite this version: Ao Anele, Y Hamam,
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 informationA perception-inspired building index for automatic built-up area detection in high-resolution satellite images
A perception-inspired building index for automatic built-up area detection in high-resolution satellite images Gang Liu, Gui-Song Xia, Xin Huang, Wen Yang, Liangpei Zhang To cite this version: Gang Liu,
More informationDesign of an Efficient Rectifier Circuit for RF Energy Harvesting System
Design of an Efficient Rectifier Circuit for RF Energy Harvesting System Parna Kundu (datta), Juin Acharjee, Kaushik Mandal To cite this version: Parna Kundu (datta), Juin Acharjee, Kaushik Mandal. Design
More informationTowards Cognitive Radio Networks: Spectrum Utilization Measurements in Suburb Environment
Towards Cognitive Radio Networks: Spectrum Utilization Measurements in Suburb Environment Vaclav Valenta, Zbynek Fedra, Roman Marsalek, Geneviève Baudoin, Martine Villegas To cite this version: Vaclav
More informationAdaptive Inverse Filter Design for Linear Minimum Phase Systems
Adaptive Inverse Filter Design for Linear Minimum Phase Systems H Ahmad, W Shah To cite this version: H Ahmad, W Shah. Adaptive Inverse Filter Design for Linear Minimum Phase Systems. International Journal
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 informationNetworked Service Innovation Process in the Production of a New Urban Area
Networked Service Innovation Process in the Production of a New Urban Area Erja Väyrynen, Riitta Smeds To cite this version: Erja Väyrynen, Riitta Smeds. Networked Service Innovation Process in the Production
More information