DEVASSES: DEsign, Verification and VAlidation of large-scale, dynamic Service SystEmS
Description
The DEVASSES project aims at taking a step forward in the design and deployment of large-scale, dynamic service-based software systems by supporting the transfer of knowledge on novel state of the art methods, techniques, and tools for both design time and run time verification and validation. The goal is to reinforce existing partners’ cooperation through a coordinated program of exchange of researchers, taking as context a common research problem, which provides the frame for the project scientific activities and cannot currently be tackled by any of the partners individually. The project includes joint research activities, focused training activities, and joint workshops, designed to exploit complementary expertise and to create synergies among the partners, establishing the basis for sustainable future cooperation at different levels, including: co-advising of PhD candidates, joint organization of international events (workshops, conferences, summer schools, etc.), participation in bilateral project proposals, participation in large-scale international project proposals, etc.https://devasses.dei.uc.pt/
Researchers
Marco Vieira (coordinator)
Cristiana Areias
Henrique Madeira
Nuno Laranjeiro
Nuno Antunes
Naghmeh Ramezani Ivaki
Edmundo Monteiro
Marilia Curado
Cristiana Areias
Henrique Madeira
Nuno Laranjeiro
Nuno Antunes
Naghmeh Ramezani Ivaki
Edmundo Monteiro
Marilia Curado
Funded by
European ComissionPartners
Università degli Studi di Firenze (UNIFI), IT; Universidade Estadual de Campinas (UNICAMP), BR; Universidade Federal de Alagoas (UFAL), BRKeywords
Verification and Validation; Software Services; Dynamic and Evolving SystemsStart Date
2014-01-01End Date
2017-12-31Conference Articles
2016
(3 publications)- Machado, C. and Areias, C. and Cunha, J.C. , "SOASales: A SOA System for Research Purposes", in 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop, 2016
- Alves, H. and Fonseca, B. and Nuno Antunes , "Software Metrics and Security Vulnerabilities: Dataset and Exploratory Study", in 12th European Dependable Computing Conference (EDCC), 2016, 2016
- Matsunaga, A.P.S. and Nuno Antunes and Moraes, R. , "Coverage Metrics and Detection of Injection Vulnerabilities: An Experimental Study", in 12th European Dependable Computing Conference (EDCC), 2016, 2016
2015
(2 publications)- Ivano Irrera and Marco Vieira , "Towards assessing representativeness of fault injection-generated Failure Data for Online Failure Prediction", in 1st Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms (RADIANCE 2015) at DSN 2015, 2015
- Areias, C. and Marco Vieira and Cunha, J.C. , "Studying the Propagation of Failures in SOAs", in International Workshop on Recent Advances in the Dependability Assessment of Complex Systems (RADIANCE’2015), 2015