Projects


Métodos formales y algoritmos para el diseño de sistemas
Acronyme FORMALISM
Finance Ministerio de Educación y Ciencia (MEC)
Number TIN2007-66523
Period 2007-01 → 2012-12
Money 821.000€
Members F.Orejas
Participants Universitat Politècnica de Catalunya
Coordinator F.Orejas
Description The goal of this project is to understand, study, and solve problems in new tecnological contexts created by the growth in resources (computing power, storage, and communication).In particular, the project focuses on two work areas.On the one hand, it deals with modelling, design, and verification of systems that typically work or can work in open networks such as Internet.On the other hand, the project studies the modelling, verification, and synthesis of large concurrent systems that typically are implemented in VLSI circuits, with especial emphasis on asynchronous systems.Even though these areas may seem disparate, in fact the set of techniques thay they use are the same to a large extent.





ALBCOM Research Group
© Universitat Politècnica de Catalunya, 2017