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.
Through a combinatorial screening of 35 possible phase-selective monopeptide-based organogelators readily made at low cost, we identified five of them with high gelling ability toward aprotic aromatic solvents in the powder form. The best of them (Fmoc-V-6) is able to instantly and phase-selectively gel benzene, toluene, and xylenes in the presence of water at room temperature at a gelator loading of 6% w/v. This enables the gelled aromatics to be separated by filtration and both aromatics and the gelling material to be recycled by distillation. We also identified Fmoc-I-16 as the best gelator for benzyl alcohol, and the corresponding organogel efficiently removes toxic dye molecules by 82−99% from their highly concentrated aqueous solutions. These efficient removals of toxic organic solvents and dyes from water suggest their promising applications in remediating contaminated water resources.
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.