Search

International audience; Relevant for engineering a wide range of technological systems, Property Model Methodology (PMM) is applied in this paper to the development process of a helicopter function in the frame of the ARP4754A/ED79A. After a short presentation of the method, the case study is presented: "to retract and to extend airborne the landing gear system". Then, each stage of the PMM development process is illustrated by examples from the case study: (1) Modeling the top level requirements specification, (2) Validating the requirements specification by proof and simulation, (3) Modeling the architectural design, Refining the top level requirements into requirements specified to the different subsystems contributing to the function and Modeling the terminal subsystems detailed designs (4) Validating the requirements specified to the contributing subsystems by proof or simulation, (5) Verifying the design models by simulation and finally (6-8) Verifying physical implementations by test on the basis of all validation and verification scenarios accumulated throughout the development. At end, lessons learnt and industrial perspectives are summarized highlighting how PMM is a methodology adapted to the challenges facing to systems engineering by the globalization of development processes and showing how PMM can provide a powerful conceptual framework to support digital continuity within globalized Design Organizations. Modeling, simulation, proof and test generation activities are supported by the MATLAB and Simulink products. Introduction The aeronautic industry has to deliver more and more complicated systems in term of functions while maintaining high level of quality and safety/reliability. In the same time, competition is driving aircraft manufacturers to strongly improve their costs (including non-recurring costs) and development lead time. At the age of globalization, these systems are designed and produced by large, multicultural, geographically distributed teams belonging to different industrial organizations. This evolution introduces additional complexities (the complexity of a goal-oriented process refers to its propensity to fail [Suh, 2005]). To face these challenges, classical systems engineering approaches

Electronic-commerce has become an important channel for conducting business. Researchers as well as market executives are trying to better understand online consumer behavior. One model used by researchers to understand behavior in the information systems field in general is the technology acceptance model (TAM). The TAM variables are perceived usefulness, perceived ease of use, and intentions. In this study, we suggest the extension of the TAM for its application in the E-commerce field. The original TAM will be extended, by adding four predictor variables. The four predictor variables are process satisfaction, outcome satisfaction, expectations, and E-commerce use. In addition, the TAM will be extended by measuring actual behavior as opposed to measuring intentions as a substitute for actual behavior in previous TAM application studies. We suggest measuring actual use variable in terms of four criterion variables, namely, purchase, access number, access total time, and access average time. The extended TAM is expected to better explain actual behavior in E-commerce environments than the original TAM.