@article {Gianni201343,
	title = {Interfacing clearly},
	journal = {GPS World},
	volume = {24},
	number = {4},
	year = {2013},
	note = {cited By 0},
	pages = {43-49},
	abstract = {<p>The EOS will provide ranging capabilities and will enable receiver manufacturers to begin to design and test their technological solutions for Galileo receivers and Galileo overlay services, such as search and rescue. Specifically, the MBSE approaches enable the designer to effectively trace the requirements and design alternatives on the descending branch of the {\textquoteright}V.{\textquoteright} For the same characteristics, MBSE facilitates the verification through a model repository that interconnects not only the design products, but also the stakeholders involved in the entire process. In addition, MBSE approaches support the automatic generation of the documentation and of other artifacts, particularly software. Using a model-based approach, it becomes easier to establish links between interface elements and the functional blocks in the receiver schema. Moreover, these links can also be decorated with a number of properties that can be used to further describe the type of the relationship between the interface element and the functional block.</p>},
	keywords = {Design, EOS, Galileo mission, numerical model, software, testing method},
	issn = {10485104},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84875715111\&partnerID=40\&md5=77f2829972af0bea2ef584ad5f664aec},
	author = {Gianni, D. and Lisi, M. and De Simone, P. and Andrea D{\textquoteright}Ambrogio and Luglio, M.}
}
@conference {Gianni20122705,
	title = {Model-based interface specification for systems integration in systems of systems engineering},
	booktitle = {22nd Annual International Symposium of the International Council on Systems Engineering, INCOSE 2012 and the 8th Biennial European Systems Engineering Conference 2012, EuSEC 2012},
	volume = {4},
	year = {2012},
	note = {cited By 2},
	pages = {2705-2717},
	abstract = {The key to enable systems integration is that systems inter-communications are accurately and unambiguously specified. In line with ongoing Model-based Systems Engineering (MBSE) initiatives aiming to support systems engineering activities by means of formal and graphical models, we have introduced a logical model for the definition of Interface Communication Modelling Language (ICML), to enable a model-based approach for interface specification. ICML is based on UML and can potentially be integrated with other systems models in similar forms, e.g., SySML, and with systems of systems models in UPDM or related frameworks. We have designed ICML basing on a preliminary domain analysis on radio signal specifications, with application to space systems. In the analysis, we have specifically considered simple digital and unidirectional signals, and subsequently we have included a method to use ICML for Time-Division Multiplexed signals. We also present an excerpt of the ICML metamodel and a simple example application. {\textcopyright} 2012 by Daniele Gianni et al.},
	keywords = {Engineering activities, Interface specification, Model based approach, Model-based systems engineering (MBSE), Modelling language, Multiplexed signals, Specifications, Systems engineering, Systems integration, Systems of systems},
	isbn = {9781622769162},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84884132292\&partnerID=40\&md5=137b25c099fd2308a19460fd8ff866b8},
	author = {Gianni, D. and Andrea D{\textquoteright}Ambrogio and De Simone, P. and Lisi, M. and Luglio, M.}
}
@conference {Gianni2012,
	title = {A model-based Signal-In-Space interface specification to support the design of Galileo receivers},
	booktitle = {6th ESA Workshop on Satellite Navigation Technologies: Multi-GNSS Navigation Technologies Galileo{\textquoteright}s Here, NAVITEC 2012 and European Workshop on GNSS Signals and Signal Processing},
	year = {2012},
	note = {cited By 1},
	abstract = {The design and development of Galileo receivers will be a key factor to determine the market approach and penetration. The massive use of the Galileo services will be impacted, as well as the estimated economical return of the Galileo linked activities. In general, GNSS receivers use similar mathematical models for the computation of the global positioning from a standard parameter set. However, receivers design and implementation solutions are often inherently dependent on the specific parameter representations defined in the Signal-In-Space (SIS) interface specifications. In this paper, we introduce Interface Communication Modeling Language (ICML) as a model-based approach for the SIS interface specification to support the engineering of Galileo receivers. We argue that a model-based specification can potentially bring several technical benefits to the design of Galileo receivers, including support for specification communication among stakeholders, reuse and adaptation of existing GPS software and chipsets, and receiver-side multi GNSS interoperability, for example. As a result, a model-based SIS interface specification can contribute to increase the use of the Galileo services by reducing the impact of the technical factors leading to the extra costs. In the paper, we present the overall layout of the ICML language and preliminary applications. In particular, we present a simplified excerpt of a Galileo-like SIS specification and functional schema of GNSS receivers and show how the ICML-based specification can support the design of Galileo receivers. An important caveat: no endorsement is made for the use of the ICML language for the official Galileo SIS interface specification. {\textcopyright} 2012 IEEE.},
	keywords = {Communication, Computer software reusability, Design, GALILEO, Global positioning system, Information theory, Interface control documents, Interface specification, Mathematical models, Model-based systems engineering, Receivers (containers), Signal processing, Signal receivers, Specifications, SysML, Technology, UML},
	isbn = {9781467320115},
	doi = {10.1109/NAVITEC.2012.6423066},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84874274251\&partnerID=40\&md5=c5bbcc7395ef038a87c8dcbae3e8f360},
	author = {Gianni, D. and Lisi, M. and De Simone, P. and Andrea D{\textquoteright}Ambrogio and Luglio, M.}
}
