The Journal of Software Engineering for Robotics is an open-access, peer-reviewed electronic journal that aims to promote the synergy between Software Engineering and Robotics. It invites both empirical research papers that evaluate the effectiveness of existing Software Engineering approaches and methods in the development of robotic software systems, as well as theoretical contributions that present new Robotics-specific Software Engineering results.
Safety is a key challenge in robotics, in particular for mobile robots operating in an open and unpredictable environment. To address the safety challenge, various software-based approaches have been proposed, but none of them provide a clearly specified and isolated safety layer. In this paper, we propose that safety-critical concerns regarding the robot software be explicitly declared separately from the main program, in terms of externally observable properties of the software. Concretely,...
Model-based tools have the potential to significantly improve theprocess of developing novel cyber-physical systems. In this paper, weconsider the question of what language features are needed to modelcyber-physical systems. Using a small, experimental hybrid systemsmodeling language to show how a number of basic and pervasive aspectsof cyber-physical systems can be modeled clearly using the small setof constructs that it provides. We then consider two, more complex,case studies from the do...
The development of advanced robotic systems is challenging as expertise from multiple domains needs to be integrated conceptually and technically. Model-driven engineering promises an efficient and flexible approach for developing robotics applications that copes with this challenge. Domain-specific modeling allows to describe robotics concerns with concepts and notations closer to the respective problem domain. This raises the level of abstraction and results in models that are easier to und...
Hierarchical Hypergraphs for Knowledge-centric Robot Systems: a Composable Structural Meta Model and its Domain Specific Language NPC4
Many robotics applications rely on graph models in one form or another: perception via probabilistic graphical models such as Bayesian Networks or Factor Graphs; control diagrams and other computational ``function block'' models; software component architectures; Finite State Machines; kinematics and dynamics of actuated mechanical structures; world models and maps; knowledge relationships as ``RDF triples''; etc.In traditional graphs, each edge connects just two nodes, and graphs are ``flat'...
RobCoGen: a code generator for efficient kinematics and dynamics of articulated robots, based on Domain Specific Languages
This paper presents the Robotics Code Generator (RobCoGen), an open source program that can generate an efficient implementation of rigid body dynamics and kinematics algorithms for articulated robots, such as humanoids and manipulators. New Domain Specific Languages (DSLs) for the specification of robot models and coordinate transforms lie at the core of our software. The technology of DSLs and code generation allows users to deal only with high level information (like a robot model), and re...
- JOSER Archive - Archivio della rivista JOSER35
- 1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays2
Data di pubblicazione
- Università degli studi di Bergamo35
- JOURNAL OF SOFTWARE ENGINEERING IN ROBOTICS35
- Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni35
- Code Generation3
- code generation2
- component-based software2
- component-based software engineering2
- Component-based system design2
- Domain Specific Language2
- Model-Driven Engineering2
Accesso al fulltext
- Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione2