article · 2007
A Formal View of Multicomputers
José A. Gallud, José M. García, Francisco J. Quiles
Cited by 0Abstract and details only
Abstract
Formal Methods and Techniques are widely used in communication systems and distributed computing. Today, such techniques are not sufficiently employed in other systems as industrial processes or hardware design. In this paper we propose a methodology to apply the Lotos technique in computer design. Thus, we describe a particular case based on specifying a classical router algorithm in massively parallel machines. The e-cube routing is a deadlock-free algorithm which serves as a valid reference for our purpose. Lotos tools are used to validate the system, in particular we have used LOLA for analysis and design testing. 1: Specifying Computer Behaviour Using Lotos A number of advantages have been attributed to the use of formal specifications. These advantages cover from enhanced insight into and understanding of specifications, up to help in verification of the specifications and their implementations. Formal methods are intended to be used by software and hardware designers to describe systems, and in particular, to verify that the system has the desired properties [19].
Cite this paper
Gallud, J. A., García, J. M., & Quiles, F. J. (2007). A Formal View of Multicomputers.
Gallud, José A., et al. “A Formal View of Multicomputers.” 2007.
Gallud, José A., José M. García, and Francisco J. Quiles. 2007. “A Formal View of Multicomputers.”
Gallud, J.A., García, J.M. and Quiles, F.J. (2007) ‘A Formal View of Multicomputers’.
@article{gallud2007formal,
title = {{A Formal View of Multicomputers}},
author = {Gallud, José A. and García, José M. and Quiles, Francisco J.},
year = {2007}
}Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.