Solution Space Modeling for Robotic Systems

摘要: Motivated from the experience of developing a lidar based vehicle tracking system, model-based approach for specifying solution space robotic system is proposed in this paper. Solution modeling can expand design space, help finding best possible solution, identify variation points, and also permit to perform context run-time adaptation system. Models on Space Modeling Language (SSML) level reasoning, making tradeoffs, documenting decisions, comparing them functional non-functional properties, act as an artifact formally proving validating final implementation.