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 |
