Laboratoire d’analyse et d’architecture des systèmes
M.ZHU, C.FOUCHER, V.ALBERT, A.NKETSA
Manifestation avec acte : European Simulation and Modelling Conference ( ESM ) 2017 du 25 octobre au 27 octobre 2017, Lisbonne (Portugal), Octobre 2017, 8p. , N° 17426
Model-Driven Architecture (MDA) is a system engineering approach which consists in separating the model description from the execution platform. It allows building a model without detailed knowledge of the target platform, as well as retargeting the execution platform without changing the model itself. We present a meta-model called Partial Reconfigurable DEVS (PRDEVS) that is able to represent dynamic structure changes of a model. We base our approach on the DEVS formalism, which is modular and hierarchical. Our description paradigm differs from the previous DEVS-based dynamic meta-models in that it explicitly deals with adding and removing components. This approach is closer to the general reconfigurable embedded system design methodology. Both a software and a FPGA-based hardware platform are considered as dynamic execution platforms.
Y.MOTIE, A.NKETSA, P.TRUILLET
Manifestation avec acte : European Simulation and Modelling Conference ( ESM ) 2017 du 25 octobre au 27 octobre 2017, Lisbonne (Portugal), Octobre 2017, 7p. , N° 17375
It is common accepted that complex systems or cyber-physical systems need co-simulation for their study. Further more, they are made of heterogeneous subsystems that have to exchange data. Usually each subsystem is modeled using specific tools, environments and sim-ulators. The simulators have to interoperate to realize all the simulation of the system. It is known that in-teroperativity is a broad and complex subject. Interop-erability is a strong commitment as the communication solution in heterogeneous systems. This paper describes a co-simulation framework interoperability based FMI (Functional Mock up Interface) standard for the structural part and data mediation for semantic part. We present a case study for Neo-Campus project that shows how the framework helps to build the semantic interop-erability of a cyberphysical system.
K.GOMEZ SOTELO, C.BARON, P.ESTEBAN, C.A.GUTIERREZ-ESTRADA
ISI, INSAT, Toluca
Revue Scientifique : Revista de Ingeniería Industrial, Vol.1, N°2, pp.42-51, Octobre 2017 , N° 17601
This article proposes a Methodology to transform Needs into Requirements, integrating System Engineering, Quality and Lean Thinking domains. The chosen methodology to carry out the research work was qualitative methods applied through the strategies of case study and questionnaires. The general objective was to develop a methodology, based on System Engineering, to document stakeholder requirements, add value to analysis and design processes, and assure system quality. The methodology was first developed through waterfall model and, when integrating Quality and Lean Thinking, through the incremental evolutionary model. The principal contribution is to provide support to analysis and design teams while translating needs into requirements, through a formal and structured methodology that integrates different domains. The objective was achieved when applying the methodology and its tools in one case study: value was added to the process; the resulting documentation will allow to reuse the information for future developments. Improvement opportunities were detected as the necessity of applying complementary forms, to automatize the tool, and to develop more case studies.
Rapport LAAS N°17329, Septembre 2017, 17p.
A.AL SHAGRAN, A.E.K.SAHRAOUI
King Adbul-Aziz University, ISI
Revue Scientifique : International Journal of Computer Science and Software Engineering, Vol.6, N°8, pp.173-179, Août 2017 , N° 17293
This paper is on the issue of assessment of E - Learning systems. The originality of the work is to identify main drawbacks mentioned in the literature and propose a systems engineering framework approach. E - learning is more and more used and mainly in developing countries. A large number of E - learning systems have been developed in the institution around the world. These systems can be assessed using multiple dimensions and c riteria. KSA started implementing the E - Learning since 2002. Although of this evolution up to our knowledge, limited research work have been carried out on assessing such system. In response to this limitation this paper is a preliminary research study tha t attempts to propose the requirements list needed to develop a reliable technique or methodology to evaluate an E - learning system. The contribution of this position paper proposition of a framework for future research as seeing ELearning as a system as a ny other system, and hence the assessment becomes a partial validation of the systems with respect to requirements. Requirements can be criteria of ABET accreditation. The methodology will be based on best practices of systems engineering approach.
L.ZHENG, C.BARON, P.ESTEBAN, R.XUE, Q.ZHANG
Manifestation avec acte : IFAC World Congress 2017 du 09 juillet au 14 juillet 2017, Toulouse (France), Juillet 2017, 6p. , N° 17578
With a long history in project management practices, project performance measurement (PPM) offers a wide range of methods and good practices which help project managers to effectively monitor the project and evaluate project progress and results. However, several critical issues remain, such as an unbalanced development of KPIs types or a limited availability of leading Key Performance Indicators (KPIs). On the other hand, systems engineering measurement (SEM) is a more recent discipline, with practices and theories that appeared with the emergence of the systems engineering discipline. Moreover, SEM has been much more developed with some practical research results published in several standards and guides. In particular, SEM does not only use lagging indicators, used to track how things are going but defines methods to promote leading indicators, used as precursors to the direction where the engineering is going; indeed, 18 leading indicators (LIs) were recently proposed, validated, and finally engineered in a practical guidance. Our goal being to improve project performance and success rate, one mean is to improve the project performance measurement, on which decisions rely for project management. To achieve this goal, this paper proposes to extend the project performance measurement of indicators by considering how performance is measured in systems engineering.
Manifestation avec acte : IFAC World Congress 2017 du 09 juillet au 14 juillet 2017, Toulouse (France), Juillet 2017, 6p. , N° 17239
A formal framework for modelling and simulation of parallel systems named ProjectDEVS is presented. The objective of this framework is to apply a Model-Based System Engineering approach to the development of simulation products for cyber-physical embedded systems. It is intended for the design and automated deployment of virtual prototypes. Models are constructed by coupling concurrent components exchanging data through ports and executed by various simulation schemes, namely simulators. This paper focuses on the integration of a Time Petri Net implementation of a parallel simulator into the framework. The semantics of the parallel simulator is formally described using timed transition system to verify the correctness of the implementation. Then, a model with its simulator can be model checked against formal specification and be rapidly deployed on FPGA or PC via code generators.
M.SAFI, L.BAUDOUIN, A.SEURET
Manifestation avec acte : IFAC World Congress 2017 du 09 juillet au 14 juillet 2017, Toulouse (France), Juillet 2017, 6p. , N° 17073
The objective of this contribution is to improve recent stability results for a system coupling ordinary differential equations to a vectorial transport partial differential equation by proposing a new structure of Lyapunov functional. Following the same process of most of the investigations in literature, that are based on an a priori selection of Lyapunov functionals and use the usual integral inequalities (Jensen, Wirtinger, Bessel...), we will present an efficient method to estimate the exponential decay rate of this coupled system leading to a tractable test expressed in terms of linear matrix inequalities. These LMI conditions stem from the new design of a candidate Lyapunov functional, but also the inherent properties of the Legendre polynomials, that are used to build a projection of the infinite dimensional part of the state of the system. Based on these polynomials and using the appropriate Bessel-Legendre inequality, we will prove an exponential stability result and in the end, we will show the efficiency of our approach on academic example.
Q.ZHANG, D.WU, C.FU, C.BARON, Z.PENG
Hefei, UCAS, ISI
Revue Scientifique : International Transactions in Operational Research, Vol.24, N°4, pp.821-838, Juillet 2017 , N° 17694
Process flexibility enables product designers to accommodate changing requirements in a timely and cost‐effective way. However, in order to effectively guide process flexibility in terms of investment in product design, one must be able to objectively measure process flexibility. Hence, this paper introduces a new quantitative method to measure the process flexibility of product design. Instead of directly measuring the available process flexibility, this method introduces a surrogate value (i.e., the reduced project cost resulting from process flexibility) to indirectly measure process flexibility, with consideration of requirement variations. Then, the relationships between process flexibility and impact factors of requirement variations are investigated based on the proposed method. A set of simulation experiments indicates that the method proposed and related propositions are also suitable for complex product design.
L.ZHENG, C.BARON, P.ESTEBAN, R.XUE, Q.ZHANG
Manifestation avec acte : Congrès International de Génie Industriel ( CIGI ) 2017 du 03 mai au 05 mai 2017, Compiegne (France), Mai 2017, 10p. , N° 17587
La mesure de la performance de projet contribue à la surveillance et au contrôle des processus du projet, améliorant ainsi le résultat du projet en se basant sur un ensemble d'indicateurs, typiquement des indicateurs d'état et des indicateurs avancés. Les indicateurs d'état fournissent une vue d'ensemble des résultats sur la santé du projet. Les indicateurs avancés sont complémentaires; ils peuvent être utilisés de manière proactive pour permettre aux entreprises de prendre des mesures correctives avant que les performances diminuent. Mais les indicateurs avancés dans la gestion de projet est peu développée car ces indicateurs sont difficiles à interpréter. Cependant, [Roedler et al., 2010] ont fourni une contribution avec un ensemble de 18 indicateurs avancés, dans le domaine de l'Ingénierie Système. Une analyse approfondie de la littérature a également montré que certains champs d'application spécifiques, tels que le Génie Civil, ont développé leur propre ensemble d'indicateurs avancés. Ainsi, cet article analyse et compare les deux ensembles d'indicateurs avancés en Ingénierie Système et en Génie Civil, pour évaluer si les indicateurs avancés définis dans un domaine pourraient être adaptés à l'autre, dans le but d'améliorer la mesure de la performance en étendant la portée et la structure actuelles des indicateurs.