Slicing tools for synchronous reactive programs

In this paper, we present two slicing tools: VHDL_Slice and Est_slice that compute static executable slices of VHDL and Esterel programs respectively. The slicers have been tested on a number of small and medium sized examples.

[1]  BerryGérard,et al.  The ESTEREL synchronous programming language , 1992 .

[2]  Frank Tip,et al.  A survey of program slicing techniques , 1994, J. Program. Lang..

[3]  David W. Binkley,et al.  Program slicing , 2008, 2008 Frontiers of Software Maintenance.

[4]  S. Ramesh,et al.  Validation of Pipelined Processor Designs Using Esterel Tools: A Case Study , 1999, CAV.

[5]  Stephen Edwards,et al.  ESUIF: An Open Esterel Compiler , 2002, SLAP@ETAPS.

[6]  Mangala Gowri Nanda,et al.  Slicing concurrent programs , 2000, ISSTA '00.

[7]  Arcot Sowmya,et al.  Synchronous protocol automata: a framework for modelling and verification of SoC communication architectures , 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

[8]  S. Ramesh,et al.  Slicing Synchronous Reactive Programs , 2002, SLAP@ETAPS.

[9]  Jens Krinke,et al.  Static slicing of threaded programs , 1998, PASTE '98.

[10]  Gérard Berry,et al.  The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

[11]  Thomas Ball,et al.  Slicing Programs with Arbitrary Control-flow , 1993, AADEBUG.

[12]  S. Ramesh,et al.  Static slicing of reactive programs , 2003, Proceedings Third IEEE International Workshop on Source Code Analysis and Manipulation.