Nothing Special   »   [go: up one dir, main page]

Ceballos et al., 2011 - Google Patents

GenoM as a robotics framework for planetary rover surface operations

Ceballos et al., 2011

View PDF
Document ID
11871373045250984039
Author
Ceballos A
De Silva L
Herrb M
Ingrand F
Mallet A
Medina A
Prieto M
Publication year
Publication venue
ASTRA

External Links

Snippet

This paper presents some recent developments of the LAAS architecture for autonomous systems, and in particular its component to generate functional modules: GenoM. The LAAS architecture was originally designed for autonomous and terrestrial mobile robots. This …
Continue reading at robotics.estec.esa.int (PDF) (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/46—Multiprogramming arrangements
    • G06F9/48—Programme initiating; Programme switching, e.g. by interrupt
    • G06F9/4806—Task transfer initiation or dispatching
    • G06F9/4843—Task transfer initiation or dispatching by program, e.g. task dispatcher, supervisor, operating system
    • G06F9/4881—Scheduling strategies for dispatcher, e.g. round robin, multi-level priority queues
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/46—Multiprogramming arrangements
    • G06F9/54—Interprogramme communication; Intertask communication
    • G06F9/541—Interprogramme communication; Intertask communication via adapters, e.g. between incompatible applications
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/44—Arrangements for executing specific programmes
    • G06F9/455—Emulation; Software simulation, i.e. virtualisation or emulation of application or operating system execution engines
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/35—Model driven
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/36—Software reuse
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/34—Graphical or visual programming
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformations of program code
    • G06F8/41—Compilation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/10—Requirements analysis; Specification techniques
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/60—Software deployment
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B2219/00—Program-control systems
    • G05B2219/30—Nc systems
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design

Similar Documents

Publication Publication Date Title
US20200026285A1 (en) General purpose robotics operating system with unmanned and autonomous vehicle extensions
Abdellatif et al. Rigorous design of robot software: A formal component-based approach
Newman A systematic approach to learning robot programming with ROS
Wang et al. A formal model-based design method for robotic systems
Ceballos et al. GenoM as a robotics framework for planetary rover surface operations
Ocón et al. The ERGO framework and its use in planetary/orbital scenarios
Gherardi Variability modeling and resolution in component-based robotics systems
Dal Zilio et al. A formal toolchain for offline and run-time verification of robotic systems
Corradini et al. A BPMN-driven framework for Multi-Robot System development
Flückiger et al. Service oriented robotic architecture for space robotics: Design, testing, and lessons learned
Ortiz et al. Model-driven analysis and design for software development of autonomous underwater vehicles
Ortiz et al. A component-based meta-model and framework in the model driven toolchain c-forge
Center Describing and Deploying Satellite Behaviors Using Rules-Based Statecharts
Maimone et al. RP-check: An architecture for spaceflight command sequence validation
Perico et al. ELAPSE: a FlatSat Software and Processing Unit for Deep-Space Autonomous GNC Systems Testing
Salmon et al. CARES, a framework for CPS simulation: application to autonomous underwater vehicle navigation function
Ropero et al. A versatile executive based on T-REX for any robotic domain
Ren et al. Autonomous Driving Operating Systems
Kato et al. ROS and cFS system (RACS): Easing space robotic development
Caval et al. Keeping a clear separation between goals and plans
Aboubekr et al. Automatic generation of discrete handlers of real-time continuous control tasks
Bensalem et al. Rock solid” software: a verifiable and correctby-construction controller for rover and spacecraft functional levels
Garlan et al. Bridging the Gap between Systems Design
Hošek Supporting real-time features in a hierarchical component system
Schranz et al. D3. 2–UPDATED SYSTEM ARCHITECTURE & DESIGN SPECIFICATION