Understanding concurrent programs using program transformations

E.J. Younger, M.P. Ward
[1993] IEEE Second Workshop on Program Comprehension  
Reverse engineering of concurrent real-time programs with timing constraints is a particularly challenging research area, because the functional behaviour of a program, and the non-functional timing requirements, are implicit and can be very di cult to discover. In this paper we present a signi cant advance in this area, which is achieved by modelling real-time concurrent programs in the wide spectrum language WSL. We show how a sequential program with interrupts can be modelled in WSL, and the
more » ... led in WSL, and the method is then extended to model more general concurrent programs. We show how a program modelled in this way may subsequently be inverse engineered by the use of formal program transformations, to discover a speci cation for the program. (We use the term inverse engineering to mean reverse engineering achieved by formal program transformations ).
doi:10.1109/wpc.1993.263895 dblp:conf/iwpc/YoungerW93 fatcat:rpqlgjzxsnhirjedzxopudzea4