Laboratoire d’analyse et d’architecture des systèmes
D.FOURES, V.ALBERT, A.NKETSA
Revue Scientifique : Simulation Modelling Practice and Theory, Vol.66, pp.1-15, Août 2016 , N° 15591
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.
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
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
Requirement it's most critical success or failure factor for system. Enterprise Resource Planning (ERP) one of famous enterprise system and many studies focus on define CSF of it to reduce failing cases of ERP implementation and negative factors affecting not only on implementing company but also on the ERP vendors. Many papers have studied the CSF influence in ERP implementation but very little concern about requirement engineering (RE). This research will fill the gap by providing critical review and develop an approach in software system engineering framework by taking account feedback from stakeholders. This original approach is how to deal with ERP failure through a depth relation related to requirement engineering traceability to CSF in a system engineering view (SOS) based on ANSI EIA 632 standard.
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
This paper is on Requirements methods and associated tools. It provides general overview of requirement engineering approaches and propose a multi-view approach, and deep comparison on tools and techniques used to manage requirements. The comparison is based on five items, requirement traceability, requirements integration, requirement prioritizing, requirement status, and customer satisfaction. By this comparison it becomes easy to assist the requirement tools and techniques. The paper concentrates on tracing requirement and proposes to develop a model that can be used to handle and manage requirement traceability on large and complex systems.
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
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
L.ZHENG, C.BARON, P.ESTEBAN, R.XUE, Q.ZHANG, K.GOMEZ SOTELO
ISI, Hefei, ITESM, Mexico
Manifestation avec acte : IFAC Conference on Manufacturing Modelling, Management & Control ( MIM ) 2016 du 28 juin au 30 juin 2016, Troyes (France), Juin 2016, 6p. , N° 16084
Performance measurement systems have gotten remarking development since the 1980s. It is also experiencing a step from classical PMSs to a broad diversification of PMSs. However, it seems that the practices in industries are not following the rapid academic rhythm. This paper presents a survey of performance measurement models and frameworks and analyses how these research results are implemented, or not, into software tools available on the market. It thus pointed out the gap between academic research results and supporting tools in the domain of the performance measurement management of engineering projects.
E.HAJ AHMED, A.E.K.SAHRAOUI
Manifestation sans acte : International Conference on Engineering & Technology, Computer, Basic & Applied Sciences ( ECBA ) 2016 du 20 mai au 21 mai 2016, Dubai (Émirats arabes unis), Mai 2016, 19p. , N° 16257
L.ZHENG, C.BARON, P.ESTEBAN
Manifestation sans acte : Congrès des Doctorants EDSYS 2016 du 10 mai au 11 mai 2016, Toulouse (France), Mai 2016, 7p. , N° 16514
To measure projects performance is available a wide range of methods which help project managers to effectively control the project progress and evaluate project results (Atkinson, 1999; Anantatmula, 2015). However remain several critical issues in their application: unbalanced development of KPIs types (Zidane, Johansen and Ekambaram, 2015), limited availability of leading KPIs (Kueng, Andres, and Wettstein, 2001), etc. Conversely, even if systems engineering measurement (SEM) is a more recent discipline, it offers very deep developments, published in several standards and Roedler, et al., 2010). In particular, SEM uses lagging (reactive) measurement and defines methods to promote leading (predictive) measurement which provides insights before a problem arises (INCOSE & PSM, 2005; Roedler, et al., 2010). To improve project success rate, we propose to improve the measurement of projects performance, on which decisions rely in project management. One way is to extend the indicators to measure project performance by indicators used to measure systems engineering performance. This paper thus considers transferring and adapting the good practices in SE performance measurement such as described in SE guides as well as the set of SE leading indicators (SELIs) defined in (Roedler, et al., 2010) to project performance measurement.
Rapport LAAS N°16101, Mai 2016, 19p.