| Vol-2010 urn:nbn:de:0074-2010-6 Copyright © 2017 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# CIISE 2017
INCOSE Italia Conference on Systems Engineering

### Proceedings of the 3rd INCOSE Italia Conference on Systems Engineering

### Naples, Italy, November 22-24, 2017.

Edited by

### Davide Fierro (1)
Alfredo Garro (2)
Guido Guizzi (3)
Lucio Tirone (4)
Andrea Tundis (5)

(1) National Institute of Astrophysics, Italy
(2) University of Calabria, Rende (CS), Italy
(3) University of Naples "Federico II", Naples (NA), Italy
(4) Aster, Italy
(5) Technische Universität Darmstadt,Darmstadt, Germany

## 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

2017-11-29: submitted by Andrea Tundis, metadata incl. bibliographic data published under Creative Commons CC0
2017-11-29: published on CEUR-WS.org |valid HTML5|