Formal Methods and Tools MOQS logo

MOQS :: Modeling and Analysis of QoS for Component-Based Designs

Description| People| Publications


MOQS (Modeling and Analysis of QoS for Component-Based Designs) is a research project supported by the Netherlands Foundation for Scientific Research (NWO). It aims to develop a theory, tools and techniques for the specification and analysis of Quality of Service (QoS) for component-based designs.

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 specification, 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.


Current participants of MOQS project:

<< top


Publications 2008:
  • H. Boudali, P. Crouzen, B. R. Haverkort, M. Kuntz and M.I.A. Stoelinga. Arcade - A Formal, Extensible, Model-based Dependability Evaluation Framework. In: Proceedings of the 3rd International IEEE UML/AADL Workshop

Publications 2007:

Publications 2006:
<< top