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

Dipak Kumar Basu - One of the best experts on this subject based on the ideXlab platform.

Christophe Joubert - One of the best experts on this subject based on the ideXlab platform.

  • a set of performance and dependability analysis components for cadp
    Tools and Algorithms for Construction and Analysis of Systems, 2003
    Co-Authors: Holger Hermanns, Christophe Joubert
    Abstract:

    This paper describes a set of analysis components that open the way to perform performance and dependability analysis with the CADP toolbox, originally designed for verifying the functional correctnessx of LOTOS specifications. Three new tools (named BCG_STEADY, BCG_TRANSIENT and DETERMINATOR) have been added to the toolbox. The approach taken fits well within the Existing Architecture of CADP which doesn't need to be altered to enable performance evaluation.

  • TACAS - A set of performance and dependability analysis components for CADP
    Tools and Algorithms for the Construction and Analysis of Systems, 2003
    Co-Authors: Holger Hermanns, Christophe Joubert
    Abstract:

    This paper describes a set of analysis components that open the way to perform performance and dependability analysis with the CADP toolbox, originally designed for verifying the functional correctnessx of LOTOS specifications. Three new tools (named BCG_STEADY, BCG_TRANSIENT and DETERMINATOR) have been added to the toolbox. The approach taken fits well within the Existing Architecture of CADP which doesn't need to be altered to enable performance evaluation.

Vasu Alagar - One of the best experts on this subject based on the ideXlab platform.

  • tadl an Architecture description language for trustworthy component based systems
    European Conference on Software Architecture, 2008
    Co-Authors: Mubarak Mohammad, Vasu Alagar
    Abstract:

    Existing Architecture description languages mainly support the specification of the structural elements of the system under design with either only a limited support or no support to specify non-functional requirements. In a component-based development of trustworthy systems, the trustworthiness properties must be specified at the architectural level. Analysis techniques should be available to verify the trustworthiness properties early at design time. Towards this goal we present in this paper a meta-Architecture and TADL, a new Architecture description language suited for describing the Architecture of trustworthy component-based systems. The TADL is a uniform language for specifying the structural, functional, and nonfunctional requirements of component-based systems. It also provides a uniform source for analyzing the different trustworthiness properties.

  • ECSA - TADL - An Architecture Description Language for Trustworthy Component-Based Systems
    Software Architecture, 1
    Co-Authors: Mubarak Mohammad, Vasu Alagar
    Abstract:

    Existing Architecture description languages mainly support the specification of the structural elements of the system under design with either only a limited support or no support to specify non-functional requirements. In a component-based development of trustworthy systems, the trustworthiness properties must be specified at the architectural level. Analysis techniques should be available to verify the trustworthiness properties early at design time. Towards this goal we present in this paper a meta-Architecture and TADL, a new Architecture description language suited for describing the Architecture of trustworthy component-based systems. The TADL is a uniform language for specifying the structural, functional, and nonfunctional requirements of component-based systems. It also provides a uniform source for analyzing the different trustworthiness properties.

Chen Hui - One of the best experts on this subject based on the ideXlab platform.

  • study on the Architecture of intelligent warship s tsce based on multi view
    International Symposium on Distributed Computing, 2014
    Co-Authors: He Yelan, Chen Hui
    Abstract:

    Intelligent ship TSCE(Total Ship Computing Environment) is a new generation of shipboard integrated system being developed for current and future combat mission, which leads to changes in design and integration mode of warship system. SOA (Service-Oriented Architecture) is the technology foundation of implementing system integration and the emergence of CPS (Cyber-Physical Systems) provides a new technical idea for TSCE construction. Based on analyses of integration demands for intelligent warship, this paper uses SOA and CPS to design Architecture for TSCE from three aspects, which are system view, function view and technology view. And this paper performs comparison and analysis with Existing Architecture. The result shows that the presented Architecture is more comprehensive and advanced, which lays a solid foundation for TSCE research in our country.

Santanu Halder - One of the best experts on this subject based on the ideXlab platform.