Verification Validation and Testing: passion and deployment challenges
Thursday 26 May 2016 -
09:00
Monday 23 May 2016
Tuesday 24 May 2016
Wednesday 25 May 2016
Thursday 26 May 2016
09:00
Arrival and registration with welcome coffee
Arrival and registration with welcome coffee
09:00 - 09:30
09:30
IASF Bo Welcome
-
Sara Ricciardi
(
IASFBO
)
IASF Bo Welcome
Sara Ricciardi
(
IASFBO
)
09:30 - 09:45
KEY STATEMENT: reinventing the wheel and the anthropological challenge for a physicist to use a standard procedure
09:45
INAF Welcome
-
Davide Fierro
INAF Welcome
Davide Fierro
09:45 - 10:00
10:00
Welcome AISE VVT Working Group
-
Carlo Leardi
(
Tetra Pak
)
Welcome AISE VVT Working Group
Carlo Leardi
(
Tetra Pak
)
10:00 - 10:15
10:15
Ingegneria di Sistema per Macchine Automatiche Complesse
-
Cesare Fantuzzi
(
UniMORE
)
Ingegneria di Sistema per Macchine Automatiche Complesse
Cesare Fantuzzi
(
UniMORE
)
10:15 - 10:30
KEY STATEMENT: L'ingegneria di Sistema per gestire la complessità del processo di progettazione di macchine e sistemi industriali sempre più performanti e ricchi di fuzionalità: mito o reale opportunità?
10:30
Modelli di innovazione per creare i prodotti del futuro
-
Sergio Terzi
(
PoliMI
)
Modelli di innovazione per creare i prodotti del futuro
Sergio Terzi
(
PoliMI
)
10:30 - 10:45
KEY STATEMENT: in their design process companies have still to understand the potentialities of system-oriented approaches. Test and experimentations are still made too late. Some excellences exist and they can be highlighted as good example to the wider manufacturing and engineering context.
10:45
VST Project: A case study of the VVT process
-
Davide Fierro
VST Project: A case study of the VVT process
Davide Fierro
10:45 - 11:00
KEY STATEMENT: Configuration Control during the Integration phase: a key process for VVT
11:00
Flight hardware test on the two sides of the pond: a researcher perspective.
-
Gianluca Morgante
Flight hardware test on the two sides of the pond: a researcher perspective.
Gianluca Morgante
11:00 - 11:15
KEY STATEMENT:Test better to test less?
11:15
coffee break
coffee break
11:15 - 11:45
11:45
A lean AGILE approach to Service Products Verication and Validation - a case study from a packaging company
-
Gaetano Cutrona
(
Tetrapack
)
Andrea Margini
(
Tetra Pak Packaging Solutions
)
A lean AGILE approach to Service Products Verication and Validation - a case study from a packaging company
Gaetano Cutrona
(
Tetrapack
)
Andrea Margini
(
Tetra Pak Packaging Solutions
)
11:45 - 12:00
KEY STATEMENT: I processi Agile possono facilitare l’introduzione di nuove metodologie di V&V dal mondo accademico direttamente nell’industria?
12:00
Multidisciplinary Design Optimization by Simulation
-
Carlo Poloni
(
ESTECO
)
Multidisciplinary Design Optimization by Simulation
Carlo Poloni
(
ESTECO
)
12:00 - 12:15
KEY STATEMENT:Quale può essere il ruolo della prototipazione virtuale nelle fasi di VVT?
12:15
Agile methodology applicata ad un framework software di sviluppo
-
Luca Fioravanti
(
BLIZZARD
)
Agile methodology applicata ad un framework software di sviluppo
Luca Fioravanti
(
BLIZZARD
)
12:15 - 12:30
KEY STATEMENT:Agile methodology applicata ad un framework software di sviluppo
12:30
Cryowaves e' Bologna
-
Fabrizio Villa
Cryowaves e' Bologna
Fabrizio Villa
12:30 - 12:45
KEY STATEMENT: key knowledge and expertise for key lab and infrastructures
12:45
Close up
-
Sara Ricciardi
(
IASFBO
)
Carlo Leardi
(
Tetra Pak
)
Close up
Sara Ricciardi
(
IASFBO
)
Carlo Leardi
(
Tetra Pak
)
12:45 - 13:00
13:00
Lunch and Poster session
Lunch and Poster session
13:00 - 13:45
13:45
workshop setup
workshop setup
13:45 - 14:05
14:05
conceptual map analysis and revision
-
Carlo Leardi
(
TetraPak
)
conceptual map analysis and revision
Carlo Leardi
(
TetraPak
)
14:05 - 15:05
we will split in groups to analyze and revise a conceptual map designed by organizer and speakers
14:25
coffe available
coffe available
14:25 - 15:05
15:05
Formal Requirements Modeling for Simulation-Based Verification
-
Alfredo Garro
(
DIMES Universita' della Calabria
)
Formal Requirements Modeling for Simulation-Based Verification
Alfredo Garro
(
DIMES Universita' della Calabria
)
15:05 - 15:20
15:20
table 1 presentation
table 1 presentation
15:20 - 15:30
15:30
table 2 presentation
table 2 presentation
15:30 - 15:40
15:40
table 3 presentation
table 3 presentation
15:40 - 15:50
15:50
table 4 presentation
table 4 presentation
15:50 - 16:00
16:00
table 5 presentation
table 5 presentation
16:00 - 16:10
16:10
table 6 presentation
table 6 presentation
16:10 - 16:20
16:20
table 7 presentation
table 7 presentation
16:20 - 16:30
16:30
closure
closure
16:30 - 16:40