Code generation from declarative models of robotics solvers

被引:0
|
作者
Frigerio, Marco [1 ]
Scioni, Enea [1 ]
Pazderski, Pawel Piotr [1 ]
Bruyninckx, Herman [1 ,2 ]
机构
[1] Katholieke Univ Leuven, Dept Mech Engn, Leuven, Belgium
[2] TU E Eindhoven, Dept Mech Engn, Eindhoven, Netherlands
基金
欧盟地平线“2020”;
关键词
D O I
10.1109/IRC.2019.00066
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
This short paper describes a development methodology addressing the limitations of traditional robot kinematics and dynamics software libraries. Specifically, the implementation choices which hinder the integration of the libraries within user code based on different assumptions; for example, choices about the mathematical formalism or the digital data types. Code generation based on declarative and semantically unambiguous specification is proposed as a more flexible development approach, which allows to configure the generated API and the concrete implementation choices. The paper also introduces a prototype tool that we developed to investigate our research hypothesis, and discusses some of the current challenges.
引用
收藏
页码:369 / 372
页数:4
相关论文
共 50 条
  • [21] Code Generation from Formal Models for Automatic RTOS Portability
    Gomes, Renata Martins
    Baunach, Marcel
    PROCEEDINGS OF THE 2019 IEEE/ACM INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION (CGO '19), 2019, : 271 - 272
  • [22] Communication Optimizations for Multithreaded Code Generation from Simulink Models
    Huang, Kai
    Yu, Min
    Yan, Rongjie
    Zhang, Xiaomeng
    Yan, Xiaolang
    Brisolara, Lisane
    Jerraya, Ahmed Amine
    Feng, Jiong
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2015, 14 (03)
  • [23] Automatic Generation of Executable Code from Software Architecture Models
    Stavrou, Aristos
    Papadopoulos, George A.
    INFORMATION SYSTEMS DEVELOPMENT: CHALLENGES IN PRACTICE, THEORY AND EDUCATION, VOLS 1AND 2, 2009, : 1047 - 1058
  • [24] Object constraint language for code generation from activity models
    Sunitha, E. V.
    Samuel, Philip
    INFORMATION AND SOFTWARE TECHNOLOGY, 2018, 103 : 92 - 111
  • [25] AUTOMATED TEST CODE GENERATION FROM CLASS STATE MODELS
    Xu, Dianxiang
    Xu, Weifeng
    Wong, W. Eric
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2009, 19 (04) : 599 - 623
  • [26] UJECTOR: A tool for Executable Code Generation from UML Models
    Usman, Muhammad
    Nadeem, Aamer
    Kim, Tai-hoon
    PROCEEDINGS OF THE 2008 ADVANCED SOFTWARE ENGINEERING & ITS APPLICATIONS, 2008, : 165 - +
  • [27] A tool for tailored code generation from Petri net models
    Pais, Rui
    Barros, Joao Paulo
    Gomes, Luis
    ETFA 2005: 10th IEEE International Conference on Emerging Technologies and Factory Automation, Vol 1, Pts 1 and 2, Proceedings, 2005, : 857 - 864
  • [28] Code generation from UML models with semantic variation points
    Chauvel, F
    Jézéquel, JM
    MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2005, 3713 : 54 - 68
  • [29] USING TASK AND DATA MODELS FOR USER INTERFACE DECLARATIVE GENERATION
    Vi Tran
    Kolp, Manuel
    Vanderdonckt, Jean
    Wautelet, Yves
    ICEIS 2010: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 5: HUMAN-COMPUTER INTERACTION, 2010, : 155 - 160
  • [30] CodeBERTScore: Evaluating Code Generation with Pretrained Models of Code
    Zhou, Shuyan
    Alon, Uri
    Agarwal, Sumit
    Neubig, Graham
    2023 CONFERENCE ON EMPIRICAL METHODS IN NATURAL LANGUAGE PROCESSING (EMNLP 2023), 2023, : 13921 - 13937