DC Field | Value | Language |
---|---|---|
dc.contributor.author | Prenzel, Oliver | ko |
dc.contributor.author | Bien, Zeung nam | ko |
dc.contributor.author | Lee, Sang Wan | ko |
dc.contributor.author | Graeser, Axel | ko |
dc.date.accessioned | 2013-03-06T18:27:40Z | - |
dc.date.available | 2013-03-06T18:27:40Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.created | 2012-02-06 | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 2008-12 | - |
dc.identifier.citation | INTERNATIONAL JOURNAL OF ASSISTIVE ROBOTICS AND MECHTRONICS, v.9, no.4, pp.74 - 84 | - |
dc.identifier.issn | 1975-0153 | - |
dc.identifier.uri | http://hdl.handle.net/10203/87953 | - |
dc.description.abstract | 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. | - |
dc.language | English | - |
dc.publisher | 한국과학기술원 인간친화 복지 로봇 시스템 연구센터 | - |
dc.title | A Study on the Application of the Software Framework MASSiVE in KAIST’s Intelligent Sweet Home System | - |
dc.type | Article | - |
dc.type.rims | ART | - |
dc.citation.volume | 9 | - |
dc.citation.issue | 4 | - |
dc.citation.beginningpage | 74 | - |
dc.citation.endingpage | 84 | - |
dc.citation.publicationname | INTERNATIONAL JOURNAL OF ASSISTIVE ROBOTICS AND MECHTRONICS | - |
dc.identifier.kciid | ART001313455 | - |
dc.contributor.localauthor | Bien, Zeung nam | - |
dc.contributor.localauthor | Lee, Sang Wan | - |
dc.contributor.nonIdAuthor | Prenzel, Oliver | - |
dc.contributor.nonIdAuthor | Graeser, Axel | - |
dc.subject.keywordAuthor | Software architecture | - |
dc.subject.keywordAuthor | task knowledge specification and verification | - |
dc.subject.keywordAuthor | semiautonomy | - |
dc.subject.keywordAuthor | service robots in intelligent environment | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.