A Study on the Application of the Software Framework MASSiVE in KAIST’s Intelligent Sweet Home System

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 404
  • Download : 0
MASSiVE (Multi – Layer Architecture for Semi-Autonomous Service Robots with Verified Task Execution) is a software framework that provides an infrastructure concept for distributed sensor and actuator systems such as service robots, operating in environments that are equipped with smart components. Besides this modular and extensible architecture, a principle of task knowledge specification and verification with processstructures is included in MASSiVE that is able to guarantee task planning in real time along with verified and thus robust system runtime behavior. In this paper the framework is presented briefly. The focus of this contribution is to study how to apply the MASSiVE principles for a typical sample application scenario in KAIST’s Intelligent Sweet Home System. First, the required software components have to be derived, and second the exemplary application of MASSiVE’s specification and verification methods and tools is demonstrated. The flexibility and the structuring capabilities of the MASSiVE framework as well as the impact of fast system deployment will be worked out.
Publisher
한국과학기술원 인간친화 복지 로봇 시스템 연구센터
Issue Date
2008-12
Language
English
Citation

INTERNATIONAL JOURNAL OF ASSISTIVE ROBOTICS AND MECHTRONICS, v.9, no.4, pp.74 - 84

ISSN
1975-0153
URI
http://hdl.handle.net/10203/87953
Appears in Collection
EE-Journal Papers(저널논문)BiS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0