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

fYear

2001

fDate

2001

Firstpage

421

Lastpage

424

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ASPDAC.2001.913344

Filename

913344