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

337documents trouvés

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
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
16120
25/07/2016

Towards a research road map for assessment of e-learning systems: a system engineering approach

A.AL SHAGRAN, A.E.K.SAHRAOUI

King Adbul-Aziz University, ISI

Manifestation avec acte : International Conference on e-Learning, e-Business, Enterprise Information Systems, and e-Government ( EEE ) 2016 du 25 juillet au 28 juillet 2016, Las Vegas (USA), Juillet 2016, 6p. , N° 16120

Diffusable

136899
16121
25/07/2016

A software requirement engineering framework to enhance critical success factor for ERP implementation

N.OSMAN, 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), Juillet 2016, 7p. , N° 16121

Diffusable

136901
16118
25/07/2016

Towadsn a multi-views approach for software requirement engineering: requirements management tools

O.SDAWOOD, 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), Juillet 2016, 6p. , N° 16118

Diffusable

136895
16117
25/07/2016

On non functional requirements, their evolution and impact on safety

A.BABIKER, 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), Juillet 2016, 6p. , N° 16117

Diffusable

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