@conference { ISI:000346142800003, title = {A Multilevel Contract Model for Dependable Feature-Oriented Components}, booktitle = {2014 9TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS: THEORIES AND APPLICATIONS (SITA{\textquoteright}14)}, year = {2014}, note = {9th International Conference on Intelligent Systems - Theories and Applications (SITA), Inst Natl Postes \& Telecommunicat, Rabat, MOROCCO, MAY 07-08, 2014}, publisher = {IEEE; IEEE Morocco}, organization = {IEEE; IEEE Morocco}, 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{\textquoteright} 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.}, isbn = {978-1-4799-3566-6}, author = {Rhanoui, Maryem and El Asri, Bouchra} }