The Experts below are selected from a list of 69 Experts worldwide ranked by ideXlab platform

Hassan Mountassir - One of the best experts on this subject based on the ideXlab platform.

  • FACS - Incremental Modeling of System Architecture Satisfying SysML Functional Requirements
    Formal Aspects of Component Software, 2014
    Co-Authors: Oscar Carrillo, Samir Chouali, Hassan Mountassir
    Abstract:

    The aim of this work is to propose a methodological approach to model and verify Component-Based Systems (CBS), directly from SysML Requirement Diagrams, and to ensure formally the architecture consistency of the specified systems. The architecture consistency is guaranteed, when the components that interact in CBS are compatible and all component Requirements are preserved by the composition. We propose to exploit functional Requirements of CBS, specified with SysML Diagrams, and the composition of components to specify incrementally system architecture. Component interfaces are specified with SysML sequence Diagrams to capture their behaviors (protocols). From a Requirement Diagram, we associate atomic Requirements, represented as LTL properties, to reusable components satisfying them. LTL properties are verified on the components with SPIN model-checker. Then, we specify system architecture incrementally, with SysML Block Definition Diagram (BDD) and Internal Block Diagram (IBD), by treating, one by one the atomic Requirements.

  • ECSA - Specifying system architecture from SysML Requirements and component interfaces
    Software Architecture, 2013
    Co-Authors: Samir Chouali, Oscar Carrillo, Hassan Mountassir
    Abstract:

    We propose to map functional system Requirements, specified with SysML, directly into system architecture, by exploiting the composition relation between component interfaces. Our research challenge is to guarantee formally that the final system fulfill the set of all Requirements. Our approach is based on component-based systems (CBS) specified with SysML models and Interface Automata (IA) to capture their behaviors. From a SysML Requirement Diagram (RD), we build a Block Definition Diagram (BDD) to specify system architecture, by taking, one by one, the lowest level of Requirements. At each new added Requirement, we add a new component satisfying this Requirement, by the composition, in the partial architecture obtained in a precedent step. Then we verify whether the new component is compatible with the components in the partial architecture, and if the Requirements are preserved.

  • Mapping SysML to modelica to validate wireless sensor networks non-functional Requirements
    2013 11th International Symposium on Programming and Systems (ISPS), 2013
    Co-Authors: Samir Berrani, Ahmed Hammad, Hassan Mountassir
    Abstract:

    Wireless Sensor Networks (WSN) have registered a large success in the scientific and industrial communities for their broad application domains. Furthermore, the WSN specification is a complex task considering to their distributed and embedded nature and the strong interactions between their hardware and software parts. Moreover, most of approaches use semi-formal methods to design systems and generally simulation to validate their properties in order to produce models without errors and conform to the system specifications. In this context, we propose a Model Driven Architecture (MDA) approach to improve the verification of the WSN properties. This approach combines the advantages of the System Modeling Language (SysML) and the Modelica language which promote the reusability and improve the development process. In this work, we specify a model transformation from SysML static, dynamic and Requirement Diagrams to their corresponding elements in Modelica. Thanks to the SysML Requirement Diagram which is transformed into Modelica properties (constraints), we propose a technique using dynamic tests to verify WSN properties. We have used the Topcased platform to implement our approach 1 and chosen a crossroads monitoring system which is based on wireless sensors to illustrate it. Besides, we have verified and validated some wireless sensors properties of the studied system.

  • Assembling Components using SysML with Non-Functional Requirements
    2013
    Co-Authors: Samir Chouali, Ahmed Hammad, Hassan Mountassir
    Abstract:

    Non-functional Requirements of component based systems are important as their functional Requirements, therefore they must be considered in components assembly. These properties are beforehand specified with SysML Requirement Diagram. We specify component based system architecture with SysML block definition Diagram, and component behaviors with sequence Diagrams. We propose to specify formally component interfaces with interface automata, obtained from Requirement and sequence Diagrams. In this formalism, transitions are annotated with costs to specify non-functional property. The compatibility between components is performed by synchronizing their interface automata. The approach is explained with the example of the electric car CyCab, where the costs are associated to energy consumption of component actions. Our approach verifies whether, a set of components, when composed according to the system architecture, achieve their tasks by respecting their non-functional Requirements.

  • Specifying System Architecture from SysML Requirements and Component Interfaces
    2013
    Co-Authors: Samir Chouali, Oscar Carrillo, Hassan Mountassir
    Abstract:

    We propose to map functional system Requirements, specified with SysML, directly into system architecture, by exploiting the composition relation between component interfaces. Our research challenge is to guarantee formally that the final system fulfill the set of all Requirements. Our approach is based on component-based systems (CBS) specified with SysML models and Interface Automata (IA) to capture their behaviors. From a SysML Requirement Diagram (RD), we build a Block Definition Diagram (BDD) to specify system architecture, by taking, one by one, the lowest level of Requirements. At each new added Requirement, we add a new component satisfying this Requirement, by the composition, in the partial architecture obtained in a precedent step. Then we verify whether the new component is compatible with the components in the partial architecture, and if the Requirements are preserved.

