Search

Copyright of IAA Industries Agro-Alimentaires is the property of Ste Ad hoc and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

This paper deals with an extension of SES (System Entity Structure) defined by B. P. Zeigler in order to integrate the concepts of abstraction hierarchy and time granularity into the DEVS (Discrete EVent system Specification) formalism. To accomplish this task, we detail the set of actions that have to be performed: (1) define the abstraction hierarchy and time granularity; (2) add abstraction hierarchy and time granularity to the SES; (3) provide operations to implement abstraction hierarchy and time granularity into DEVS M&S. We explain in detail: (1) the concept of abstraction hierarchy and time hierarchy; (2) the extension of SES in order to take into account the abstraction hierarchy and time granularity; (3) DEVS M&S of complex systems according to different levels of abstraction and different levels of time granularity. A concrete example dealing with the study of the hydraulic behavior of catchment basins is used in order to validate the proposed approach. [ABSTRACT FROM AUTHOR]

Copyright of Ingénieurs de l'Automobile is the property of Pneumatique Editions and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

The last decade has witnessed significant contributions in software engineering to design more secure systems and applications, e.g., in modeling and in validation. Software designers can now leverage specific patterns, called security patterns, to model more secure applications. But, despite the advantages offered by security patterns, these are rarely used in practice, because choosing and employing them is still a difficult and error-prone task. In this work, we propose an original approach to assist designers in using security patterns, i.e., for checking whether security patterns are correctly integrated into models and if vulnerabilities are yet exposed despite their use. This approach relies upon the analysis of the structural and behavioral properties of security patterns and on formal methods to check if these properties hold in the application model completed with patterns. We also provide a metric computation to assess the integration quality of patterns. Furthermore, we also check whether the vulnerabilities, which should be removed by the use of patterns, are not exposed in the model. We illustrate this approach on an example of Web application, the Moodle education platform. [ABSTRACT FROM AUTHOR]

Model Driven Engineering (MDE) can play an important role for the design of applications in many domains. Its principles that are separations of concerns, capitalisation of knowledge thanks to models, meta models, and transformations, are well accepted today. Then the approach becomes a good candidate for scaling up to more complex applications. However the use of model driven engineering puts people in front of a new problem, which is mastering the complexity of many and possibly big models. The paper presents MoVi (Model Visualization) an interactive environment as a proof-of-concept that investigates model exploration by processing models as data. It is illustrated with models taken from the Human Computer Interaction domain. [ABSTRACT FROM AUTHOR]

European Rail Traffic Management System (ERTMS) is the standard control/command and signaling system implementing European railway operating rules. This standard aims to harmonize signaling and ensure interoperability in Europe using standard specification documents. The main issue is to model these rules and conduct formal verification and validation activities (V&V) to tackle the complexity and criticality of these systems. Indeed, these specifications contain safety aspects based on permissions granted to roles to perform actions. Our approach is to model scenarios with role based formalisms, especially RBAC and Or-Bac and to transform them into B formal specifications in order to validate railway safety properties. [ABSTRACT FROM AUTHOR]

Copyright of IAA Industries Agro-Alimentaires is the property of Ste Ad hoc and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)