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