Computer Science

Computer Science ›› 2020, Vol. 47 ›› Issue (12): 87-92.doi: 10.11896/jsjkx.201100173

Special Issue: Software Engineering & Requirements Engineering for Complex Systems

Previous Articles     Next Articles

Growth Framework of Autonomous Unmanned Systems Based on AADL

DING Rong1, YU Qian-hui2   

  1. 1 Institute of Artificial Intelligence Beihang University Beijing 100191,China
    2 State Key Laboratory of Software Development Environment Computer Science Department Beihang University Beijing 100191,China
  • Received:2020-09-05 Revised:2020-10-24 Online:2020-12-15 Published:2020-12-17
  • About author:DING Rong,born in 1975Ph.Dassociate professoris a member of CCF.His main research interests include software engineeringautonomous unmanned systems and natural language understanding.
  • Supported by:
    National Key Research and Development Program of China(2017YFB1001802).

PDF (PC)

1008

Abstract: Recent yearsthe development cost of autonomous unmanned systems increases with the improvement of hardware equipment performance.How to efficiently and intelligently develop systems is a hot research field for unmanned systems.The growth framework of autonomous unmanned systems based on AADL has improved the software adaptability of unmanned systems (dronesunmanned vehiclesetc.) from the system architecturethe system working mode based on configuration itemsand the prototype system.It realizes the growth and evolution of unmanned system software when resourcestasksand environments change.The system framework is based on model-driven thinkingand the AADL(Architecture Analysis and Design Language) model base is used to represent the intermediate components of the system.It not only retains the inheritance relationship between componentsbut also facilitates developers to observe the system structure more intuitively.System modularization is the basis for the growth.Through a unified standardized interfacethe AADL model base encapsulates replaceable algorithms in intermediate componentsand the iteration and evolution of the algorithm maps the sustainable evolution process of the system.An ever-expanding library of system components is established by crawlers.In addition to supporting adaptive extension functionsthe component library also supports custom model-based functions.The growth characteristic of the system framework is not only manifested in the expands of the content of the system filesbut also manifested in the diversity of system configuration options.The optimal configuration item scheme of the system may change under different environmentstasksand resource conditions.In order to find the optimal solution of the unmanned system configuration item options under adaptive conditionsthe idea of evolutionary algorithm is adopted to make the system realize the process of autonomous evolution.Finallythe automatic code generation Technology is used to realize the conversion from AADL model to system file.The feasibility of the growth framework of the autonomous unmanned system is verified through the operation and test of the growth software management platform.

Key words: AADL model base, Abstract syntax tree, Code generation, Growable system

CLC Number: 

  • TP311
