UML-Based Service Robot Software Development: A Case Study

Kim, Minseong; Kim, Suntae; Park, Sooyong; Choi, Mun-Taek; Kim, Munsang; Gom, Hassan

doi:10.5772/5947

Cited by 13 publications

(24 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This experience report also relates to the work of Kim et al (M. Kim, S. Kim, S. Park, M.-T. Choi, M. Kim, and H. Goma, 2006) in which the authors applied the UML-based COMET design methodology (Concurrent Object Modeling and Architectural Design) to develop the control software of an intelligent service robot for the elderly, called T-Rot. Our works differs from that work in that we reported the implementation aspects of our system as well and that we focus on another type of robots (AIBO).…”

Section: Related Workmentioning

confidence: 99%

“…Murray, 2003) (M. Kim, S. Kim, S. Park, M.-T. Choi, M. Kim, and H. Goma, 2006)) by adding the very-important implementation aspects and serves as another voice of evidence on the usefulness and effectives of UML-driven development processes for robotic applications. Together with the existing literature, these works start to build an empirical, gradually-generalizable experience base upon which developers of robotic systems can rely.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Experience in Developing a Robot Control Software

Garousi¹

2010

CIS

View full text Add to dashboard Cite

This article presents an experience report in using the UML-driven development process to develop an object-oriented control software for a Sony AIBO robot. The entire project was a great learning experience for all the team members and we found the methodologies we used very effective in helping us design and develop a high-quality control system. We also feel that other software developers and practitioners, especially those developing robotic and embedded control software, would benefit from the experience and observations reported in this article.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Experience in Developing a Robot Control Software

Garousi¹

2010

CIS

View full text Add to dashboard Cite

show abstract

“…To ensure the generality of the control experiments, in addition to assessing Marple's performance on the door locking system, we also evaluated it on a model of an autonomous robot navigation case study, originally developed by Park et al [21], and later revised and modeled by us [22]. To account for the stochastic nature of the evolutionary process, for each model, we ran 30 control runs and 30 Marple runs.…”

Section: Validationmentioning

confidence: 99%

“…We illustrate our approach by using Marple to discover the unwanted latent behavior of models for an automobile door locking system obtained from one of our industrial collaborators. To further validate our approach, we have also applied it to a robot navigation system [21] and sought feedback from our industrial collaborators. The remainder of the paper is organized as follows.…”

Section: Introductionmentioning

confidence: 99%

Automatically Discovering Properties That Specify the Latent Behavior of UML Models

Goldsby

Cheng

2010

Model Driven Engineering Languages and Systems

View full text Add to dashboard Cite

Abstract. Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system properties are satisfied. In contrast, this paper proposes an automated approach to generating temporal logic properties that specify the latent behavior of existing UML models; these are unknown properties exhibited by the system that may or may not be desirable. A key component of our approach is Marple, a evolutionary-computation tool that leverages natural selection to discover a set of properties that cover different regions of the model state space. The Marple-discovered properties can be used to refine the models to either remove unwanted behavior or to explicitly document a desirable property as required system behavior. We use Marple to discover unwanted latent behavior in two applications: an autonomous robot navigation system and an automotive door locking control system obtained from one of our industrial collaborators.

show abstract

“…This view also gives the information of the entities used during run-time, their respective attributes and their mapping with the hardware. This view also gave us the details of the flow of controls from hardware to the software and how the instructions will be executed [24]- [27]. …”

Section: Execution Viewmentioning

confidence: 99%

The Mobot Architecture: A Design of Autonomy Data Evaluation

Mansoor¹,

Hashmi²,

Khokhar³

2013

IJCEE

View full text Add to dashboard Cite

Abstract-Most large, long term mobile robot systems start with some architecture. We studied some of the architectures which are implemented on robot previously, the advantages and disadvantages and finally select siemens 4 view architecture, the best possible architecture for mobile robot. In the designing phase of developing architecture of a robot using siemens 4 view, first of all we will identify the quality goals in the form of factor tables. Quality goals/Factor tables are basically broader statements which gave the information of the attributes, which this system will be capable to perform at the end and it will also provide different qualities that the final system should exhibit and are used to guide the development process. We will only identify some of the quality goals like navigation, security, monitoring, communication etc. Complete and detailed architecture will be developed in future. We named this architecture as Mobot.Index Terms-Quality goals, factor tables, issue card, siemens 4 view.

show abstract

UML-Based Service Robot Software Development: A Case Study

Cited by 13 publications

References 2 publications

Experience in Developing a Robot Control Software

Experience in Developing a Robot Control Software

Automatically Discovering Properties That Specify the Latent Behavior of UML Models

The Mobot Architecture: A Design of Autonomy Data Evaluation

Contact Info

Product

Resources

About