Smart Sensor Protocol - a new standard for UAV and payload integration

Due to the unmanned aerial vehicles versatility, the remarkable and growing use of these aircrafts nowadays has driven not only the expectations of that market values but also the amount of research in several related areas. Following forecasts of specialized roadmaps, these vehicles must evolve regarding both the maturity of the technology and the level of autonomous behavior. The organization of all the internal systems as a layered approach can make this evolution easier. Thus, by using the Mission-Oriented Sensors Array (MOSA) to decouple the mission from the aircraft control systems, the development of new applications for these vehicles can be benefited. Then the Smart Sensor Protocol (SSP) was developed in order to connect MOSA to UAV. All the grammar of the protocol was written using the Backus-Naur Form (BNF) and the communication over the SSP was modeled in UPPAAL tool using state diagrams. In this testing tool the system was mathematically described and tested using temporal logic rules.

[1]  Wang Yi,et al.  Modelling and analysis of a commercial field bus protocol , 2000, Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000.

[2]  Kim G. Larsen,et al.  A Tutorial on Uppaal , 2004, SFM.

[3]  Paul Pettersson,et al.  Model-Based Testing of a WAP Gateway: , 2006 .

[4]  Fernando Santos Osório,et al.  Tiriba - a new approach of UAV based on model driven development and multiprocessors , 2011, 2011 IEEE International Conference on Robotics and Automation.

[5]  Wang Yi,et al.  Automated verification of an audio-control protocol using UPPAAL , 2002, J. Log. Algebraic Methods Program..

[6]  Mukesh Singhal,et al.  Data and Computer Communications: Networking and Internetworking , 2001 .

[7]  Onofre Trindade,et al.  A layered approach to design autopilots , 2010, 2010 IEEE International Conference on Industrial Technology.

[8]  Behzad Bordbar,et al.  An Evaluation Mechanism for QoS Management in Wireless Systems , 2005, 11th International Conference on Parallel and Distributed Systems (ICPADS'05).

[9]  Antony Galton.  Temporal Logic , 2007, Handbook of Dynamic System Modeling.

[10]  Wang Yi,et al.  Formal design and analysis of a gear controller , 1998, International Journal on Software Tools for Technology Transfer.

[11]  Kimon P. Valavanis,et al.  Advances in Unmanned Aerial Vehicles , 2007 .

[12]  Abdulaziz Al-Humam,et al.  Service-oriented architectures for safety-critical systems , 2015 .

[13]  Kim G. Larsen,et al.  Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL , 1997, Proceedings Real-Time Systems Symposium.

[14]  Anders P. Ravn,et al.  A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL , 2010, ISoLA.

[15]  Wang Yi,et al.  Automated Analysis of an Audio Control Protocol Using UPPAAL , 2002 .

[16]  Kleanthis Thramboulidis,et al.  A SOA-Based Embedded Systems Development Environment for Industrial Automation , 2008, EURASIP J. Embed. Syst..

[17]  K.L.B. Cook,et al.  The Silent Force Multiplier: The History and Role of UAVs in Warfare , 2007, 2007 IEEE Aerospace Conference.

[18]  H. Lonn,et al.  Formal verification of a TDMA protocol start-up mechanism , 1997, Proceedings Pacific Rim International Symposium on Fault-Tolerant Systems.

[19]  Anders P. Ravn,et al.  Modelling and Verification of Web Services Business Activity Protocol , 2011, TACAS.

[20]  Kimon P. Valavanis,et al.  Advances in Unmanned Aerial Vehicles: State of the Art and the Road to Autonomy , 2007 .

[21]  Microsystems Sun,et al.  Jini^ Architecture Specification Version 2.0 , 2003 .

[22]  O Jr.,et al.  A MISSION PLANNER AND NAVIGATION SYSTEM FOR THE ARARA PROJECT , 2002 .

[23]  Gerald L. Dillingham,et al.  Unmanned Aircraft Systems: Federal Actions Needed to Ensure Safety and Expand Their Potential Uses Within the National Airspace System , 2008 .

[24]  Alasdair Urquhart,et al.  Temporal Logic , 1971 .

[25]  Jeffrey M. Sullivan,et al.  Revolution or evolution? The rise of the UAVs , 2005, Proceedings. 2005 International Symposium on Technology and Society, 2005. Weapons and Wires: Prevention and Safety in a Time of Fear. ISTAS 2005..