Lookup NU author(s): Dr Frank Burns,
Dr Danil Sokolov,
Professor Alex Yakovlev
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
xMASCraft is a tool for visual modelling, analysis and verification of GALS xMAS circuits. Thetool is based on a structured approach which provides unique visual feedback about complex deadlocksoccurring at both global and local levels. The deadlocks are identified by a novel unfolding algorithmthat relies on structured occurrence nets driven by synchronisation policy. For deadlock analysis a newrepresentation is used based on blocking/idle relations through which relational analysis can be madebased on querying. This is fed back to the interface in the form of unique textual/graphical feedback providingdetailed relational information. This enables enhanced visualisation of the causality of the deadlocks to beworked out. In particular it reveals vulnerable parts of the system which are susceptible to shut down,point-to-point causes of deadlock occurring between different modules and the original sources ofdeadlocks.
Artist(s): Burns F, Sokolov D, Yakovlev A
Publication type: Exhibition
Publication status: Published
Venue: Design, Automation and Test in Europe (DATE'16)
Location: ICC, Dresden
Media of Output: Proceedings of the Design, Automation and Test in Europe (DATE'16)