CECRIS-DEVASSES Joint Meeting
On January 23rd, 2015, ResilTech hosted a joint meeting between DEVASSES and the CECRIS projects, at their main offices in Pontedera, Italy.
The meeting provided a golden opportunity for wider Transfer of Knowledge activities and to exchange useful feedback outside the boundaries of the project.
The three IC-UNICAMP researchers currently seconded at UNIFI (Prof. Ariadne Carvalho, Prof. Cecilia Rubira, and Thaís Ussami) attended the meeting, having the opportunity to know a company working with some of the topics of interest of DEVASSES. Additionally, the meeting had the participation of several UNIFI and ResilTech researchers.
The meeting featured three presentations from the CECRIS project and two from DEVASSES researchers. These presentations set the tone to the subsequent useful and interesting discussions on the topics shared by the two projects.
II Workshop DEVASSES@FT
The School of Technology of UNICAMP is organizing the second local workshop in the context of the DEVASSES project. The workshop will feature a series of presentations that focus the topics of verification and validation in large scale systems.
These presentations encompass the contribution of the DEVASSES researchers seconded at UNICAMP. Local PhD. and MSc. students will also have the opportunity to present that they are developing at FT-UNICAMP.
Finally, the workshop will also include the participation of Prof. Rui Oliveira, from the University of Minho (Portugal).
The workshop is public and everyone is welcome to attend and participate of the discussions.
Event information:
- Title: II Workshop DEVASSES@FT
- Organised by: Regina Moraes (FT-UNICAMP)
- When: July 24, 2014
- Where: FT-UNICAMP, Limeira, SP, Brazil
Preliminar Program:
| Start | Speaker | Talk | Dur. |
|---|---|---|---|
| 14:00 | Marco Vieira (UC) | To BEnchmark or Not To BEnchmark Security | 30min |
| 14:30 | Rui Oliveira (Invited speaker) | Ultra-Scalable Data Management for the Cloud | 30min |
| 15:00 | Cristiana Areias (UC) | Verification and Validation for SOAs: Challenges and Opportunities | 30min |
| 15:30 | Nuno Antunes (UC) | Detecting Injection Vulnerabilities in Web Services: State-of-the-art and Research Opportunities | 30min |
| 16:00 | Ana Paula Matsunaga (UNICAMP) | Coverage Analysis Integration in a SQL Injection Detector | 30min |
| 16:30 | Everaldo Leme & Larissa Amaral (UNICAMP) | Fault Classification in Mobile Networking & Cloud | 30min |
| 17:00 | William Paiva (UNICAMP) | Understanding Error Propagation in Software assisted by Complex Networks and Fault Injection | 30min |
| 17:30 | Ricardo Barbosa (UNICAMP) | Using Text Mining for Analysis of Software Requirements in Agile User Stories | 30min |
| 18:00 | Daniele Januário (UNICAMP) | A tool for detection of dependencies among User Stories. | 30min |
| 18:30 | Paulo Martins (UNICAMP) | n-Steps Ahead Software Reliability Prediction Using Kalman Filter | 30min |
| 19:00 | Regina Moraes (UNICAMP) | Wrap Up | 10min |
I Workshop DEVASSES@FT
The School of Technology of UNICAMP organized the the first local workshop in the context of the DEVASSES project. The workshop featured talks presenting the project and a series of presentations by local the PhD and MSc students.
The presentations are public and everyone is welcome to attend and participate of the discussions.
Event information:
- Title: I Workshop DEVASSES@FT
- Organised by: Regina Moraes (FT-UNICAMP)
- When: May 20, 2014
- Where: FT-UNICAMP, Limeira, SP, Brazil
Preliminar Program:
| Start | Speaker | Talk | Dur. |
|---|---|---|---|
| 9:30 | Marco Vieira (UC) | Presentation of DEVASSES project | 15min |
| 9:45 | Regina Moraes (UNICAMP) | Presentation of Agile Requirements | 10min |
| 10:00 | Daniele Januário (UNICAMP) | Dependencies among User Stories | 30min |
| 10:30 | Ricardo Barbosa (UNICAMP) | Aggregation of User Stories | 30min |
| 11:00 | Tânia Basso (UNICAMP) | Reference Architecture | 30min |
| 11:30 | Everaldo Leme(UNICAMP) | Failues in Mobile Cloud | 30min |
| 12:00 | William Paiva(UNICAMP) | Complex Networks and Dependability Assurance | 30min |
| 12:30 | Regina Moraes (UNICAMP) | Wrap Up | 10min |
Assessment frameworks and methodologies in agile computing
The third project ToK workshop is planned for the 17th Month of the project and will be organised by UFAL. It will target topics related to Assessment frameworks and methodologies in agile computing. More details on the date and location will be released in the future.
Event information:
- Organised by: UFAL
- When: Coming soon
- Where: TBD
Design and V&V Methodologies for Dynamic Systems
The second project ToK Workshop will be organised by UNICAMP in August 21-22, 2014 of the project. The workshop will discuss "Design and V&V Methodologies for Dynamic Systems".
The workshop is public and everyone is welcome to attend. The full program schedule is available below.
Event information:
- Title: Design and V&V Methodologies for Dynamic Systems
- Organised by: UNICAMP
- When: August 21-22, 2014
- Where: IC-UNICAMP, Campinas, SP, Brazil
Preliminar Program:
| DAY 1 – August 21st | |||
| Start | Dur. | Title | Partner |
|---|---|---|---|
| 08:50 | 00:10 | Welcome | UC/UNICAMP |
| Session #1 – Adaptation and Reconfiguration (Chair: Cecília Rubira, UNICAMP) | |||
| 09:00 | 01:00 | Dynamic process adaptation: A context-aware approach / Generating Reconfiguration Plans at Runtime, Claudia Werner | Invited Talk: UFRJ |
| 10:00 | 00:15 | Dynamic Requirements | UNICAMP |
| 10:15 | 00:15 | Discussion | |
| 10:30 | 00:30 | Coffee Break | |
| Session #2 – Privacy (Chair: Marco Vieira, UC) | |||
| 11:00 | 00:30 | The proposal for a General Data Protection Regulation, Piedade Costa de Oliveira | Invited Talk: Legal Service of the EC, EU Fellow IBE/USP |
| 11:30 | 00:15 | Code Coverage Analysis to Improve Vulnerability Detection | UNICAMP/UC |
| 11:45 | 00:15 | Transparent User Identity Verification in Mobile Environments | UNIFI |
| 12:00 | 00:30 | Discussion | |
| 12:30 | 01:30 | Lunch | |
| DAY 2 – August 22nd | |||
| Start | Dur. | Title | partner |
| Session #3 – Security (Chair: Patrick Brito, UFAL) | |||
| 09:00 | 00:30 | Techniques for the Quantitative Assessment of System Security | UNIFI |
| 09:30 | 00:15 | Towards a UML Profile for Privacy-Aware Applications | UNICAMP/UNIFI |
| 09:45 | 00:15 | Security Configuration Assessment of Android Devices | UNICAMP/UC |
| 10:00 | 00:30 | Discussion | |
| 10:30 | 00:30 | Coffee Break | |
| Session #4 – Monitoring and V&V (Chair: Eliane Martins, UNICAMP) | |||
| 11:00 | 00:15 | An Architecture-Centered Monitoring Approach for Software Quality Attributes | UFAL |
| 11:15 | 00:15 | Monitoring of web-based applications | UNICAMP |
| 11:30 | 00:15 | On Applying FMEA to SOAs: A Proposal and Open Challenges | UC |
| 11:45 | 00:15 | Towards a SW FMEA Approach Supported by Execution of UML Models and Fault-Injection | UNIFI |
| 12:00 | 00:30 | Discussion | |
| 12:30 | 01:30 | Lunch | |
| Session #5 – Testing and Analysis (Chair: Andrea Bondavalli, UNIFI) | |||
| 14:00 | 00:30 | A Tool for Trade-off Resolution on Architecture-Centered Software Development | UFAL |
| 14:30 | 00:15 | Automated Test Generation in Behavior Driven Development | UNICAMP |
| 14:45 | 00:30 | An Analysis of Hypercall Handler Vulnerabilities | UC |
| 15:15 | 00:30 | Discussion | |
| 15:45 | 00:30 | Coffee Break | |
| Session #6 – Clustering and Anomaly Detection (Chair: Nuno Antunes, UC) | |||
| 16:15 | 00:15 | OS- and middleware-level Anomaly Detection in Complex Software Systems | UNIFI |
| 16:30 | 00:30 | User Stories: Clustering and Dependencies | UNICAMP |
| 17:00 | 00:15 | Anomaly Detection using Multiple Sequence Alignment | UNICAMP |
| 17:15 | 00:30 | Discussion | |
| 17:45 | 00:15 | Wrap Up | UC/UNICAMP |