Samir Chouali - One of the best experts on this subject based on the ideXlab platform.

  • FACS - Incremental Modeling of System Architecture Satisfying SysML Functional Requirements
    Formal Aspects of Component Software, 2014
    Co-Authors: Oscar Carrillo, Samir Chouali, Hassan Mountassir
    Abstract:

    The aim of this work is to propose a methodological approach to model and verify Component-Based Systems (CBS), directly from SysML Requirement Diagrams, and to ensure formally the architecture consistency of the specified systems. The architecture consistency is guaranteed, when the components that interact in CBS are compatible and all component Requirements are preserved by the composition. We propose to exploit functional Requirements of CBS, specified with SysML Diagrams, and the composition of components to specify incrementally system architecture. Component interfaces are specified with SysML sequence Diagrams to capture their behaviors (protocols). From a Requirement Diagram, we associate atomic Requirements, represented as LTL properties, to reusable components satisfying them. LTL properties are verified on the components with SPIN model-checker. Then, we specify system architecture incrementally, with SysML Block Definition Diagram (BDD) and Internal Block Diagram (IBD), by treating, one by one the atomic Requirements.

  • ECSA - Specifying system architecture from SysML Requirements and component interfaces
    Software Architecture, 2013
    Co-Authors: Samir Chouali, Oscar Carrillo, Hassan Mountassir
    Abstract:

    We propose to map functional system Requirements, specified with SysML, directly into system architecture, by exploiting the composition relation between component interfaces. Our research challenge is to guarantee formally that the final system fulfill the set of all Requirements. Our approach is based on component-based systems (CBS) specified with SysML models and Interface Automata (IA) to capture their behaviors. From a SysML Requirement Diagram (RD), we build a Block Definition Diagram (BDD) to specify system architecture, by taking, one by one, the lowest level of Requirements. At each new added Requirement, we add a new component satisfying this Requirement, by the composition, in the partial architecture obtained in a precedent step. Then we verify whether the new component is compatible with the components in the partial architecture, and if the Requirements are preserved.

  • Assembling Components using SysML with Non-Functional Requirements
    2013
    Co-Authors: Samir Chouali, Ahmed Hammad, Hassan Mountassir
    Abstract:

    Non-functional Requirements of component based systems are important as their functional Requirements, therefore they must be considered in components assembly. These properties are beforehand specified with SysML Requirement Diagram. We specify component based system architecture with SysML block definition Diagram, and component behaviors with sequence Diagrams. We propose to specify formally component interfaces with interface automata, obtained from Requirement and sequence Diagrams. In this formalism, transitions are annotated with costs to specify non-functional property. The compatibility between components is performed by synchronizing their interface automata. The approach is explained with the example of the electric car CyCab, where the costs are associated to energy consumption of component actions. Our approach verifies whether, a set of components, when composed according to the system architecture, achieve their tasks by respecting their non-functional Requirements.

  • Specifying System Architecture from SysML Requirements and Component Interfaces
    2013
    Co-Authors: Samir Chouali, Oscar Carrillo, Hassan Mountassir
    Abstract:

    We propose to map functional system Requirements, specified with SysML, directly into system architecture, by exploiting the composition relation between component interfaces. Our research challenge is to guarantee formally that the final system fulfill the set of all Requirements. Our approach is based on component-based systems (CBS) specified with SysML models and Interface Automata (IA) to capture their behaviors. From a SysML Requirement Diagram (RD), we build a Block Definition Diagram (BDD) to specify system architecture, by taking, one by one, the lowest level of Requirements. At each new added Requirement, we add a new component satisfying this Requirement, by the composition, in the partial architecture obtained in a precedent step. Then we verify whether the new component is compatible with the components in the partial architecture, and if the Requirements are preserved.

