Local: Sala Multiuso CIC

Horário: 14h

Palestrante: Profa. Dra. Genaína Nunes Rodrigues

Título: Coping with the Software Dependability Analysis Leap

Resumo: The original definition of dependability is the ability to deliver service that can justifiably be trusted. As well pointed out by Avizienis et al in their seminal paper, such definition of dependability stresses the need for justification of trust. From the perspective of the software engineering community, we are aware that the complexity of the software systems has leaped to orders of magnitude much higher than our assurance on delivering the systems under justifiable trust. In this context, we have conducted research work that copes with dependability analysis that can be accommodated into complex software systems from their initial stages to their runtime execution environment. Such software systems we have targeted include those where a goal-oriented strategy of the software should be prioritised, e.g. suitable to self-adaptive systems domain, and various contexts of system operation should be explicitly taken into account at design- and run-time.  In this presentation, we will share our recent contributions on those aspects and some experimental results. 

Profa Célia Ghedini Ralha (Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.)

Coordenadora dos Seminários de Pós-Graduação em Informática 2018-1