Integrating operational specification and performance modeling

There are two important early stages in the design of complex systems: modeling of the system (operational) specification, and modeling of the system performance. A link between operation specification and performance modeling via VHDL (VHSIC hardware description language) is proposed, and it is shown by an example how the models can be made to interact, yielding a synergy leading to design efficiency and accuracy. The usefulness of such a link is justified by an example.<<ETX>>

[1]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[2]  James H. Aylor,et al.  Uninterpreted modeling using the VHSIC hardware description language (VHDL) , 1989, 1989 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

[3]  David L. Parnas,et al.  On the use of transition diagrams in the design of a user interface for an interactive computer system , 1969, ACM '69.

[4]  Amnon Naamad,et al.  Statemate: a working environment for the development of complex reactive systems , 1988, ICSE '88.

[5]  Alan M. Davis,et al.  A comparison of techniques for the specification of external system behavior , 1988, CACM.

[6]  A. Pnueli,et al.  STATEMATE: a working environment for the development of complex reactive systems , 1988, Proceedings. [1989] 11th International Conference on Software Engineering.

[7]  R. Waxman,et al.  Operational specification of the SINCGARS radio in VHDL , 1990, Conference Proceedings on Tactical Communications, Vol.1..