Patent
1997-05-09
1999-10-12
Teska, Kevin J.
G06F 1700
Patent
active
059665165
ABSTRACT:
A method and apparatus for defining a system design specification by using a finite set of templates that have a format for accepting a set of system expression such that a selected template, when filled with the system expressions, defines an intended behavioral attribute of the system. In one illustrative embodiment, each template has a set of qualifiers and a set of entry blanks, wherein each qualifier is associated with an entry blank. In such an embodiment, the set of entry spaces may comprise a fulfilling condition entry space for accepting a system expression that defines a required or assumed event of the system model, an enabling condition entry space for accepting a system expression that defines a precondition for starting a check of the required or assumed event, and a discharging condition entry space for accepting a system expression that defines a condition after which said fulfilling condition is no longer required or assumed by the system model. Filling the entry spaces of a selected template with the appropriate system expression can form an expression that defines an intended behavior of the system model. Thus, a set of filled templates can define a set of intended behaviors of the system model (i.e. a system design specification). The system design specification can then be used to generate computer-executable code (e.g. automata) for testing the intended behavioral attributes of the system. For example, each filled template of the system design specification can be converted to an automaton by a given subroutine.
REFERENCES:
patent: 5404319 (1995-04-01), Smith
patent: 5465216 (1995-11-01), Rotem
patent: 5493508 (1996-02-01), Dangelo
patent: 5539680 (1996-07-01), Palnitkov
patent: 5548539 (1996-08-01), Vlach
patent: 5572437 (1996-11-01), Rastoker
patent: 5572712 (1996-11-01), Jamal
patent: 5594657 (1997-01-01), Cantone
patent: 5734837 (1998-03-01), Flores
patent: 5740084 (1998-04-01), Hardin
Goering, Richard, "Formal Verification Tools Tipped at DAC" Elect. Engineering Times, p. 1, Jun. 19, 1995.
Software Magazine, v 15, p. 114, "Template Software, Inc. . . . ", Mar. 1995.
Murdoch, John, "Use Template Forms . . . ", Data Based Advisor, v12, p. 164, Nov. 1994.
Bentley, Jon, "Template Driven Programming" UNIX Review v 12, p. 79, Apr. 1994.
De Palma Gary F.
Glaser Arthur Barry
Kurshan Robert Paul
Wesley Glenn R.
DiGiorgio James
Gurey Stephen M.
Lucent Technologies - Inc.
Roberts A. S.
Teska Kevin J.
LandOfFree
Apparatus for defining properties in finite-state machines does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Apparatus for defining properties in finite-state machines, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Apparatus for defining properties in finite-state machines will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-660616