CIISE 2017
INCOSE Italia Conference on Systems Engineering

Table of Contents

• Preface
  
  

Session 1: Safety and Reliability Engineering

• Service Reliability And Availability Model With Petri Nets: A New Hybrid Approach For Service Availability 06-13
  Lucrezia Palummo, Rachele Meriggiola, Emanuele Guidolotti, Damiano De Luca
• Model-based Reliability And Safety Analysis, Fosters Agility In Design Of Mission-Critical Systems 14-22
  Carmelo Tommasi, Nerijus Jankevicius, Andrius Armonas
• Functional Human Reliability Analysis: A Systems Engineering Perspective 23-29
  Fabio De Felice, Federico Zomparelli, Antonella Petrillo

Session 2: Systems Design

• Integrated Requirements Baseline Management For Complex Software Systems 30-37
  Sergio Funtò
• Methodology For The Definition Of The Preliminary Architecture Of A Smart Energy System (SES) 38-44
  Gaetano D’Altrui, Lucio Tirone, Rosa Esposito, Marco Massenzi, Giuseppe Lentini
• Application Of The Unified Architecture Framework For The Definition Of A Generic System Architecture Of A Combat System 45-53
  Lucio Tirone, Claudia Agostinelli, Paolo Petrinca, Emanuele Guidolotti, Lorenzo Fornaro, Manuela Nardini, Simeone Maria Solazzi
• Formal Modeling Of System Properties For Simulation-based Verification Of Requirements: Lessons Learned 54-61
  Francesco Aiello, Alfredo Garro, Yves Lemmens, Stefan Dutré

Session 3: Program Management and Systems Engineering Integration

• Can VVT Capabilities Mitigate Programs Pmplosion? How To Sustain Complexity Increase By VVT Capabilities 62-66
  Carlo Leardi
• The Square Kilometre Array: An International Project To Realize The World’s Largest Radio Telescope 67-71
  Corrado Trigilio
• The Cynefin Framework And The Technical Leadership: How To Handle The Complexity 72-81
  Davide Fierro, Stefano Putino, Lucio Tirone

Session 4: Industrial Applications

• Fleets Management Of Cooperative Connected Automated Vehicles In Manufacturing Processes 82-86
  Marco Di Vaio, Guido Guizzi, Alberto Petrillo, Stefania Santini
• A Cloud-based Service-oriented Architecture For Business Process Modeling And Simulation 87-93
  Paolo Bocciarelli, Andrea D’Ambrogio, Emiliano Paglia, Tommaso Panetti, Andrea Giglio
• On The Architecture Scheduling Problem Of Industry 4.0 94-100
  Guido Guizzi, Silvestro Vespoli, Stefania Santini

Session 5: Short Paper, Poster and Extended Abstracts

• Systemic Risk Analysis Through SE Methods And Techniques 101-104
  Andrea Tundis, Alfredo Garro, Teresa Gallo, Domenico Saccá , Simona Citrigno, Sabrina Graziano , Max Mühlhäuser
• Distribution, Reuse And Interoperability Of Simulation Models In Heterogeneous Distributed Computing Environments 105-108
  Alberto Falcone
• Operational Scenarios Of The EarthCARE Mission 109-112
  Elisabetta Giuliani
• Formal Modeling Of System Properties For Simulation-based Verification Of Requirements: An Integrated Tool-chain And Its Application To The Aerospace Context
  (Modellazione Formale Di Proprietà Di Sistema Per La Verifica Dei Requisiti Mediante Simulazione: Una Soluzione Integrata Ed Una Sua Applicazione In Ambito Aerospaziale) 113-116
  Francesco Aiello