System design utilizing integrated specification and performance models

We discuss bringing two early stages of digital system design-operational specification modeling and performance modeling-under the same simulation environment. This unification is possible by integrating the operational specification model and the performance model for a given system under design, so that the two models can be simultaneously simulated and analyzed in a synergistic manner. Such an integration enables a novel design methodology that makes specification modeling an integral part of the design process.<<ETX>>

[1]  D. Schefström,et al.  Tool integration: environments and frameworks , 1993 .

[2]  Amir Pnueli,et al.  On the Formal Semantics of Statecharts (Extended Abstract) , 1987, LICS.

[3]  Martin K. Purvis,et al.  Hardware/software codesign: a perspective , 1991, [1991 Proceedings] 13th International Conference on Software Engineering.

[4]  Stanley Habib.  Microprogrammed Architectures Specified using PAISLey (A description of an ongoing project) , 1989, SIGM.

[5]  Klaus Kronlöf,et al.  Method integration: concepts and case studies , 1993 .

[6]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[7]  Andreas L. Opdahl,et al.  A Framework for Performance Engineering During Information System Development , 1992, CAiSE.

[8]  Kurt Jensen.  Coloured Petri nets: A high level language for system design and analysis , 1989, Applications and Theory of Petri Nets.

[9]  Pamela Zave,et al.  An Insider's Evaluation of PAISLey , 1991, IEEE Trans. Software Eng..

[10]  Frank Vahid,et al.  System specification and synthesis with the SpecCharts language , 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.

[11]  Barry Johnson,et al.  Integrating operational specification and performance modeling , 1992, [1992 Proceedings] The Third International Workshop on Rapid System Prototyping.

[12]  W. Bux.  Token-ring local-area networks and their performance , 1989 .