[1] ORTIZ J F,ALONSO D,ROSIQUE F,et al.A component-based meta-model and framework in the model driven toolchain C-Forge[C]//International Conference on Simulation,Modeling,and Programming for Autonomous Robots.Springer,2014:340-351.
[2] TAO Y.AADL-Based Model Verification and Code Generation Technology [D].Chengdu:University of Electronic Science and Technology of China,2013.
[3] BARDARO G,MATTEUCCI M.Using AADL to Model and Develop ROS-Based Robotic Application[C]//IEEE International Conference on Robotic Computing.IEEE,2017.
[4] BARDARO G,SEMPREBON A,MATTEUCCI M.A use case in model-based robot development using AADL and ROS[C]//the 1st International Workshop.2018:9-16.
[5] YONG T,SHENG-LIN G,LIANG M A,et al.Code Automatic Generation and Integration Technology of AADL Model[J].Computer Engineering,2009,35(8):59-61.
[6] BECKER K,GOTTSCHLICH J.AI Programmer:Autonomously Creating Software Programs Using Genetic Algorithms[J].arXiv:1709.05703,2017.
[7] GOUES C L,NGUYEN T V,FORREST S,et al.GenProg:AGeneric Method for Automatic Software Repair[J].IEEE Transactions on Software Engineering,2012,38(1):54-72.
[8] JIANG J,XIONG Y,ZHANG H,et al.Shaping Program Repair Space with Existing Patches and Similar Code[C]//The 27th International Symposium on Software Testing and Analysis.2018:298-309.
[9] “Osate”[OL].http://osate.org/.
[10] FEILER P H,LEWIS B A,VESTAL S.The sae architecture analysis &design language (aadl) a standard for engineering performance critical systems[C]//2006 IEEE Conference on Computer Aided Control System Design,2006 IEEE International Conference on Control Applications,2006 IEEE International Symposium on Intelligent Control.IEEE,2006:1206-1211.
[11] SCHLEGEL C,STECK A,LOTZ A.Model-driven software development in robotics[M]//Communication Patterns as Key for a Robotics Component Model.Introduction to Modern Robotics,2011:119-150.
[12] HUGUES J,ZALILA B,PAUTET L,et al.From the prototype to the final embedded system using the Ocarina AADL tool suite[C]//ACM Transactions on Embedded Computing Systems (TECS).2008.
[13] DHOUIB S,KCHIR S,STINCKWICH S,et al.Robotml,a domain-specifific language to design,simulate and deploy robotic applications[C]//International Conference on Simulation,Modeling,and Programming for Autonomous Robots.Springer,2012:149-160.
[14] TAHA S,RADERMACHER A,GERARD S,et al.Marte:Umlbased hardware design from modelling to simulation[C]//FDL,2007.2007:274-279.
[15] HORWITZ S.Identifying the semantic and textual differences between two versions of a program[C]//Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI).1990:234-245.
[16] ANTLR[OL].http://www/antlr.org/.
[17] MORI M,TSENG C.A genetic algorithm for multi-mode resource constrained project scheduling problem[J].Europpean Journal of Operational Reswarch,2003,144(2):38-365.
[18] SINGHOFF F,LEGRAND J,NANA L,et al.Cheddar:A flexible real time scheduling framework[J].ACM Ada Letters,2004,24(4):1-8.
[19] Axlog.ADeS,a simulator for AADL[OL].http://www.axlog.fr/aadl/ades_en.html
[20] BELTRAMELLI T.pix2code:Generating code from a graphical user interface screenshot[C]//Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems.ACM,2018:3.
[1] CHEN Tao, SHU Hui, XIONG Xiao-bing. Study of Universal Shellcode Generation Technology [J]. Computer Science, 2021, 48(4): 288-294.
[2] RAN Dan, CHEN Zhe, SUN Yi, YANG Zhi-bin. SCADE Model Checking Based on Program Transformation [J]. Computer Science, 2021, 48(12): 125-130.
[3] CHANG Jian-ming, BO Li-li, SUN Xiao-bing. Code Search Engine for Bug Localization [J]. Computer Science, 2021, 48(12): 140-148.
[4] YANG Ping, WANG Sheng-yuan. Analysis of Target Code Generation Mechanism of CompCert Compiler [J]. Computer Science, 2020, 47(9): 17-23.
[5] HAN Lei, HU Jian-peng. Deduplication Algorithm of Abstract Syntax Tree in GCC Based on Trie Tree of Keywords [J]. Computer Science, 2020, 47(9): 47-51.
[6] LI Peng-yuan, ZHAO Rong-cai, GAO Wei and ZHANG Qing-hua. Effective Vectorization Technique for Interleaved Data with Constant Strides [J]. Computer Science, 2015, 42(5): 194-199.
[7] YANG Chang-kun and XU Qing-guo. Technology and Implementation of Extracting Control Flow Model of C Program [J]. Computer Science, 2014, 41(5): 208-214.
[8] ZHANG Li-yong CHEN Ping （Software Engineering Institute, Xidian University, Xi＇an 710071, China ）. [J]. Computer Science, 2008, 35(5): 284-287.
[9] LI Xin WANG Tian-tian SU Xiao-hong MA Pei-jun （School of Computer Science and Technology, Harbin Institute of Technology, Harbin 150001 ,China）. [J]. Computer Science, 2008, 35(10): 170-172.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
渝ICP备16013121号-4
Add:18# Honghu West Rd., Yubei ,Chongqing,China    Post Code: 401121
Tel: 023-63500828/023-67039612/023-67039623
E-mail: jsjkx12@163.com
Powered by Beijing Magtech Co., Ltd.