In this paper we address two problems concerned with the maintenance of safety-critical software. Firstly, we analyse the new issues required for the reverse engineering of real-time existing code to extract high level designs. Secondly, we present a possible design, abstraction mechanism that can be used f o r safetycritical software. We use formal transformations both in the reuerse engineering of systems involving temporal constraints, and in the definition of the abstract representation. We present a design framework and the results of initial experiments. The contributions are: ( I ) the requirements analysis for reverse engineering safety-critical systems, (2) the use of veryhigh-level domain languages, and (3) formal transformations QS the unifying technology.
Didn't that bring back memories of the good old days when you learned about how to make computers do what you wanted them to do?Sigh, lots of good ideas. I only wish more professors would recognize the need, get the support, and make the necessary changes to be more effective in educating the software engineers of tomorrow.BTW, the next issue will feature a discussion on RIT's undergraduate accredited Software Engineering program.
AbstractA Workshop on Program Transformation Systems was held in the Centre for Software Maintenance at University of Durham on 1st and 2nd April 1996.The Workshop was intended as a follow up for the successful event held on the same topic at ICSE in Seattle in 1995. Twenty-three people attended the Workshop, and this is a short report on the proceedings.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.