Discovery of Patterns in Simulink Systems
de la Parra, Francisco
MetadataShow full item record
Model-Driven Engineering tools and techniques have become mainstream aids in the development of embedded cyber-physical systems. The large-scale use of visual models is a powerful paradigm for designing reliable and maintainable systems assembled with complex hardware, software and mechanical elements. Modular design approaches can readily capture the requirements for embedded systems into executable and evolutionary models. We propose a framework to discover, classify and visualize model-patterns in large repositories of Simulink models. We design, and implement in a software toolchain, a set of scalable algorithms to fully traverse and contextually parse the source code of these repositories in order to compute topology hash functions for the size, name connectivity and type connectivity of each model subsystem, as well as properties of Stateflow charts. We use these extracted properties to cluster the subsystems into a set of addressable-by-property classes. We develop an interactive model visualization and querying facility, embodied by the MoSART user interface, to identify further relations, similarities and abstractions in the elements of the cluster classes. This tool provides a configurable environment for inferring structural model-patterns and elaborating on semantic model-patterns with the assistance of skilled domain knowledge. We propose a query system, based on regular expressions that match values of previously computed subsystems properties, as an effective method to iteratively refine Simulink model-patterns abstractions into accumulated modeling knowledge. Our implementation works cooperatively with a 3-phase iterative model-pattern discovery approach that we conceptualize as 1) model clustering: repository traversal and subsystem-topology evaluation for clustering subsystems, 2) primary model-pattern inference: visualization, querybased search and clustering for identifying basic semantic patterns, 3) model-pattern refinement: continuous refinement of basic patterns into specialized groups for application in targeted use cases. We effectively support the iterative nature of this approach because our repository traversal, property evaluation and clustering algorithms have low time-complexity, that is, between a lower-bound(n) and O(n lg n)(n = total lines of source code in a repository), and our interactive tool provides a complete-coverage view of a model repository.
URI for this recordhttp://hdl.handle.net/1974/20102
Request an alternative formatIf you require this document in an alternate, accessible format, please contact the Queen's Adaptive Technology Centre
Showing items related by title, author, creator and subject.
Patterns in diatom assemblages across a gradient of water depth in an Adirondack lake: Are patterns across regions reproducible? McGowan, Mollie Sinead (2013-04-28)Diatoms have been used as indicators of depth in paleolimnological studies but their consistency has recently been challenged. It was suggested that, for diatoms to be strengthened as a depth proxy, their distributions ...
Influence of Sympatry and Sexual Selection on Colour Pattern Divergence in Birds-of-Paradise (Paradisaeidae) Giglio, Victoria (2012-04-21)The extraordinary colour patterns displayed by the birds-of-paradise have interested biologists for many generations and yet our understanding of the evolution these colour patterns remains limited. In this study, we first ...
Ahmed, Hazem Radwan A. (2014-04-21)Pattern discovery in protein structures is a fundamental task in computational biology, with important applications in protein structure prediction, profiling and alignment. We propose a novel approach for pattern discovery ...