Smart sensor protocol-a new standard for UAV and payload integration

2014 International Conference on Unmanned Aircraft Systems, ICUAS 2014 - Conference Proceedings

Volumn , Issue , 2014, Pages 1300-1310

  Pires, Rayner M ^a   Chaves, Arthur A ^a   Branco, Kalinka R L J C ^a  

^a UNIVERSITY OF SÃO PAULO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

AIRCRAFT; SENSOR ARRAYS; SMART SENSORS;

AUTONOMOUS BEHAVIORS; INTERNAL SYSTEMS; LAYERED APPROACHES; MARKET VALUES; MISSION-ORIENTED; NEW APPLICATIONS; STATE DIAGRAM; TESTING TOOLS;

FLIGHT CONTROL SYSTEMS;

EID: 84904581038     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICUAS.2014.6842388     Document Type: Conference Paper

References (36)

1. K. Cook, "The silent force multiplier: The history and role of UAVs in warfare," in Aerospace Conference, 2007 IEEE. IEEE, March 2007, pp. 1-7.
2. J. Sullivan, "Revolution or evolution? the rise of the UAVs," in Proc. 2005 International Symposium on Technology and Society. Weapons and Wires: Prevention and Safety in a Time of Fear. IEEE, Jun. 2005, pp. 94-101.
3. Teal Group Corporation. (2013, Jun. 17) Teal group predicts worldwide UAV market will total $89 billion in its 2013 UAV Market Profile and Forecast. Electronic. Paris, FR. [Online]. Available: http://tealgroup.com/ index.php/about-teal-group-corporation/press-releases/94-2013-uav-press-release
4. Strategic Defence Intelligence, "The global UAV payload market 2012-2022," RnR Market Research, Tech. Rep., Dec. 2012.
5. R. M. Pires, D. Rodrigues, K. R. L. J. C. Branco, and O. Trindade Jr, "MOSA-mission oriented sensors array: a proposal," in Proc. XXXVII Conferencia Latinoamericana de Inforḿatica-CLEI, Quito, Ecuador, 2011, pp. 1309-1318.
6. J. Mica and J. F. Costello, "Unmanned aircraft systems: Federal actions needed to ensure safety and expand their potential uses within the national airspace system," GAO-08-511, U.S. Government Accountability Office, Washington, DC 20548, May 2008. [Online]. Available: http://www.gao.gov/products/GAO-08-511
7. O. Trindade Jr, L. C. P. Barbosa, L. D. O. Neris, and L. A. C. Jorge, "A mission planner and navigation system for the ARARA project," 23rd ICAS-Congress of International Council of the Aeronautical Sciences, Sep.8-13 2002.
8. O. Trindade Jr, L. de Oliveira Neris, L. C. P. Barbosa, and K. R. L. J. C. Branco, "A layered approach to design autopilots," in IEEE International Conference on Industrial Technology-ICIT, Mar. 2010, pp. 1415-1420.
9. E. C. Aldridge Jr and J. P. Stenbit, "Unmanned aerial vehicles roadmap 2002-2027," US Department of Defense (DoD), Report, Dec. 2002.
10. S. A. Cambone, K. J. Krieg, P. Pace, and L. WellsII, "Unmanned aircraft systems roadmap 2005-2030," US Department of Defense (DoD), Report, Aug. 2005.
11. J. R. Clapper Jr, J. J. Young Jr, J. E. Cartwright, and J. G. Grimes, "Unmanned systems roadmap 2007-2032," US Department of Defense (DoD), Report, Jan. 2007.
12. J. R. Clapper Jr, J. J. Young Jr, J. E. Cartwright, J. G. Grimes, S. C. Payton, S. J. Stackley, and D. Popps, "Unmanned systems integrated roadmap fy20092034," US Department of Defense (DoD), Report, Apr. 2009.
13. M. B. Donley and N. A. Schwartz, "United states air force unmanned aircraft systems flight plan 2009-2047," United States Air Force, Whashington, DC, Report, May 2009.
14. K. P. Valavanis, Advances In Unmanned Aerial Vehicles: State Of The Art And The Road to Autonomy, ser. International series on intelligent systems, control, and automation. Springer, 2007, vol. 33.
15. K. Branco, J. Pelizzoni, L. Oliveira Neris, O. Trindade, F. Osorio, and D. Wolf, "Tiriba-a new approach of UAV based on model driven development and multiprocessors," in Robotics and Automation (ICRA), 2011 IEEE International Conference on, vol. , no. , May 2011, pp. 1-4.
16. O. Trindade Jr, L. A. C. Jorge, and J. G. B. Aguiar, "Field of dreams-using UAVs for precision farming," Unmanned Systems Magazine, pp. 35-39, Nov./Dec. 2004.
17. K. C. Thramboulidis, G. Doukas, and G. Koumoutsos, "A SOA-based embedded systems development environment for industrial automation," EURASIP J. Embedded Syst., vol. 2008, pp. 3:1-3:15, Jan. 2008.
18. D. Rodrigues, J. C. Estrella, M. Vieira, J. B. Camargo Jr, K. R. L. J. C. Branco, and O. Trindade Jr, "Service-oriented architectures for complex safety-critical embedded systems: a case study on UAVs," in Proc. I Brazilian Conference on Critical Embedded Systems-CBSEC, Sao Carlos-SP, Brazil, 2011, p. 130.
19. SUN, "Jini architecture specification," Sun Microsystems, Palo Alto, Tech. Rep., 2011, 26p.
20. Microsoft, "Understanding universal plug and play: White paper," Microsoft Corporation, Redmond, Tech. Rep., 2000, 45p.
21. CEBus Industry Council, "HomePNPTM specification version 1.0," HomePlug&PlayTM: CAL-Based Interoperability for Home Systems, Indianapolis, Ind, pp. 1-111, 1998.
22. DLNA Organization, "Volume 1: Architectures and protocols," in DLNA Networked Device Interoperability Guidelines, Mar. 2006, vol. 1, p. 594.
23. G. S. Hura and M. Singhal, Data and computer communications: networking and internetworking. Boca Raton, FL, USA: CRC Press, Inc., 2001.
24. G. Behrmann, A. David, and K. G. Larsen, "A tutorial on UPPAAL," in Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ser. Lecture Notes in Computer Science, M. Bernardo and F. Corradini, Eds. Bertinora, Italy: Springer Berlin Heidelberg, September 2004, vol. 3185, pp. 200-236, revised Lectures.
25. A. Ravn, S. Vighio, and J. Srba, "A formal analysis of the web services atomic transaction protocol with uppaal," in Proceedings of the 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'10). Springer-Verlag, 2010.
26. A. Ravn, J. Srba, and S. Vighio, "Modelling and verication of web services business activity protocol," in Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2010.
27. A. Hessel and P. Pettersson, "Model-based testing of a WAP gateway: an industrial study," in Proceedings of FMICS and PDMC 2006, LNCS 4346, 2006.
28. B. Bordbar, R. Anane, and K. Okano, "An evaluation mechanism for QoS management in wireless systems," in proceedings of the 11th International Conference on Parallel and Distributed Systems, ICPADS 2005, vol. II, 2005, pp. 150-154.
29. J. Bengtsson, W. O. D. Griffioen, K. J. Kristoffersen, K. G. Larsen, F. Larsson, P. Pettersson, and W. Yi, "Automated analysis of an audio control protocol using UPPAAL," Journal of Logic and Algebraic Programming, vol. 52-53, pp. 163-181, Jul./Aug. 2002. [Online]. Available: http://www.it.uu.se/ research/group/darts/papers/texts/bgkllpw-jlap02.pdf
30. M. Lindahl, P. Pettersson, and W. Yi, "Formal Design and Analysis of a Gearbox Controller," Springer International Journal of Software Tools for Technology Transfer (STTT), vol. 3, no. 3, pp. 353-368, 2001.
31. A. David and W. Yi, "Modelling and analysis of a commercial field bus protocol," in Proceedings of the 12th Euromicro Conference on Real Time Systems. IEEE Computer Society, 2000, pp. 165-172.
32. M. Lindahl, P. Pettersson, and W. Yi, "Formal Design and Analysis of a Gear-Box Controller," in Proc. of the 4th Workshop on Tools and Algorithms for the Construction and Analysis of Systems, ser. Lecture Notes in Computer Science, vol. , no. 1384. Springer-Verlag, Mar. 1998, pp. 281-297.
33. H. Lonn and P. Pettersson, "Formal Verification of a TDMA Protocol Startup Mechanism," in Proc. of the Pacific Rim Int. Symp. on Fault-Tolerant Systems, Dec. 1997, pp. 235-242.
34. K. Havelund, A. Skou, K. G. Larsen, and K. Lund, "Formal modelling and analysis of an audiovideo protocol: An industrial case study using uppaal," in Proceedings of the 18th IEEE Real-Time Systems Symposium, San Francisco, California, USA, 3-5 December 1997, pp. 2-13.
35. A. Galton, "Temporal logic," in The Stanford Encyclopedia of Philosophy, Fall 2008 ed., E. N. Zalta, Ed., 2008. [Online]. Available: http://plato.stanford.edu/archives/fall2008/entries/logic-temporal/
36. UPPAAL Team, "UPPAAL: About," http://www.it.uu.se/research/ group/darts/uppaal/about.shtml, nov 2013.