Title :
A formal approach to component based development of synchronous programs
Author :
Roop, P.S. ; Sowmya, A. ; Ramesh, S.
Author_Institution :
Sch. of Comput. Sci. & Eng., New South Wales Univ., Sydney, NSW, Australia
Abstract :
Synchronous languages may be used for specification and design of embedded systems. Assuming the availability of a library of synchronous programs, we propose a technique to enable reuse of these programs, via an algorithm for automatic matching of a design function to a program from the library. The algorithm, when successful, generates an interface which automatically adapts the program. The algorithm is based on a new simulation relation called synchronous forced simulation, which is shown to be necessary and sufficient for matching a given pair of function and program
Keywords :
design for testability; embedded systems; formal verification; industrial property; software libraries; automatic matching; component based development; design function; embedded systems; simulation relation; synchronous forced simulation; synchronous programs; Algorithm design and analysis; Computer science; Databases; Design engineering; Embedded system; Industrial relations; Intellectual property; Internet; Libraries; Time to market;
Conference_Titel :
Design Automation Conference, 2001. Proceedings of the ASP-DAC 2001. Asia and South Pacific
Conference_Location :
Yokohama
Print_ISBN :
0-7803-6633-6
DOI :
10.1109/ASPDAC.2001.913344
