Title :
A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing
Author :
Vinh, Phan C. ; Bowen, Jonathan P.
Author_Institution :
Centre for Appl. Formal Methods, London South Bank Univ.
Abstract :
Dynamically reconfigurable computing within embedded computer-based systems can be partially modified at runtime without stopping the operation of the whole system. In this paper, a provable algorithm for runtime evolution of a logical configuration is formally represented by the appropriate graph transformation. In other words, programming is considered as a visual transformation of the logical configuration by the formulated rules. Their soundness is proved. A logical configuration in evolution is provable from another by applying these rules. Subsequently, an algorithmic approach to programming is formally developed and analyzed
Keywords :
embedded systems; reconfigurable architectures; software engineering; visual programming; algorithmic approach; dynamically reconfigurable computing; embedded computer-based system; embedded reconfigurable computing; formal representation; graph transformation; logical configuration; runtime evolution; software development; visual transformation; Acoustical engineering; Biomedical engineering; Computer architecture; Design engineering; Dynamic programming; Embedded computing; Embedded software; Embedded system; Runtime; Timing;
Conference_Titel :
Software Engineering Workshop, 2005. 29th Annual IEEE/NASA
Conference_Location :
Greenbelt, MD
Print_ISBN :
0-7695-2306-4
DOI :
10.1109/SEW.2005.14
