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.

Read more…