Reference : RPSL meets lightning: A model-based approach to design space exploration of robot per...
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/30976
RPSL meets lightning: A model-based approach to design space exploration of robot perception systems
English
Gammaitoni, Loïc mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Hochgeschwender, Nico mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > >]
2016
RPSL meets lightning: A model-based approach to design space exploration of robot perception systems
Yes
International
2016 IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots
from 13-12-2016 to 16-12-2016
[en] RPSL ; FAlloy ; Alloy ; Design Space Exploration ; Domain Specific Language ; Analysis ; Robot Systems ; validation ; verification
[en] The design space of a robotic application defines at a meta level what are all of its possible implementations. Those possibilities are called design alternatives and differ on many different aspects, one being preferred to the other depending on how, where, when or what the application should do. Design Space Exploration (DSE) is the process of reviewing those design alternatives, prior to their implementation, with intention to verify that the set of all design alternatives to be implemented covers all the possible scenarios in which the application is to be executed. In this paper we address two challenges related to DSE, namely, (1) the formal definitions of design spaces, a non-trivial task due to the many dimensions to be taken into consideration, and (2) the automatisation of DSE, that is, enabling a domain expert to review design alternatives corresponding to a given design space effortlessly. In this paper, we address those challenges in the context of robot perception software systems by combining two already existing technologies, namely RPSL for the specification of robot perception system's design spaces and Lightning, a language workbench that we use to formalise RPSL and obtain, from RPSL specifications, corresponding design alternatives.
http://hdl.handle.net/10993/30976

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
final.pdfAuthor preprint499.88 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.