Winkler models a beam on an elastic foundation.
WINSAF-I computes one-dimensional settlements by summing the vertical strains along a vertical profile; this is the classic method of estimating settlements under design loads.
WINSAF-TR performs one-dimensional consolidation analysis based on Terzaghi’s classical theory. The program is part of the Productivity Tools for Geotechnical Engineers suite of programs, but is also available separately.
WINSTRESS calculates the increment of stresses in a linearly elastic half-space due to surface loads. The program is part of the Productivity Tools for Geotechnical Engineers suite of programs, but is also available separately.
Xcalcs presents online calculation sheets for structural engineers, including analysis of beams on elastic soil.
ZSTRESS is an interactive program for calculating vertical stresses due to surface loads, using the Boussinesq and the Westergaard equations.