Retour au site du LAAS-CNRS

Laboratoire d’analyse et d’architecture des systèmes

Publications de l'équipe ISI

Choisir la langue : FR | EN

347documents trouvés

17426
27/10/2017

Applying the model-driven architecture approach to dynamic structure applications

M.ZHU, C.FOUCHER, V.ALBERT, A.NKETSA

ISI

Manifestation avec acte : European Simulation and Modelling Conference ( ESM ) 2017 du 25 octobre au 27 octobre 2017, Lisbonne (Portugal), Octobre 2017, 8p. , N° 17426

Lien : https://hal.laas.fr/hal-01635791

Diffusable

Plus d'informations

Abstract

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.

141677
17375
27/10/2017

A co-simulation framework interoperability for Neo-campus project

Y.MOTIE, A.NKETSA, P.TRUILLET

ISI, IRIT-UPS

Manifestation avec acte : European Simulation and Modelling Conference ( ESM ) 2017 du 25 octobre au 27 octobre 2017, Lisbonne (Portugal), Octobre 2017, 7p. , N° 17375

Lien : https://hal.archives-ouvertes.fr/hal-01614348

Diffusable

Plus d'informations

Abstract

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.

141259
17329
26/09/2017

Critical success factors for ERP requirement engineering perspective

N.OSMAN, A.E.K.SAHRAOUI

SUST, ISI

Rapport LAAS N°17329, Septembre 2017, 17p.

Diffusable

141014
17293
01/08/2017

Assessment of E-learning systems: a systems engineering approach

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

Diffusable

Plus d'informations

Abstract

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.

141052
17239
14/07/2017

Formal framework for discrete-event simulation

V.ALBERT, C.FOUCHER

ISI

Manifestation avec acte : IFAC World Congress 2017 du 09 juillet au 14 juillet 2017, Toulouse (France), Juillet 2017, 6p. , N° 17239

Lien : https://hal.archives-ouvertes.fr/hal-01562929

Diffusable

Plus d'informations

Abstract

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.

140532
17073
09/07/2017

Refined exponential stability analysis of a coupled system

M.SAFI, L.BAUDOUIN, A.SEURET

ISI, MAC

Manifestation avec acte : IFAC World Congress 2017 du 09 juillet au 14 juillet 2017, Toulouse (France), Juillet 2017, 6p. , N° 17073

Lien : https://hal.laas.fr/hal-01496136

Diffusable

Plus d'informations

Abstract

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.

140056
16465
31/01/2017

From requirements to UML using NLP and requirements management tools

O.S.DAWOOD, A.E.K.SAHRAOUI

SUST, ISI

Revue Scientifique : European Journal of Engineering Research & Science, Vol.2, N°1, pp.44-50, Janvier 2017 , N° 16465

Diffusable

Plus d'informations

Abstract

In the paper process of moving from software requirements to UML diagrams has been studied. It shows the importance of this process and discusses many comparative studies in the field. A questionnaire related to the study was distributed worldwide to many research groups, academia, and industry to know the current status of using requirement management tools, knowledge of using UML in software development, frequently used UML diagrams, and the methodology used to generate UML diagrams from requirements. The paper emphasises that there is a need to do some important research in the area of requirements NLP to obtain UML diagrams, and generalize process of using automatic or semi-automatic methodology to generate UML diagrams from requirements.

138721
17034
01/01/2017

Culture effect on requirements elicitation practice in developping countries

A.SADIG, A.E.K.SAHRAOUI

SUST, ISI

Revue Scientifique : International journal of software engineering and applications, Vol.8, N°1, pp.49-58, Janvier 2017 , N° 17034

Diffusable

Plus d'informations

Abstract

Requirement elicitation is a very important step in to developing any new application. This paper will examine the culture effect on requirement elicitati on in developing countries. This is a unique research that will look at require ment elicitation process in 10 different parts of t he world including Arab word, India, China, Africa and South America. The focus is how the culture affects (RE) and makes every place has its own practice of RE. T he data were collect through surveys and direct interviews. The results show astonishing culture ef fect on RE. The conclusion is that culture effects deeply the t echnique gets chosen for requirement elicitation. I f you are doing RE in Thailand, it will be very different from RE in Arab world. For example in Thailand re spect for leader is critical and any questioning of manag er methods will create a problem while in Arab worl d decision tree is favourite RE technique because vis ual are liked much more than documents.

139255
16513
07/12/2016

Identifiyng and contructing leading indicators for monitoring and controlling performance of engineering projects

L.ZHENG, C.BARON, P.ESTEBAN, R.XUE

ISI

Affiche/Poster : FORUM ACADEMIE-INDUSTRIE AFIS ( ) 2016 du 08 décembre au 09 décembre 2016, Toulouse (France), Décembre 2016, 1p. , N° 16513

Lien : https://hal.laas.fr/hal-01496495

Diffusable

Plus d'informations

Abstract

it is feasible to apply some measurement methods of systems engineering like SE leading indicators in the general project management.

138995
16512
03/10/2016

A method to help monitoring engineering projects

R.XUE, C.BARON, P.ESTEBAN, L.ZHENG

ISI

Manifestation avec acte : IEEE International Symposium on Systems Engineering ( ISSE ) 2016 du 03 octobre au 05 octobre 2016, Edinburgh (Ecosse), Octobre 2016, 6p. , N° 16512

Diffusable

138993
Les informations recueillies font l’objet d’un traitement informatique destiné à des statistiques d'utilisation du formulaire de recherche dans la base de données des publications scientifiques. Les destinataires des données sont : le service de documentation du LAAS.Conformément à la loi « informatique et libertés » du 6 janvier 1978 modifiée en 2004, vous bénéficiez d’un droit d’accès et de rectification aux informations qui vous concernent, que vous pouvez exercer en vous adressant à
Pour recevoir une copie des documents, contacter doc@laas.fr en mentionnant le n° de rapport LAAS et votre adresse postale. Signalez tout problème de dysfonctionnement à sysadmin@laas.fr. http://www.laas.fr/pulman/pulman-isens/web/app.php/