Oscar Carrillo - One of the best experts on this subject based on the ideXlab platform.

  • FACS - Incremental Modeling of System Architecture Satisfying SysML Functional Requirements
    Formal Aspects of Component Software, 2014
    Co-Authors: Oscar Carrillo, Samir Chouali, Hassan Mountassir
    Abstract:

    The aim of this work is to propose a methodological approach to model and verify Component-Based Systems (CBS), directly from SysML Requirement Diagrams, and to ensure formally the architecture consistency of the specified systems. The architecture consistency is guaranteed, when the components that interact in CBS are compatible and all component Requirements are preserved by the composition. We propose to exploit functional Requirements of CBS, specified with SysML Diagrams, and the composition of components to specify incrementally system architecture. Component interfaces are specified with SysML sequence Diagrams to capture their behaviors (protocols). From a Requirement Diagram, we associate atomic Requirements, represented as LTL properties, to reusable components satisfying them. LTL properties are verified on the components with SPIN model-checker. Then, we specify system architecture incrementally, with SysML Block Definition Diagram (BDD) and Internal Block Diagram (IBD), by treating, one by one the atomic Requirements.

  • ECSA - Specifying system architecture from SysML Requirements and component interfaces
    Software Architecture, 2013
    Co-Authors: Samir Chouali, Oscar Carrillo, Hassan Mountassir
    Abstract:

    We propose to map functional system Requirements, specified with SysML, directly into system architecture, by exploiting the composition relation between component interfaces. Our research challenge is to guarantee formally that the final system fulfill the set of all Requirements. Our approach is based on component-based systems (CBS) specified with SysML models and Interface Automata (IA) to capture their behaviors. From a SysML Requirement Diagram (RD), we build a Block Definition Diagram (BDD) to specify system architecture, by taking, one by one, the lowest level of Requirements. At each new added Requirement, we add a new component satisfying this Requirement, by the composition, in the partial architecture obtained in a precedent step. Then we verify whether the new component is compatible with the components in the partial architecture, and if the Requirements are preserved.

  • Specifying System Architecture from SysML Requirements and Component Interfaces
    2013
    Co-Authors: Samir Chouali, Oscar Carrillo, Hassan Mountassir
    Abstract:

    We propose to map functional system Requirements, specified with SysML, directly into system architecture, by exploiting the composition relation between component interfaces. Our research challenge is to guarantee formally that the final system fulfill the set of all Requirements. Our approach is based on component-based systems (CBS) specified with SysML models and Interface Automata (IA) to capture their behaviors. From a SysML Requirement Diagram (RD), we build a Block Definition Diagram (BDD) to specify system architecture, by taking, one by one, the lowest level of Requirements. At each new added Requirement, we add a new component satisfying this Requirement, by the composition, in the partial architecture obtained in a precedent step. Then we verify whether the new component is compatible with the components in the partial architecture, and if the Requirements are preserved.

U Siebold - One of the best experts on this subject based on the ideXlab platform.

  • Safety, Reliability and Risk Analysis: Beyond the Horizon - Semi-formal modeling of risk management process and application to chance management and monitoring
    Safety Reliability and Risk Analysis, 2013
    Co-Authors: C Schoppe, I Häring, U Siebold
    Abstract:

    The five-step risk management scheme of ISO 31000 or similar schemes have been applied to very diverse domains including logistics, health care, aviation, construction, defense, finance and security. We show that the risk management process of ISO 31000 can be modeled with the semi-formal Systems Modeling Language (SysML). We model Requirements and process described in ISO 31000. We present how selected SysML Diagrams are employed, namely the use case Diagram, activity Diagram and Requirement Diagram. We select a minimum set of well-known methods for fulfilling the Requirements of the risk management process for hazard risks as well as for opportunity risks. We use examples mainly in the urban security domain for illustration of the risk/opportunity management process. In addition, we indicate how to use the risk management scheme for modeling the monitoring of the evolution of risks and chances as well as for modeling an early warning system, e.g. during the application of recommended counter actions and actions, respectively

Bartosz Marcinkowski - One of the best experts on this subject based on the ideXlab platform.

  • SIGSAND - SysML Requirement Diagrams: Banking Transactional Platform Case Study
    Research in Systems Analysis and Design: Models and Methods, 2011
    Co-Authors: Stanisław Wrycza, Bartosz Marcinkowski
    Abstract:

    The aim of this paper is an investigation into the practicality of SysML Requirement Diagrams in Requirement identification and specification for an Internet banking transactional platform. The research attempts to discover if SysML Requirement Diagrams can be applied not only for defining Requirements in engineering domains, but also for conducting business cases. The paper is structured as follows: after the Introduction, the prerequisites of Requirement specification in SysML are clarified in Section 2. Section 3 exemplifies the containment relationships in a banking transactional platform case study. A Requirement Diagram of a Money Transfer Service in both graphical and tabular form is developed and explained in Section 4, followed by Conclusions. The study has generated demand for more in-depth analysis of business Requirements specification using other functionally related SysML/UML Diagrams.