EXPERIENCE USING FORMAL METHODS IN HIGH ENERGY PHYSICS

A.C. Balke, J. Carter () and J. Haveman
Additional contact information
A.C. Balke: Department of Physics and Astronomy, Utrecht University, Utrecht, Netherlands
J. Carter: ECP Division, CERN, CH-1211 Geneva 23, Switzerland
J. Haveman: Department of Physics and Astronomy, Utrecht University, Utrecht, Netherlands

International Journal of Modern Physics C (IJMPC), 1995, vol. 06, issue 04, 469-473

Abstract: We report our experience using the formal methodVDM++in high energy physics real-time applications.VDM++is an extension of the established formal method VDM to include object-oriented, concurrency and real-time features.VDM++is supported by the VENUS tool-set, comprising an OMT graphical editor,VDM++syntax and type checker, and aC++code generator. Formal specification meta-languages allow formal data modeling, algorithm and system behavior specification at a highly abstract level. Once an abstract design has converged it is refined towards a particular implementation, with formal validation of each step if desired. We have appliedVDM++to the design of a fast track pattern recognition algorithm; the design of a global second- level trigger system for LHC experiments; the specification of simulated physics data; and the design of a data router hardware unit for a LHC second-level trigger. We are encouraged by the application of mathematics in an engineering discipline and conclude that formal methods have the potential to make a valuable contribution to the systems development process in high energy physics.

Date: 1995
References: Add references at CitEc
Citations:

Downloads: (external link)
http://www.worldscientific.com/doi/abs/10.1142/S0129183195000307
Access to full text is restricted to subscribers

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:wsi:ijmpcx:v:06:y:1995:i:04:n:s0129183195000307

Ordering information: This journal article can be ordered from

DOI: 10.1142/S0129183195000307

Access Statistics for this article

International Journal of Modern Physics C (IJMPC) is currently edited by H. J. Herrmann

More articles in International Journal of Modern Physics C (IJMPC) from World Scientific Publishing Co. Pte. Ltd.
Bibliographic data for series maintained by Tai Tone Lim ().