Reverse engineering concurrent programs using formal modelling and analysis

Paper reprinted from ICSM '96. We describe a formal approach to reverse engineering programs with concurrent constructs. This has been a topic which has not previously been addressed, yet is required for safety critical systems and many others. To achieve this we have used a transformation base...

Full description

Saved in:
Bibliographic Details
Published inProceedings of WCRE '96: 4rd Working Conference on Reverse Engineering pp. 239 - 248
Main Authors Younger, E.J., Luo, Z., Bennett, K.H., Bull, T.M.
Format Conference Proceeding
LanguageEnglish
Published IEEE 1996
Subjects
Concurrent computing
Costs
Formal specifications
Industrial training
Kernel
Reverse engineering
Software maintenance
Software safety
Software systems
Software tools
Online AccessGet full text

Cover

More Information
Summary:Paper reprinted from ICSM '96. We describe a formal approach to reverse engineering programs with concurrent constructs. This has been a topic which has not previously been addressed, yet is required for safety critical systems and many others. To achieve this we have used a transformation based approach which has been successful in coping with sequential systems. To accommodate concurrency we extend the core kernel language (WSL) and introduce and then prove new transformations. We then describe preliminary results. The novel aspects of this work are the application of formal program transformations to the maintenance of concurrent software, and the use of modern type theory and type checking/proof tools to extend our existing method and tool to new domains, namely concurrency and safety critical systems.
ISBN:9780818676741
0818676744
DOI:10.1109/WCRE.1996.558918