MOQS (NWO/Focus)

Modeling and Analysis of QoS of Component-Based Designs

Project Manager: Dr. Mariëlle I.A. Stoelinga

Faculty of Electrical Engineering, Mathematics and Computer Science

Tel.: +31 53 489 3773

Project website:

Project Summary

Component-based design is widely considered as an important approach to develop systems in a time and cost effective way. A challenge is to predict the global system properties from local component properties, especially for extra-functional requirements such as quality of service (QoS), resource consumption and responsiveness.

The goal of this project is to develop methods and tools for the design time analysis of QoS properties of component-based systems. Since QoS properties are usually stochastic in nature, we base our techniques on stochastic modeling and analysis methods. In particular, we plan to devise a notion of stochastic interface automaton. Such automata summarize the QoS properties of a system component by specifying the QoS requirements the component needs from its environment and the QoS guarantees it provides. To verify the compliance of a component with its interface specication, we seek to extend model checking, abstraction and model-based testing techniques that exist for stochastic systems to these interface automata. We plan to integrate these techniques into a tool environment based on the existing tools TorX, Modest/Motor and ETMCC.

Publications

Project duration: 1-9-2005 / 1-9-2008

Project budget: 521 k-€

Number of person/years: 3 fte / year

Involved groups: Formal Methods and Tools (FMT) / Design and Analysis of Communication Systems (DACS)

CTIT Strategic Research Orientations: DSN - Dependable Systems and Networks

	CTIT Home > ... > NWO/Focus > MOQS (NWO/Focus)
Home CTIT Symposium 2012 About CTIT News NIRICT Research Meet the PhDs Working at CTIT Internal Information Conferences Open Calls (updated April 20, 2012) Library and Videos Knowledge Transfer Links Sitemap Search	MOQS (NWO/Focus) Modeling and Analysis of QoS of Component-Based Designs Project Manager: Dr. Mariëlle I.A. Stoelinga Faculty of Electrical Engineering, Mathematics and Computer Science Tel.: +31 53 489 3773 Email: m.i.a.stoelinga@utwente.nl Project website: Project Summary Component-based design is widely considered as an important approach to develop systems in a time and cost effective way. A challenge is to predict the global system properties from local component properties, especially for extra-functional requirements such as quality of service (QoS), resource consumption and responsiveness. The goal of this project is to develop methods and tools for the design time analysis of QoS properties of component-based systems. Since QoS properties are usually stochastic in nature, we base our techniques on stochastic modeling and analysis methods. In particular, we plan to devise a notion of stochastic interface automaton. Such automata summarize the QoS properties of a system component by specifying the QoS requirements the component needs from its environment and the QoS guarantees it provides. To verify the compliance of a component with its interface specication, we seek to extend model checking, abstraction and model-based testing techniques that exist for stochastic systems to these interface automata. We plan to integrate these techniques into a tool environment based on the existing tools TorX, Modest/Motor and ETMCC. Publications Project duration: 1-9-2005 / 1-9-2008 Project budget: 521 k-€ Number of person/years: 3 fte / year Involved groups: Formal Methods and Tools (FMT) / Design and Analysis of Communication Systems (DACS) CTIT Strategic Research Orientations: DSN - Dependable Systems and Networks