An Extensible Model-based Framework for Robotics Software Development

被引：0
|
作者：
Ramaswamy, Arunkumar [1 ,2 ,3 ]
Monsuez, Bruno [1 ]
Tapus, Adriana [1 ]
机构：
[1] Univ Paris Saclay, ENSTA ParisTech, U2IS, Robot & Comp Vis Lab, 828 Blvd Marechaux, Palaiseau, France
[2] VeDeCom Inst, 77 Rue Chantiers, F-78000 Versailles, France
[3] Renault SAS, 1 Av Golf, F-78288 Guyancourt, France
来源：
2017 FIRST IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC) | 2017年
关键词：
D O I：
10.1109/IRC.2017.21
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In order to promote reuse of software in robotics, standardization, benchmarking, and formalization activities in robotics are being undertaken by many technical working groups and independent agencies. Absence of integrated tools is the real barrier that exists between early adopters of such efforts and early majority of research and industrial community. In this paper, we provide a detailed discussion on how frameworks for designing robotic systems can be formally specified and developed using our meta-framework SafeRobots. We have demonstrated this process using a mobile robot case study.
引用
收藏
页码：73 / 76
页数：4
相关论文
共 50 条
  • [1] CDL: An extensible constraints framework for model-based development
    Kreiner, Christian
    Krallinger, Markus
    [J]. International Journal of Metadata, Semantics and Ontologies, 2014, 9 (03) : 263 - 274
  • [2] Model-Based Adaptation for Robotics Software
    Aldrich, Jonathan
    Garlan, David
    Kaestner, Christian
    Le Goues, Claire
    Mohseni-Kabir, Anahita
    Ruchkin, Ivan
    Samuel, Selva
    Schmerl, Bradley
    Timperley, Christopher
    Veloso, Manuela
    Voysey, Ian
    Biswas, Joydeep
    Guha, Arjun
    Holtz, Jarrett
    Camara, Javier
    Jamshidi, Pooyan
    [J]. IEEE SOFTWARE, 2019, 36 (02) : 83 - 90
  • [3] A Model-based Approach to Software Deployment in Robotics
    Hochgeschwender, Nico
    Gherardi, Luca
    Shakhirmardanov, Azamat
    Kraetzschmar, Gerhard K.
    Brugali, Davide
    Bruyninckx, Herman
    [J]. 2013 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), 2013, : 3907 - 3914
  • [4] Model-Based Performance Testing for Robotics Software Components
    Wienke, Johannes
    Wigand, Dennis
    Koester, Norman
    Wrede, Sebastian
    [J]. 2018 SECOND IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC), 2018, : 25 - 32
  • [5] Arcade - A formal, extensible, model-based dependability evaluation framework
    Boudali, Hichem
    Crouzen, Pepijn
    Haverkort, Boudewijn R.
    Kuntz, Matthias
    Stoelinga, Marieelle
    [J]. ICECCS 2008: THIRTEENTH IEEE INTERNATIONAL CONFERENCE ON THE ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2008, : 243 - +
  • [6] Model-based Generation of Hardware/Software Architectures for Robotics Systems
    Podlubne, Ariel
    Mey, Johannes
    Pertuz, Sergio
    Assmann, Uwe
    Goehringer, Diana
    [J]. 2022 32ND INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, FPL, 2022, : 153 - 159
  • [7] A MODEL-BASED FRAMEWORK FOR THE INTEGRATION OF SOFTWARE METRICS
    EVANCO, WM
    LACOVARA, R
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1994, 26 (01) : 77 - 86
  • [8] A framework for extensible component customization for component-based software development
    Yau, Stephen S.
    Taweponsomkiat, Choksing
    Huang, Dazhi
    [J]. QSIC 2006: SIXTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2006, : 369 - +
  • [9] Software for model-based Development and Simulation
    不详
    [J]. ATP EDITION, 2009, (1-2): : 29 - 29
  • [10] Components in Model-Based Software Development
    Tyugu, Enn
    Grigorenko, Pavel
    [J]. 2013 COMPUTER SCIENCE AND INFORMATION TECHNOLOGIES (CSIT), 2013,
12345