A Multilevel Contract Model for Dependable Feature-Oriented Components

TitreA Multilevel Contract Model for Dependable Feature-Oriented Components
Publication TypeConference Paper
Year of Publication2014
AuthorsRhanoui, M, Asri, BEl
Conference Name2014 9TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS: THEORIES AND APPLICATIONS (SITA'14)
PublisherIEEE; IEEE Morocco
ISBN Number978-1-4799-3566-6
Abstract

Feature-Oriented System Development is a promising and recent approach for developing domain-specific component-based systems. To be adopted in a safety-critical environment it must handle dependability requirements and offer mechanisms to ensure the reliability level of the components and the system. For this purpose, the contract-based approach is a lightweight formal method for designing and specifying systems' requirements, it can be introduced in an early stage during the design phase. In this paper, we present a multilevel contract model and a domain-specific modeling language that aims to address reliability and quality issues for component-based systems by expressing and specifying a set of its properties and constraints.

Revues: 

Partenaires

Localisation

Suivez-nous sur

         

    

Contactez-nous

ENSIAS

Avenue Mohammed Ben Abdallah Regragui, Madinat Al Irfane, BP 713, Agdal Rabat, Maroc

  Télécopie : (+212) 5 37 68 60 78

  Secrétariat de direction : 06 61 48 10 97

        Secrétariat général : 06 61 34 09 27

        Service des affaires financières : 06 61 44 76 79

        Service des affaires estudiantines : 06 62 77 10 17 / n.mhirich@um5s.net.ma

        Résidences : 06 61 82 89 77

Contacts

    

    Compteur de visiteurs:451,493
    Education - This is a contributing Drupal Theme
    Design by WeebPal.