Home // INFOCOMP 2012, The Second International Conference on Advanced Communications and Computation // View article

Control Software Visualization

Authors:
Federico Mari
Igor Melatti
Ivano Salvo
Enrico Tronci

Keywords: Control Software Visualization; Embedded Systems; Model Checking

Abstract:
Many software as well digital hardware automatic synthesis methods define the set of implementations meeting the given system specifications with a boolean relation K (controller). Such relation, given a system state s and an action u, returns 1 iff taking action u in state s leads in the system goal or at least one step closer to it. In order to determine at hand if K is a "good" controller, e.g., if it covers a wide enough portion of the system state space, or to provide an high level view of the actions enabled by K, it is useful to picture K in a 2D or 3D diagram. In this paper, starting from a canonical representation for K, we propose an algorithm to automatically generate such a picture, relying on available graphing tools.

Pages: 15 to 20

Copyright: Copyright (c) IARIA, 2012

Publication date: October 21, 2012

Published in: conference

ISSN: 2308-3484

ISBN: 978-1-61208-226-4

Location: Venice, Italy

Dates: from October 21, 2012 to October 26, 2012