WP1.1

Nibiru | V&V-as-a-service / Requirement-as-a-Plugin

The work carried out in this WP is on reliability, security and quality assurance of software systems. The research aims at exploring the “test-as-a-service”, “reasoning-as-a-service” and “Verification-as-a-service” paradigms generically gathered as “softwareValidation&Verification-as-a-service”. The implemented prototypes are expected to not only be deployable in the Cloud but also to take advantage of it. Indeed, an innovative aspect to be further explored from previous research is to consider the supported requirements as plug-ins. Furthermore, foundational research is expected to be conducted on how to consider individually these requirement plug-ins: for instance, functional correctness (in the presence of concurrency) or, on the non-functional requirements side, energy efficiency or power consumption, usability and accessibility, etc.

Team & Collaborators

Publications

Journal articles

(***) Article published in a top 10% most cited journal of the respective field.

Conference articles

(**) Special Mention Award

Book chapters

  • Pereira, R., & Fernandes, J. P.: Paint your Programs Green – On the Energy Efficiency of Data Structures. In Composability, Comprehensibility and Correctness (3COWS). Lecture Notes in Computer Science, Springer. (submitted for publication)
  • Macedo, J. N., Ribeiro, F., Rua, R., Couto, M., Cunha, J., Fernandes, J. P., Saraiva, J., Pereira, R.: Compilers going Green – An empirical evaluation of functional language performance. In Composability, Comprehensibility and Correctness (3COWS). Lecture Notes in Computer Science, Springer. (submitted for publication)

Related activities

  • GreenStamp – P2020 financed project (with Caixa Mágica Software and Universidade de Coimbra)
  • Rui Pereira, Let’s make Greener Software. C4 – RINNOVAR – Research and INNOVation seminAR, October 16, 2019, Covilhã, Portugal
  • Participation in the 16th International Conference on Mining Software Repositories (MSR) conference, Montreal, Canada
  • GreenHub Project