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
来源：
2019 THIRD IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2019) | 2019年
基金：
欧盟地平线“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 条
  • [31] Instance Transformation for Declarative Solvers Or: Instant Model Finders
    O'Connor, Megan
    Mitchell, David
    2015 INTERNATIONAL CONFERENCE AND WORKSHOP ON COMPUTING AND COMMUNICATION (IEMCON), 2015,
  • [32] A source code based model to generate GUI - GUI generation based on source code with declarative language extensions
    Monteiro, Marco
    Oliveira, Paula
    Goncalves, Ramiro
    ICSOFT 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL PL/DPS/KE, 2008, : 21 - +
  • [33] On code verification of RANS solvers
    Eca, L.
    Klaij, C. M.
    Vaz, G.
    Hoekstra, M.
    Pereira, F. S.
    JOURNAL OF COMPUTATIONAL PHYSICS, 2016, 310 : 418 - 439
  • [34] Code generation from hybrid systems models for distributed embedded systems
    Anand, M
    Kim, J
    Lee, I
    ISORC 2005: Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, Proceedings, 2005, : 166 - 173
  • [35] Generating Efficient Solvers from Constraint Models
    Lin, Shu
    Meng, Na
    Li, Wenxin
    PROCEEDINGS OF THE 29TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE '21), 2021, : 956 - 967
  • [36] Unifying execution of imperative and declarative code
    Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, MA, United States
    Proc Int Conf Software Eng, (511-520):
  • [37] Unifying Execution of Imperative and Declarative Code
    Milicevic, Aleksandar
    Rayside, Derek
    Yessenov, Kuat
    Jackson, Daniel
    2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2011, : 511 - 520
  • [38] A declarative approach for Java code instrumentation
    Tian Zhang
    Xiaomei Zheng
    Yan Zhang
    Jianhua Zhao
    Xuandong Li
    Software Quality Journal, 2015, 23 : 143 - 170
  • [39] From code to models
    Holzmann, GJ
    SECOND INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEMS DESIGN, PROCEEDINGS, 2001, : 3 - 10
  • [40] On the declarative specification of models
    Spinellis, D
    IEEE SOFTWARE, 2003, 20 (02) : 96 - +
12345