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

346documents trouvés

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
16307
26/09/2016

Simulation product fidelity: A qualitative & quantitative system engineering approach

S.PONNUSAMY

ISI

Doctorat : Université de Toulouse III - Paul Sabatier, 26 Septembre 2016, 192p., Président: A.NKESTA, Rapporteurs: G.WAINER, A.HADJALI, Examinateurs: M.PANTEL, H.VANGHELUWE, Directeurs de thèse: V.ALBERT , N° 16307

Lien : https://hal.laas.fr/tel-01376060

Diffusable

Plus d'informations

Résumé

La modélisation informatique et la simulation sont des activités de plus en plus répandues lors de la conception de systèmes complexes et critiques tels que ceux embarqués dans les avions. Les décisions prises sur la conception de ces systèmes à partir des moyens de simulation doivent être sûres. L’étude a exploré le domaine large variant de moins formelle théorie d’ingénieur de system utilisant ontologies à plus formelle théorie de simulation. Les travaux réalisés sont développement et validation d’ontologie et formalisation de théorie d’inclusion entre domaine de simulation et domaine d’utilisation, définir et développer des méthodes semi-automatiques utilisant de ontologie de Modélisation et Simulation pour identifier et sélectionner une abstraction consistent par rapport aux objectives de simulation, formalisation et raffinement de théorie de relation de simulation et approximatif pour identifier les abstractions des systèmes des transitions avec des ensembles d’états et d’actions finis et approximativement équivalent par rapport aux niveaux de fidélité désiré par le utilisateur de simulation, développement des outils permettant évaluation de fidélité, appliquer la méthode et démontrer la preuve de concept sur des cas d’application fournis par l’entreprise.

Abstract

In using Modeling and Simulation for the system Verification & Validation activities, often the difficulty is finding and implementing consistent abstractions to model the system being simulated with respect to the simulation requirements. A proposition for the unified design and implementation of modeling abstractions consistent with the simulation objectives based on the computer science, control and system engineering concepts is presented. It addresses two fundamental problems of fidelity in simulation, namely, for a given system specification and some properties of interest, how to extract modeling abstractions to define a simulation product architecture and how far does the behaviour of the simulation model represents the system specification. A general notion of this simulation fidelity, both architectural and behavioural, in system verification and validation is explained in the established notions of the experimental frame and discussed in the context of modeling abstractions and inclusion relations. A semi-formal ontology based domain model approach to build and define the simulation product architecture is proposed with a real industrial scale study. A formal approach based on game theoretic quantitative system refinement notions is proposed for different class of system and simulation models with a prototype tool development and case studies. Challenges in research and implementation of this formal and semi-formal fidelity framework especially in an industrial context are discussed.

137613
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/