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

342documents trouvés

17073
03/04/2017

Refined exponential stability analysis of a coupled system

M.SAFI, L.BAUDOUIN, A.SEURET

ISI, MAC

Rapport LAAS N°17073, Avril 2017, 6p.

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.

139423
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-INDUCTRIE AFIS ( ) 2016 du 08 décembre au 09 décembre 2016, Toulouse (France), Décembre 2016, 1p. , N° 16513

Diffusable

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
16231
25/08/2016

Stability analysis of a linear system coupled to a transport equation using integral inequalities

M.SAFI, L.BAUDOUIN, A.SEURET

ISI, MAC

Rapport LAAS N°16231, Août 2016, 12p.

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

Diffusable

Plus d'informations

Abstract

This paper deals with the stability analysis of a system of ordinary differential equations coupled to a vectorial transport equation. We develop here a new method to study the stability of this class of systems using linear matrix inequalities led by the choice of an appropriate Lyapunov functional. The main idea in our approach is to build a Lyapunov functional by enriching the basic energy of the coupled system under study with specific terms involving an approximation of the infinite dimensional state of the transport equation. To this end, we will exploit Legendre polynomials and their properties, and use a Bessel inequality to measure the contribution of our approximation. We will then give our exponential stability results and their proofs. Our approach will finally be tested on academic examples.

137199
16119
11/08/2016

Requirements engineering practice in developing countries: elicitation and traceability processes

A.SADIG, A.E.K.SAHRAOUI

SUST, ISI

Manifestation avec acte : International Conference on Software Engineering Research and Practice ( SERP ) 2016 du 25 juillet au 28 juillet 2016, Las Vegas (USA), Août 2016, 7p. , N° 16119

Diffusable

136897
15591
01/08/2016

A new specification-based qualitative metric for simulation model validity

D.FOURES, V.ALBERT, A.NKETSA

ISI

Revue Scientifique : Simulation Modelling Practice and Theory, Vol.66, pp.1-15, Août 2016 , N° 15591

Diffusable

Plus d'informations

Abstract

Informal validation techniques such as simulation are extensively used in the development of embedded systems. Formal approaches such as model-checking and testing are important means to carry out Verification and Validation (V&V) activities. Model-checking consists in exploring all possible behaviors of a model in order to perform a qualitative and quantitative analysis. However, this method remains of limited use as it runs into the problem of combinatorial explosion. Testing and model-checking do not take into account the context of use objectives of the model. Simulation overcomes these problems but it is not exhaustive. Submitted to simulation scenarios which are an operational formulation of the V&V activity considered, simulation consists in exploring a subset of the state space of the model. This paper proposes a formal approach to assess simulation scenarios. The formal specification of a model and the simulation scenarios applied to that model serve to compute the effective evolutions taken by the simulation. It is then possible to check whether a simulation fulfills its intended purpose. To illustrate this approach, the application study of an intelligent cruise controller is presented. The main contribution of this paper is that combining simulation objectives and formal methods leads to define a qualitative metric for a simulation evaluation without running a simulation.

136425
16342
29/07/2016

Quantifying fidelity for timed transition systems

S.PONNUSAMY, V.ALBERT, P.THEBAULT

Airbus Operations, ISI

Manifestation avec acte : International Conference on Simulation and Modeling Methodologies, Technologies and Applications ( SIMULTECH ) 2016 du 29 juillet au 31 juillet 2016, Lisbonne (Portugal), Juillet 2016, 9p. , N° 16342

Diffusable

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