• Designação:Opo’Arch Formal Methods

  • Código do projecto:NORTE-01-0246-FEDER-000013

  • Objectivos principal:Reforçar a investigação, o desenvolvimento tecnológico e a inovação

  • Região de intervenção:Norte

  • Entidade Beneficiária:Cooperativa de Ensino Superior Artístico do Porto, CRL

  • Data da aprovação:22/07/2016

  • Data de início do projecto:01/11/2016

  • Data de conclusão:10/10/2018

  • Custo total elegível:561600.0 €

  • Apoio financeiro da União Europeia | FEDER:477360.00 €

  • Portugal 2020
  • Norte 2020
  • União Europeia

Objectivos e actividades do projecto

O 'Grupo de Métodos Formais em Arquitectura' do LIA – Laboratório de Investigação em Arquitectura da ESAP tem-se dedicado nos últimos anos a trabalhos de I&D na área cujo nome do Grupo indica – os métodos formais, ou seja, os que implicam a utilização de métodos provenientes das ciências matemáticas na Arquitectura.

Especialmente relevante da produção do Grupo é uma aplicação informática de sintaxes espaciais em 3D, ou seja, que permite a análise espacial de espaços tridimensionais. O programa tem a designação de DepthSpace3D.

As sintaxes espaciais são um conjunto de metodologias em uso na arquitectura desde há mais de 30 anos, e como exigem uma grande quantidade de cálculo, necessitam de ser tratados por instrumentos de TIC. Até ao momento só estavam disponíveis análises 2D, desenvolvidas essencialmente na escola original – a University College London.

A disponibilização de ferramentas informáticas 3D abre novas perspectivas ao avanço destas tecnologias, e corresponde a uma necessidade de evolução científica e tecnológica destas metodologias. Os novos campos de aplicação podem ser muito importantes.

A CESAP pretende agora realizar a disseminação dos resultados da sua I&D à sociedade em geral e particularmente ao tecido empresarial regional. Trata-se do projecto designado OPO’ArchFormalMethods.

O objectivo do projecto não é somente fazer uma passagem ‘educativa’ dos resultados académicos da investigação, através das usuais conferências, artigos e livros. Mas os objectivos são também:
- o auxiliar na criação de um cluster de instituições e empresas regionais com interesses na utilização desse produto, que propicie novas oportunidades de negócio.
- a criação pós-projecto de uma Spin-off que assegure estas funções de coordenação de desenvolvimento da aplicação comercial
- libertando a escola para funções de I&D mais fundamentais, continuando a desenvolver os aspectos científicos mais avançados, e mantendo-se responsável pela versão académica do software


The 'Group of Formal Methods in Architecture' of LIA - Research Laboratory of Architecture of ESAP has been devoted in recent years to R&D work in the area of methods for architecture involving the use of scientific acquisitions of the mathematical.

Particularly relevant group of its production is a computer application on 'space syntaxes' in 3D space. This digital tool has the name of DepthSpace3D.

'Space syntaxes' are a set of methods in use in the architecture for over 30 years, and as they require a large amount of calculations, they need to be treated by ICT instruments. So far, only 2D analysis was currently available, developed mainly in the original school - the University College London.

The availability of 3D software tools opens up new perspectives to the advancement of these technologies, and corresponds to a need for scientific and technological development of these methodologies. The new fields of application can be very important.

CESAP intends now to carry out the dissemination of the results of its R&D to society in general and particularly to regional business. This is the project called OPO'ArchFormalMethods.

The aim of the project is not only to make an 'educational' passage of academic research results, through the usual conferences, articles and books. But the objectives are also:
- to support the creation of a cluster of institutions and regional companies with interests in the use of this product, that provides new business opportunities.
- the post-project creation of a spin-off to ensure the development coordination functions of the commercial software.
- to release the school for more fundamental R&D, continuing to develop the most advanced scientific areas, and remaining responsible for the academic version of the software.

http://opoarch.com/