TY - GEN
T1 - Developing a Translator from C Programs to Data Flow Graphs Using RAISE
AU - Haxthausen, Anne Elisabeth
N1 - Copyright: 1996 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE
PY - 1996
Y1 - 1996
N2 - Describes how a translator from a subset of C to data flow graphs has been formally developed using the RAISE (Rigorous Approach to Industrial Software Engineering) method and tools. In contrast to many development examples described in the literature, this development is not a case study, but a real one, and it covers all development phases, including the code-generation phase. The translator is now one of the components of the LYCOS (LYngby CO-Synthesis) system, which is a software/hardware co-synthesis system under development at the Technical University of Denmark. The translator, together with the other components of LYCOS, provides a means for moving parts of C programs to dedicated hardware, thereby obtaining better performance. The translator was refined in steps, starting with an abstract specification and ending with a concrete specification from which C++ code was then automatically generated by the RAISE tools. In addition to illustrating the general methodology of RAISE, the paper also contributes with a specific method for refining set comprehensions
AB - Describes how a translator from a subset of C to data flow graphs has been formally developed using the RAISE (Rigorous Approach to Industrial Software Engineering) method and tools. In contrast to many development examples described in the literature, this development is not a case study, but a real one, and it covers all development phases, including the code-generation phase. The translator is now one of the components of the LYCOS (LYngby CO-Synthesis) system, which is a software/hardware co-synthesis system under development at the Technical University of Denmark. The translator, together with the other components of LYCOS, provides a means for moving parts of C programs to dedicated hardware, thereby obtaining better performance. The translator was refined in steps, starting with an abstract specification and ending with a concrete specification from which C++ code was then automatically generated by the RAISE tools. In addition to illustrating the general methodology of RAISE, the paper also contributes with a specific method for refining set comprehensions
U2 - 10.1109/CMPASS.1996.507878
DO - 10.1109/CMPASS.1996.507878
M3 - Article in proceedings
SN - 0-7803-3390-X
BT - Proceedings of COMPASS'96
PB - IEEE
T2 - COMPASS'96
Y2 - 1 January 1996
ER -