Abstract
While evolving from an abstract concept into a detailed implementation, the design of a complex digital system proceeds through different design stages. Due to the lack of effective communication of design intent among these stages, errors are introduced in the product. Early detection of such errors is crucial for increasing the robustness and reducing the design costs of the final product. To facilitate early detection, a design methodology must support model continuity.
We address the problem of model continuity in the context of reactive systems through the integration of operational specification and performance models. Both models execute concurrently, exchanging data and simulation stimuli with each other. We have developed a novel technique, called performance annotation, which allows the dynamic incorporation of delay-related information into an operational specification from a concurrently executing performance model. This incorporation is done in an implementation-independent manner. We also provide conformance checking between the two models using a simulation-based algorithm. Similar to the comparison-checking technique found in the context of software design diversity, this algorithm checks the operational-specification and performance models by comparing their output sequences against each other. However, we also address situations when the output sequences can be quite different even if the models conform, and prove that the algorithm correctly determines all conformance violations, under certain design assumptions, during a simulation session.
Integration of operational specification and performance models gives rise to a novel design methodology. Starting from an operational specification, the designer proposes an implementation in an incremental and iteratively-refined manner. Using this methodology, we demonstrate how one can validate an implementation against its specification, remove ambiguities in the original specification, and obtain very early performance estimates for a system under design.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
Avizienis, A. “Design diversity — The challenge of the eighties,” Proceedings of the 12th Annual International Symposium on Fault-Tolerant Computing, June 22–24, 1982, Santya Monica, California, pp. 44–45.
Aylor, J. H. and Waxman, R. and Johnson, B.W. and R.D. Williams,. The Integration of Performance and Functional Modeling in VHDL. In Performance and Fault Modeling with VHDL. Schoen, J. M., Prentice Hall, Englewood Cliffs, NJ 07632, 1992, pages 22–145.
Aylor, J. H. and Williams, R. D. and Waxman, R. and Johnson, B. W. and Blackburn, R. L. A Fundamental Approach to Uninterpreted/Interpreted Modeling of Digital Systems in a Common Simulation Environment. Technical Report TR # 900724.0, July 24, 1990.
Berry, G. and Benveniste, A. Another Look at Real-Time Programming, Proceedings of the IEEE 79, 1991
J. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt. Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems Int. Journal of Computer Simulation, special issue on “Simulation Software Development,” vol. 4, pp. 155–182, April, 1994.
Brilliant, S.S., Knight, J.C., and Ammann, P.E. On the Performance of Software Testing using Multiple Versions. FTCS 20 pp. 408–415. 1990.
Bagrodia, R. L. and Shen, C. MIDAS: Integrated Design and Simulation of Distributed Systems. IEEE Transactions on Software Engineering 17(10) October 1991.
Beggs, R., Sawaya, J., Ciric, C. and Etzl, J. Automated Design Decision Support System, DAC 92:506–511.
Blackburn, R. L. and Thomas, D. E. Linking the Behavioral and Structural Domains of Representation in a Synthesis System. DAC 85:374–380.
Bux, W. Token-Ring Local-Area Networks and their Performance. Proceedings of the IEEE, Feb, 1989.
Calvez, J. P., Embedded Real-time Systems: A Specificatin and Design Methodology, Wiley Series in Software-Engineering Practice, 1993
Cutright, E. D. Performance Modeling of Fault-Tolerant Systems using VHDL. In M.S. Thesis., Department of Electrical Engineering, University of Virginia, 1991.
Cutright, E. D. High-level performance modeling of a skip ring local area network using VHDL. Technical Report TR# 900525.0, CSIS, University of Virginia, May 25, 1990.
Davis, A. M. A Comparison of Techniques for the Specification of External System Behavior. Communication of the ACM 31(9): 1098–1115 September 1988.
Davis, A. Requirements language processing for the effective testing of real-time software. ACM Softw. Eng. Notes 3(5):61–66 Nov 1978.
DeMarco, T. Structured Analysis and System Specification. Prentice Hall, Englewood Cliffs, New Jersey, 1979.
Franke, D. W. and Purvis, M. K. Hardware/Software Codesign: A Perspective. Proceedings of 13th International Conference on Software Engineering, pages 344–352, May 13–16, 1991.
Gajski, D. D. and Dutt, N. and Wu, A. and Lin, S. HIGH-LEVEL SYNTHESIS: Introduction to Chip and System Design. Kluwer Academic Publishers, 1992.
Gmeiner, L. and Voges, U. “Software Diversity in Reactor-Protection Systems: An Experiment”, Safety of Computer Control Systems, R. Lauber, Ed., Pergamom Press, pp. 75–79, 1980.
Gajski, D. D., Vahid, F., Narayan, S. and Gong, J. Specification and Design of Embedded Systems, PTR Prentice Hall, 1994
Gajski, D.D., Vahid, F., Narayan, S., “A system-design methodology: Executable-specification refinement”, In Proceedings of the European conference on Design Automation (EDAC), 1994
Harel, D. Biting the Silver Bullet. Toward a Brighter Future for System Development. IEEE Computer January 1992.
Harel, D. On Visual Formalisms. CACM 31:514–530 1988.
Harel, D. Statecharts: A Visual Formalism For Complex Systems. In Volume 8:Science of Computer Programming., 1987, pages 231–274.
Huizing, C. Introduction to design choices in the semantics of Statecharts et al. Inf. Process. Lett. 37:205–213 1991.
Huizing, C. Modeling Statecharts Behavior in a fully abstract way et al. Springer-Verlag, New York, pages 271–294, 1988.
IEEE. IEEE Standard VHDL Language Reference Manual. IEEE Inc., NY, 1988.
IEEE. Token-Ring Local Area Network: Premier Issue, IEEE Network, Jan 1987, Vol.1, No.1.
IEEE. An American National Standard IEEE Standards for Local Area Networks: Token Ring Access Method and Physical Layer Specifications. ANSI/IEEE Std 802.5-1985 ISO Draft Proposal 8802/5. IEEE Inc., 1985.
i-Logix Inc., Express VHDL Documentation, 1992
Jacome, M. F. and Director, S. W. Design Process Management for CAD Frameworks. 29th ACM/IEEE DAC:500–505 1992.
Lor, K. E. and Berry, D. M. Automatic Synthesis of SARA Design Models from System Requirements. IEEE Transactions on Software Engineering 17(12): 1229–1240 Dec. 1991.
Lipsett, R., Schaefer, C, and Ussery, C. VHDL: Hardware Description and Design. Kluwer Academic Publishers. 1989.
Narayan, S. and Gajski, D.D.Features Supporting System-Level Specifications in HDLs. In EURO-DAC’93, CCH Hamburg, Germany, 1993, pp. 540–545.
Narayan, S. and Vahid, F. and Gajski, D. System Specification and Synthesis with the Spec Charts Language. Proc. ICCAD:266–269 1991.
Opdahl, A. L. and Solvberg, A. A Framework for Performance Engineering during Information System Development. (Advanced Information Systems Engineering CAiSE’92, Manchester, UK):65–87 May 12–15, 1992 proceedings.
Peterson, J. Petri-nets. ACM Computing Surveys 9(3):223–252 Sep 1977.
Peterson, J. L. Petri Net Theory and the Modeling of Systems. Prentice Hall, Englewood Cliffs, N.J., 1981.
Revel, S. Integration of Specification and Performance Models. IRESTE 3, July 1994.
Rao, R. and Johnson, B. W. and Aylor, J. H. A Building Block Approach to Performance Modeling Using VHDL Technical Report TR# 900116.0, Department of Electrical Engineering, University of Virginia, Jan 16, 1990.
Ramamoorthy, C.C., Mok, Y.R., Bastani, F.B., Chin, G.H., and Suzuki, K. “Application of a Methodology for the Development and Validation of Reliable Process Control Software”, IEEE Transactions on Software Engineering, Vol SE-7, No. 6, November 1981.
Rockstorm, A. and Saracco, R. SDL-CCITT specification and description language. IEEE Trans. Commun. 30(6): 1310–1318 June 1982.
Sarkar, A., Integrating Operational Specification with Performance Modeling for Digital-System Design, Ph.D. Thesis, May 1995.
Schefström, D. and van den Broek, D., Tool Integration: Environments and Frameworks, Wiley Series in Software Based Systems, 1993.
Srivastava, M. B. and Brodersen, R. W. Rapid-Prototyping of Hardware and Software in a Unified Framework. EECS Department, UC at Berkeley, 1991.
Schefström, D. Building a Highly Integrated Development Environment Using Pre-existing Parts, In IFIP’89, San Francisco, CA, USA, September 1989.
Saglietti, F. and Ehrenberger, W. “Software Diversity — Some Considerations about its Benefits and its Limitations.” Digest of Papers: SAFECOMP’86, 5th International Workshop on Achieving Safe Real-Time Computer Systems. France, October 1986.
Sortais, S. Establishment of Link Between Specification and Performance Models of a Token Ring LAN. IRESTE 3, April 1993.
Srinivasan, S. ADEPT: An Advanced Design Environment Prototype Tool. In M.S. Thesis., Department of Electrical Engineering, University of Virginia, 1990.
Sun, J. S. and Srivastava, M. B. and Brodersen, R. W. SIERA: A CAD Environment for Real-Time Systems. EECS Department, UC at Berkeley, 1991.
Srinivasan, S. and Sarkar, A. and Waxman, R. and Johnson, B. W. Integrating Operational Specification and Performance Modeling. Fall’92 VHDL International Users’ Conference, Washington DC, 10/18/92.
Strole, N. “The IBM token-ring network — A Functional Overview.” IEEE Network, Jan 1987.
Swaminathan, G. Colored Petri Net Descriptions for UVa Primitive Modules. Technical Report TR# 920922.0, Department of Electrical Engineering, University of Virginia, Sep 22, 1992.
Sarkar, A., Waxman, R. and Cohoon, J.P. System Design Utilizing Integrated Specification and Performance Models. Proceedings, VHDL International Users Forum, Oakland, California, May 1–4, 1994, pp 90–100.
Sarkar, A., Waxman, R. and Cohoon, J.P., A survey of specification methodologies for reactive systems, Current Issues in Electronic Modeling, Issue 3, Kluwer Academic Publishers, 1995.
Vahid, F. and Gajski, D. D. Specification Partitioning for System Design. DAC 92:219–224.
Vouk, M.A., Helsabeck, M.L., Tai, K.C., and McAllister, D.F. “On Testing of Functionally Equivalent Components of Fault-Tolerant Software”. Proc. COMPSAC 86, 1986, pp 414–419.
Woo, N. and Wolf, W. and Dunlop, A. Compilation of a single specification into hardware and software. AT&T Bell Labs, 1992.
Zave, P. The Operational versus the Conventional Approach to Software Development. CACM 27(2) February 1984.
Zave, P. and Shell, W. Salient features of an executable specification language and its environment. IEEE Transactions on Software Engineering 12(2):312–325 Feb, 1986.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Kluwer Academic Publishers
About this chapter
Cite this chapter
Sarkar, A., Waxman, R., Cohoon, J.P. (1996). Integrating Operational Specification with Performance Modeling for Digital-System Design. In: Bergé, JM., Levia, O., Rouillard, J. (eds) Meta-Modeling. Current Issues in Electronic Modeling, vol 6. Springer, Boston, MA. https://doi.org/10.1007/978-1-4613-1347-2_1
Download citation
DOI: https://doi.org/10.1007/978-1-4613-1347-2_1
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4612-8580-9
Online ISBN: 978-1-4613-1347-2
eBook Packages: Springer Book Archive