A Vós a Razão
O anseio estratégico de conjugar investigação
Por Jorge Sousa Pinto*
São inúmeros os adjetivos que se aplicam aos sistemas de software quando se pretende qualificá-los como obedecendo a elevados padrões de comportamento, exigidos em contextos que de algum modo sejam considerados críticos. Confiável, seguro, ou correto são exemplos que aludem a propriedades específicas com significados diferentes, mas relacionados: um produto inseguro não poderá certamente ser visto como confiável, por exemplo.
A confusão é ainda maior quando se considera a terminologia anglo-saxónica, em que se emprega expressões como reliable, dependable, ou trustworthy, que seria possível traduzir pela mesma palavra portuguesa — confiável. Outro exemplo de uma diferença de significado que se perde na tradução é entre o software dito safe e secure, que traduziríamos em ambos os casos por seguro.
O trabalho de investigação do High-assurance Software Laboratory situa-se precisamente na conceção, desenvolvimento e validação de software em contextos em que estas propriedades são tidas como indispensáveis. A designação high-assurance foi escolhida pela sua generalidade, pretendendo englobar as competências desta unidade em diversos aspetos essenciais distintos.
O HASLab congrega investigadores de três áreas, na sua maioria docentes do departamento de Informática da Universidade do Minho. São elas a segurança de informação, os sistemas distribuídos confiáveis, e os métodos formais. Trata-se de áreas bem estabelecidas nesta instituição, com uma longa tradição de produção científica ao mais alto nível. Vejamos brevemente qual o foco de cada uma.
Na área de segurança de informação (information security), os investigadores do HASLab desenvolvem investigação teórica na área de criptografia, privilegiando temas com relevância prática (e contando de resto com parcerias empresariais continuadas de grande sucesso). Na área dos sistemas confiáveis (dependable distributed systems) o trabalho da unidade dedica-se a aspetos como a tolerância a faltas e a elevada disponibilidade, com ênfase em sistemas de grande escala. Finalmente, na área dos métodos formais a unidade dedica-se ao estabelecimento de propriedades como a correção funcional do software e a sua segurança (no sentido de safety, definida como a ausência de ocorrências indesejadas durante a sua execução), aplicando para isto métodos de desenvolvimento baseados em técnicas matemáticas.
O tamanho e o grau de criticidade dos sistemas têm aumentado de forma muito significativa, e os requisitos dos sistemas críticos exigem invariavelmente complementaridade das áreas de competência do HASLab. Somos assim confrontados com a necessidade de desenvolver abordagens integradas aos problemas, apelando à interdisciplinaridade. Por outro lado, existe uma constante demanda e pressão por parte das organizações com responsabilidades na disponibilização de serviços e soluções tidos como críticos (sejam eles business-critical ou safety-critical), que frequentemente são regulados por normas muito exigentes quanto à validação do software.
O momento atual coloca, portanto, grandes desafios à atividade da unidade. Ainda que com frequência a nossa investigação conduza ao desenvolvimento de protótipos inovadores, são raros os que sobrevivem e têm exploração para lá dos projetos de investigação. Apesar de o HASLab contar com um número assinalável de parcerias empresariais, a transferência de tecnologia que tem sido promovida tem reconhecidamente acontecido por iniciativa individual dos seus membros, e raramente tem ultrapassado a pequena escala.
É pois com grande entusiasmo que o HASLab vê a sua associação ao INESC TEC. São grandes as expectativas de integrar uma instituição com a massa crítica, a multidisciplinaridade e a experiência na gestão de ciência do INESC TEC, com a consciência plena das nossas competências, complementaridade e vontade de contribuir ativamente para o protagonismo do laboratório associado na área das tecnologias de informação.
O HASLab realiza essencialmente investigação fundamental e aplicada. É com igual expectativa que aliamos ao conforto de reconhecer no laboratório associado espaço para a atividade de investigação fundamental o anseio estratégico de conjugar a transversalidade da nossa investigação com as demais unidades do INESC TEC, alavancando a experiência e a capacidade instalada para transferência de tecnologia.
*Diretor do HASLab - High-assurance Software Laboratory
