Welcome to Quasimodo Website!
Quasimodo is an European research project funded by the European Commission under the IST framework programme 7 for Information and Communication Technology, ICT.
The main goal of Quasimodo is to develop new techniques and tools for model-driven design, analysis, testing and code-generation for advanced embedded systems where ensuring quantitative bounds on resource consumption is a central problem.
Quantitative Constraints
Quantitative constraints involve the resources that a
system may use, assumptions about the environment in which it
operates, and requirements on the services
that the system has to provide etc.