Skip to main content
Skip to article control options
No AccessFull-Length Paper

Modeling Autonomous Systems

Published Online:https://doi.org/10.2514/1.I010039

Middleware designed to describe sensing, control, and computational communications of components within unmanned systems enables the creation of clean interfaces between the low-level mechanics of such systems and the higher-level logic designed to control them. This paper presents a modeling environment with a domain-specific ontology for autonomous systems, capable of generating software necessary for intercomputer communications according to existing autonomous systems middleware standards. Metamodels are used to specify the domain-specific modeling language to model the messages used, the interfaces between components, and some of the functionality of the components that transmit and receive messages. The generated code supports the high data rates expected in autonomous systems that use lossy message compression. Tests for the messaging infrastructure are also generated for the messages. Also, using this research, this code generation process can be extended to any component-based platform with a similar ontology. The case study and test environment for the software generated by this project is an autonomous ground vehicle, modeled on a Ford Escape Hybrid and used in laboratory experiments.

References

  • [1] Lee E. A., “The Problem with Threads,” Computer, Vol. 39, No. 5, 2006, pp. 33–42. doi:https://doi.org/10.1109/MC.2006.180 CPTRB4 0018-9162 CrossrefGoogle Scholar

  • [2] The Joint Architecture for Unmanned Systems: Version 3.3,” Society for Automotive Engineers Reference Architecture Specification, AS-4B Network Environmental Committee, AS-4C Information Modeling and Definition Committee, and AS-4A Architecture Framework Committee, Warrendale, PA, June 2007. Google Scholar

  • [3] Spence F. D., “Unmanned Advanced Capability Aircraft and Ground Combat Vehicles,” Specifically it can be found in the National Defense Authorization Act for Fiscal Year 2001 Title II Subtitle B, Section 220, U.S. House Committee on Armed Services, 2001, pp. 42–44. Google Scholar

  • [4] Schuster A. and Sprinkle J., “Synthesizing Executable Simulations from Structural Models of Component-Based Systems,” Electronic Communications of the European Association of Software Science and Technology (EASST) [online journal], Vol. 21, No. 1, 2009. doi:https://doi.org/10.1007/s11334-010-0139-7 Google Scholar

  • [5] Gokhale A., Schmidt D., Lu T. and Natarajan B., “CoSMIC: An MDA Generative Tool for Distributed Real-Time and Embedded Applications,” International Conference on Distributed Systems Platforms and Open Distributed Processing/Open Distributed Processing: Middleware(ODP), 2003, pp. 300–306. Google Scholar

  • [6] Gokhale A., Balasubramanian K. and Lu T., “CoSMIC: Addressing Crosscutting Deployment and Configuration Concerns of Distributed Real-Time and Embedded Systems,” Companion to the 19th annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, Association for Computing Machinery, New York, NY, 2004, pp. 218–219. Google Scholar

  • [7] Jackson J., “Microsoft Robotics Studio: A Technical Introduction,” IEEE Robotics and Automation Magazine, Vol. 14, No. 4, 2007, pp. 82–87. doi:https://doi.org/10.1109/M-RA.2007.905745 IRAMEB 1070-9932 CrossrefGoogle Scholar

  • [8] Szyperski C., Component Software: Beyond Object-Oriented Programming, 2nd ed., Addison Wesley Longman, Boston, MA, 2002. Google Scholar

  • [9] Henning M., “The Rise and Fall of CORBA,” Communications of the ACM, Vol. 51, No. 8, 2008, pp. 52–57. doi:https://doi.org/10.1145/1378704 CACMA2 0001-0782 CrossrefGoogle Scholar

  • [10] Brooks A., Kaupp T., Makarenko A., Williams S. and Orebäck A., “Orca: A Component Model and Repository,” Software Engineering for Experimental Robotics, Springer-Verlag, Berlin, 2007, pp. 231–251. CrossrefGoogle Scholar

  • [11] Paunicka J., Corman D. and Mendel B., “A CORBA-Based Middleware Solution for UAVs,” Fourth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2001, IEEE, Piscataway, NJ, 2001, pp. 261–267. Google Scholar

  • [12] Schmidt D. and Huston S., C++ Network Programming: Systematic Reuse with ACE and Frameworks, Vol. 2, Addison Wesley, Reading, MA, 2002. Google Scholar

  • [13] Paunicka J., Mendel B. and Corman D., “The OCP: An Open Middleware Solution for Embedded Systems,” Proceedings of the 2001 American Control Conference, 2001, Vol. 5, IEEE, Piscataway, NJ, 2001, pp. 3445–3450. Google Scholar

  • [14] Paunicka J. L., Mendel B. R. and Corman D. E., Open Control Platform: A Software Platform Supporting Advances in UAV Control Technology, Wiley, New York, NY, 2005, pp. 39–62. Google Scholar

  • [15] Eklund J. M., Sprinkle J., Templeton T. and Sastry S. S., “Transitioning Intelligence to Embedded Platforms,” AVT-146 Symposium on “Platform Innovations and System Integration for Unmanned Air, Land and Sea Vehicles, Applied Vehicle Technology, NATO, May 2007, pp. 23-1–23-6. Google Scholar

  • [16] Gill H. and Bay J., The SEC Vision, Wiley, New York, NY, 2005, pp. 1–8. Google Scholar

  • [17] Balas G., “Software-Enabled Control HWIL and Flight Tests,” Aerospace Control and Guidance Systems Committee Meeting 95, 1995. Google Scholar

  • [18] Keviczky T. and Balas G., “Flight Test of a Receding Horizon Controller for Autonomous UAV Guidance,” Proceedings of the 2005 American Control Conference, Vol. 5, IEEE, Piscataway, NJ, June 2005, pp. 3518–3523. Google Scholar

  • [19] Eklund J. M., Sprinkle J. and Sastry S. S., “Switched and Symmetric Pursuit/Evasion Games with Online Model Predictive Control,” IEEE Transactions on Control Systems Technology, Vol. 20, No. 3, 2012, pp. 604–620. doi:https://doi.org/10.1109/TCST.2011.2136435 IETTE2 1063-6536 CrossrefGoogle Scholar

  • [20] Evans C., “Development of a Geospatial Data Sharing Method for Unmanned Vehicles Based on the Joint Architecture for Unmanned Systems (JAUS),” M.S. Thesis, Univ. of Florida, Gainesville, FL, 2005. Google Scholar

  • [21] Touchton R., Kent D. and Galluzzo T., “Planning and Modeling Extensions to the Joint Architecture for Unmanned Systems (JAUS) for Application to Unmanned Ground Vehicles,” SPIE Defense and Security Symposium, SPIE, 2005. Google Scholar

  • [22] JAUS Tool Set: Interoperability for Unmanned Systems,” 2010, http://jaustoolset.org/ [retrieved 11 March 2013]. Google Scholar

  • [23] JAUS++ User Documentation, 2nd ed., Univ. of Central Florida ACTIVE Laboratory, Orlando, FL, 2010, http://active-ist.sourceforge.net/jaus++.php?menu=jaus [retrieved 11 March 2013]. Google Scholar

  • [24] Rep Invariant JAUS SDK, 1st ed., Rep Invariant Systems, Inc., Cambridge, MA, Sept. 2010, http://www.jaybridge.com/dist/ri-jaus/1.0/ri-jaus.html [retrieved 11 March 2013]. Google Scholar

  • [25] Faruque R. R., “A JAUS Toolkit for LabVIEW, and a Series of Implementation Case Studies with Recommendations to the SAE AS-4 Standards Committee,” M.S. Thesis, Virginia Polytechnic Inst. and State Univ., Blacksburg, VA, Dec. 2006. Google Scholar

  • [26] Crane C., Armstrong D., Ahmed M., Galluzzo T., Garcia G., Kent D., Lee J., Ridgeway S., Solanki S., Touchton B., Velat S., Torrie M., Grey T., Petroff T. and Griffis M., “Team CIMAR DARPA Grand Challenge 2005,” TR, 2005. Google Scholar

  • [27] Touchton B., Galluzzo T., Kent D. and Crane C., “Perception and Planning Architecture for Autonomous Ground Vehicles,” Computer, Vol. 39, No. 12, 2006, pp. 40–47. doi:https://doi.org/10.1109/MC.2006.436 CPTRB4 0018-9162 CrossrefGoogle Scholar

  • [28] Crane C. D., Armstrong D. G., Touchton R., Galluzzo T., Solanki S., Jaesang L., Kent D., Ahmed M., Montane R., Ridgeway S., Velat S., Garcia G., Griffis M., Gray S., Washburn J. and Routson G., “Team CIMAR’s NaviGATOR: An Unmanned Ground Vehicle for the 2005 DARPA Grand Challenge,” Journal of Field Robotics, Vol. 23, No. 8, 2006, pp. 599–623. doi:https://doi.org/10.1007/978-3-540-73429-1_10 1556-4967 CrossrefGoogle Scholar

  • [29] Bacha A., Bauman C., Faruque R., Fleming M., Terwelp C., Reinholtz C., Hong D., Wicks A., Alberi T., Anderson D., Cacciola S., Currier P., Dalton A., Farmer J., Hurdus J., Kimmel S., King P., Taylor A., Van Covern D., Webster M. and Bacha A., “Odin: Team VictorTango’s Entry in the DARPA Urban Challenge,” Journal of Field Robotics, Vol. 25, No. 8, 2008, pp. 467–492. doi:https://doi.org/10.1002/rob.v25:8 1556-4967 CrossrefGoogle Scholar

  • [30] Ledeczi A., Bakay A., Maroti M., Volgyesi P., Nordstrom G., Sprinkle J. and Karsai G., “Composing Domain-Specific Design Environments,” Computer, Vol. 34, No. 11, 2001, pp. 44–51. doi:https://doi.org/10.1109/2.963443 CPTRB4 0018-9162 CrossrefGoogle Scholar

  • [31] Sprinkle J., Karsai G., Ledeczi A. and Nordstrom G., “The New Metamodeling Generation,” Eighth Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, IEEE, Piscataway, NJ, April 2001, pp. 275–279. Google Scholar

  • [32] Nordstrom G., Sztipanovits J., Karsai G. and Ledeczi A., “Metamodeling-Rapid Design and Evolution of Domain-Specific Modeling Environments,” 1999 IEEE Conference and Workshop on Engineering of Computer-Based Systems, IEEE, Piscataway, NJ, March 1999, pp. 68–74. Google Scholar

  • [33] Object Constraint Language OMG Available Specification,” Ver. 2.0, Object Management Group TR, Needham, MA, May 2006. Google Scholar

  • [34] Whitsitt S. and Sprinkle J., “Message Modeling for the Joint Architecture for Unmanned Systems (JAUS),” Proceedings of the 8th IEEE Workshop on Model-Based Development for Computer-Based Systems, IEEE Piscataway, NJ, April 2011, pp. 251–259. Google Scholar

  • [35] Whitsitt S., “Modeling the Messaging and Component Interfaces of Autonomous Systems,” M.S. Thesis, Univ. of Arizona, Tucson, AZ, 2011. Google Scholar

  • [36] Gamma E., Helm R., Johnson R. E. and Vlissides J., Design Patterns: Elements of Reusable Object-Oriented Software, Addison Wesley, Reading, MA, 1995, pp. 360–381. Google Scholar

  • [37] Martin K. and Hoffman B., Mastering CMake: A Cross-Platform Build System, 4th ed., Kitware, Inc., Clifton Park, NY, Feb. 2008. Google Scholar

  • [38] Reinholts C., Alberi T., Anderson D., Bacha A., Bauman C., Cacciola S., Currier P., Dalton A., Farmer J., Faruque R., Fleming M., Frash S., Gothing G., Hurdus J., Kimmel S., Sharkey C., Taylor A., Terwelp C., Van Covern D., Webster M. and Wicks A., “DARPA Urban Challenge Technical Paper,” DARPA, 2007, http://archive.darpa.mil/grandchallenge/TechPapers/Victor_Tango.pdf [retrieved 11 March 2013]. Google Scholar

  • [39] Williams T., Mercer M., Mucha J. and Kapur R., “Code Coverage, What Does it Mean in Terms of Quality?Reliability and Maintainability Symposium, 2001. Proceedings. Annual, IEEE, Piscataway, NJ, 2001, pp. 420–424. Google Scholar