Joomla Templates by Just Hosting Review

Thaís Harumi Ussami’s secondment with UNIFI

Published: Monday, 20 October 2014

The secondment of Thaís Harumi Ussami at the University of Firenze is underway. She arrived in the beginning of October and she will stay until March, fulfilling 6 months of secondment.

Thaís is coming from Campinas – SP, Brazil, where she is an MSc student under the supervision of Prof. Eliane Martins at the UNICAMP. Although they are still working on the definition of her research topic, she is currently researching approaches for the automated generation of tests using techniques related to model based testing and behavior driven development, which will guide the agile development of the systems.

On October 20, she had a talk in which she introduced her topic and presented some of her work to UNIFI researchers. Basically, she is now working on a new agile technique that uses the benefits of model based testing to create test cases that will guide the incremental development. State machines are used to represent the system's behavior, so they will be used as documentation as well as the model from which test cases will be derived. Also, they will be used to validate the system’s behavior with the client.

Several UNIFI professors, researchers and students attended the meeting, which besides presenting Thaís’ work, also had the goals of discussion of the tasks for the secondment and find the researchers more suited to collaborate with her.

ToK Workshop #2

Published: Monday, 25 August 2014

The DEVASSES ToK Workshop #2 is on the books, and it was a successful opportunity for transfer of knowledge among the project researchers and also with external researchers. 


The event was held at the Institute of Computing on August 21-22, 2014 and organized by the UNICAMP. The theme for the workshop was Design and V&V Methodologies for Dynamic Systems, but the technical discussion also included other topics that go beyond that and are relevant for the project.


During the workshop the program included presentations of two featured lecturers who presented relevant topics for the project:


Besides these presentations, there was time for 16 presentations where the project researchers had the opportunity to showcase their recent and ongoing research work. The full list of presentation is available here.

We highlight that 3 of these presentation were already on works that involve multiple partners of the project, resulting from secondment works and that are already in an advanced state.


The sessions had an average of more than 30 attendants, with only ~15 being project members from all the project partners (UNICAMP, UC, UNIFI, UFAL) . Besides the project members, in the attendance there were researchers from institutions as UFRJ, Legal Service of the European Commission, USP, Brasilian Air Force Academy, IBM, INPE, CPqD, as well as several local students.


Every presentation slot included time reserved for discussion, which allowed for more detailed comments on the work and to explore the opportunity of future research paths.

Finally, it was time for discussion about the project management, past and future secondments were analyzed, and future partnerships between EU and Brazil were prospected.



UNIFI researchers at UFAL

Published: Tuesday, 19 August 2014

The Federal University of Alagoas (UFAL) is nowadays "invaded" by researchers of the University of Florence (UNIFI)!
The group of seconded researchers consists of: Andrea Bondavalli, Andrea Ceccarelli and Leonardo Montecchi.


Andrea Bondavalli is an Associate Professor at the University of Florence where he leads the Resilient Computing Lab. His research activity is focused on safety, security, fault tolerance, evaluation of attributes such as reliability, availability and performability of complex systems and infrastructures. Andrea B. is the Principal Investigator of UNIFI in DEVASSES and will be at UFAL for a 1-month secondment.

Andrea Ceccarelli is a Researcher at the University of Florence, which through years gained experience in design and assessment (especially by testing) of critical systems. His PhD focused the analysis of critical systems through rigorous, reproducible and comparable experimental assessment. Andrea C. will fulfill a 2-months secondment.

Leonardo Montecchi is a Post-Doc research fellow at the University of Florence. His research interests focus on model-based evaluation and model-driven engineering techniques applied to the design and assessment of critical systems, and during his PhD he proposed a methodology and framework for model-driven dependability analysis of critical embedded systems and directions towards systems of systems. Leonardo will be at UFAL for 3-months.


The plans for their secondments include sharing their experience with UFAL researchers and students, with the objective of building collaborations.


A. Bondavalli at UFAL

Secondment Kick-off Workshop

To kick-off the secondments' works, UFAL organized a workshop on August 12 with attendance of local students and professors. Besides a presentation of the UNIFI research group by A. Bondavalli, the presentations of the workshop included: “Online monitoring – A framework for user identity verification” by A. Bondavalli; “Design and security assessment of a protocol for continuous user identity verification” by A. Ceccarelli, presenting recent results on the design and assessment of a continuous authentication protocol for biometric devices; “Model-based evaluation: some challenges and approaches” where L. Montecchi introduced model-based evaluation, providing an overview of three contributions of UNIFI in that field, and also “Dependable and Secure Services: Research at the University of Coimbra” by Nuno Laranjeiro, a researcher from the University of Coimbra, also seconded at UFAL.

Nuno Laranjeiro is at UFAL

Published: Thursday, 31 July 2014

Nuno Laranjeiro is at Maceió, for a one month secondment at Federal University of Alagoas (UFAL). He comes from the University of Coimbra, where he is an Assistant Professor.


His research interests include experimental dependability evaluation of services, including robustness and interoperability assessment.


During the secondment, Nuno will be collaborating with local researchers on the key topics targeted by work package 1 of the project, including project deliverables that are under development.


Plans for the secondment also include the participation in the workshop organized at UFAL with local and other seconded researchers that will arrive in the next few days.