Model-driven design of the IVEF Service for Vessel-Traffic

Model-driven design of the IVEF Service for Vessel-Traffic Management Systems

Scuola Politecnica e delle Scienze di Base

Corso di Laurea Magistrale in Ingegneria Informatica

tesi di laurea magistrale

relatore

Ch.mo Prof. Stefano Russo

correlatori

Dott.ssa Anna Ottaiano, Selex ES

Ing. Fabio Scippacercola

candidato

Giulio Merolla

Matr. M63/137

Model-driven design of the IVEF Service for Vessel-Traffic

Management Systems interoperability

Anno Accademico 2014-2015




This thesis has been conducted in collaboration with Selex ES and CINI

The work has been developed within the DISPLAY-FARM training project,

accompanying the industrial research project “DISPLAY – Distributed HybrId

Simulation PLAtform for ATM and VTS sYstems” (PON02_00485_3487784)

of the Public-Private Laboratory COSMIC (PON02_00669)




Software development for large-scale industrial systems is

complex and expensive

Model-Driven Architecture (MDA) from OMG “promises” to bring

several improvements in terms of:

Context

Efficient use of models

Reuse

Interoperability

Lower time-to-market

High quality

MDA doesn’t provide any clue on how to integrate these techniques

within existing software development cycle

An open challenge, for companies, remains on how to effectively

adapt their existing domain-specific development process to include

MDA techniques




Analysis of the specific domain of the Software Development

Process adopted by Selex ES

Analysis of the MDA process currently adopted by Selex ES

Propose a new MDA solution that introduces improvements over the

existing Selex ES MDA approach

Demonstration of the proposed MDA process in the context of a real

case study developed with Selex ES within the DISPLAY-FARM

training project

Goals




The Software process is a set of models and transformations at

different abstraction levels

Model Driven Architecture




Additional techniques must be

undertaken to assure:

High quality

Low costs

Low risks

V&V are a critical part of

Software Engineering

The V-Model helps achieving

these objectives

Introducing early-stages V&V

Industrial Software process for large-scale systems




Military-Standard-498: a V-Model software development standard

System Engineering oriented

Document centric

The MIL-STD-498 standard




The Selex-MDA modeling process

Models the PIM, PSM and ISM viewpoints

Additional abstraction layers introduced to

reduce complexity:

L0, L1 and L2

The system is modeled with UML diagrams

Structural diagrams decompose the

system capabilities into functions

Behavioral diagrams model the dynamic

behavior of each function

MDA tools are used for automatic generation of the application structural code

Behavioral UML diagrams drive the manual generation of the dynamic behavior




Improving the Selex-MDA: the DISPLAY-MDA

Introducing the CIM viewpoint

A pure behavioral description

Very close to the stakeholders point

of view

Produce solid requirements

Useful for Acceptance Test Plan

preparation

Models the system environment

Introducing the use of advanced MDA tool features

Model Animation/Simulation

Design-level debugging

Model-in-the-loop testing

Hybrid Model Simulation

Models interacting with real applications

Introducing the SysML language

Fills the gap between Software and System

Engineering

Requirement Diagrams

Enhanced requirement traceability

Introducing model-driven testing

Automation of SW testing




The Inter-VTS Exchange Format (IVEF) Service

A framework for the exchange of maritime information between VTS systems

An ongoing standardization effort (IALA Recommendation V-145)

The Case study




System Requirements Specification (CIM)

SysML Requirement Diagrams Functional and non-functional requirement modeling

UML/SysML Behavioral Diagrams System Capabilities modeling

External e-Navigation System

External IVEFSystemExternal

VTS System

e-Navigation System

Display IVEF System VTS System

Human Operator

VTS data (VTS-specific interface & data format);

IVEF Protocol (Recommendation V-145)




System Design (PIM L0)

The system has been broken down into two CSCI:

IvefHci

IvefGateway

SysML requirement stereotype Traceability to System Requirements

UML Structural Diagrams System internal & external interface;

System Data Model

UML/SysML Behavioral Diagrams Use Case realization design




IvefGateway CSCI: Component Design (PIM L1)

UML Structural Diagrams Internal Structure Design

UML Behavioral Diagrams Use Case detailed realization design

Internal elements behavior modeling

SysML requirement stereotype Traceability to System Requirements




IvefGateway CSCI: Hybrid Model simulation

Hybrid Model Simulation for early stage testing Exploiting PIM L1 behavioral diagrams & MDA

features of IBM Rhapsody

Linking UML models to a real application

Design flaws have been identified on the real non-

MDA implementation of the IvefGateway CSCI:

Requirement IVEF_SSS_SHB_0070 not met

Software aging bug related to the PostgreSQL

database

Hybrid Simulation test architecture




Several areas of improvement identified over the Selex-MDA

approach

Modeling the Computation-Independent Viewpoint

Introduce the SysML modeling language

Make the best use of MDA automatic tools

For Early detection of design faults

To produce better application code

Conclusions

Documents

Model-driven design of the IVEF Service for Vessel-Traffic