GPS World, April 2013

System Design Test INNOVATION FIGURE 8 Navigation data decoder internal block diagram FIGURE 9 Linking level 3 elements to the navigation data decoder block definition Conclusions Galileo receivers may face market barriers that are inherently raised by the costs linked with the introduction of new technologies with respect to the existing GPS ones In this article we have advocated that a model based 66 LQWHUIDFH VSHFL FDWLRQ FDQ KHOS mitigate possible extra costs in several ways For example the model based interface specification can ease the communication among stakeholders promote the reuse and adaptation of existing GPS software and chipsets and support the implementation of receiver side multi GNSS interoperability With the objective of supporting model based interface specifications we have designed ICML which has been provided ZLWK D 80 SUR OH LPSOHPHQWDWLRQ in an open source modeling tool We have also shown an excerpt of a possible model based specification IRU D VLPSOL HG DOLOHR 26 LQWHUIDFH Moreover we have outlined how the model based specification can integrate with SysML models of GNSS receivers and support the reuse and adaptation of existing solutions A SUHOLPLQDU LGHQWL FDWLRQ RI SRWHQWLDO H SORLWDWLRQV DQG IXUWKHU EHQH WV LV also included Further research is ongoing to generalize the existing ICML language to more complex types of SIS interfaces Acknowledgments The authors would like to thank the students Serena Annarilli and Carlo Di Bartolomei University of Rome Tor Vergata for implementing the UVW SURWRW SH YHUVLRQ RI WKH 0 SUR OH 7KH DXWKRUV ZRXOG DOVR OLNH to thank Marco Porretta European Space Agency ESA European Space Research and Technology Centre ESTEC for the suggestions of the GNSS example The ICML project has been partially sponsored by the ESA Summer of Code in Space Initiative edition 2012 No endorsement is made IRU WKH XVH RI 0 IRU WKH RI FLDO DOLOHR 66 LQWHUIDFH VSHFL FDWLRQ DANIELE GIANNI is currently a requirement engineering consultant at EUMETSAT in Germany EUMETSAT is the European operational satellite agency for monitoring weather climate and the environment Gianni received a Ph D in computer and control engineering from University of Rome Tor Vergata Italy in the field of modeling and simulation in 2007 He has previously held research appointments at ESA Imperial College and Oxford University MARCO LISI is currently the GNSS services engineering manager in ESAs Directorate of Galileo Programme and Navigation Related Activities at ESTEC in Noordwijk The Netherlands He was previously responsible for system engineering operations and security activities in the Galileo project He is also a special advisor to the European Commission on European space policies Lisi has over thirty years of working experience in the aerospace and telecommunication sectors holding management positions in R D and being directly involved in a number of major satellite programs including Artemis Meteosat Operational Meteosat Second Generation Globalstar Cosmo Skymed and more recently Galileo PIERLUIGI DE SIMONE is currently working on system assembly integration and verification for the Galileo mission in ESA He has worked on many software developments in the fields of graphics safe mode software and visual programming He has worked on many space missions including Helios Meteosat Metop Cosmo Skymed and Galileo His main interests are in modeling paradigms and cryptography and he holds a masters degree in physics from University of Rome Tor Vergata ANDREA DAMBROGIO is associate professor of computer science at the University of Rome Tor Vergata He has formerly been a research associate at the Concurrent Engineering Research Center of West Virginia University in Morgantown West Virginia His research interests are in the areas of engineering and validation of system performance and dependability modeldriven systems and software engineering and distributed simulation MICHELE LUGLIO is associate professor of telecommunication at University of Rome Tor Vergata He works on designing satellite systems for multimedia services both mobile and fixed He received the Ph D degree in telecommunications in 1994 MORE ONLINE Further Reading For references related to this article go to gpsworld com and click on Innovation in the navigation bar www gpsworld com April 2013 GPS World 49

View the Covers and the Table of Contents pages from every issue of this publication, all gathered together for easy browsing. Just flip pages and zoom as you normally do to see each issue's Cover and Table of Contents, then follow links directly to interesting content.