Home // ICSEA 2012, The Seventh International Conference on Software Engineering Advances // View article

A Formal High-level Modeling Approach to Develop Reliable Components in Vision-based Robotics

Authors:
Andrea Luzzana
Mattia Rossetti
Patrizia Scandurra

Keywords: components; abstract state machines; ground modeling; robotic control tasks.

Abstract:
This paper proposes the use of the control-state Abstract State Machines for a rigorous foundation in highlevel modeling and validating component-based applications in Vision-Based Robotics. In particular, an extension of the classical flowchart notation for control-state ASMs is proposed to support modularization and reuse in a direct way. The resulting ASM models are to be intended as “ground models” that can be used as basis or patterns to practically model and formally validate the behavior of typical robotic control tasks, and to link (via successive refinements) these high-level models of components to their implementation code by making their functional correctness mathematically controllable. The proposed flowchart extension and the availability of reusable and validated ground models allow a better system design and speed up the development of the system.

Pages: 78 to 83

Copyright: Copyright (c) IARIA, 2012

Publication date: November 18, 2012

Published in: conference

ISSN: 2308-4235

ISBN: 978-1-61208-230-1

Location: Lisbon, Portugal

Dates: from November 18, 2012 to November 23, 2012