Professional Documents
Culture Documents
Steve A. Maas
Benjamin J. Ellis
for Biomechanics
In the field of computational biomechanics, investigators have primarily used commercial
Department of Bioengineering,
software that is neither geared toward biological applications nor sufficiently flexible to
Scientific Computing and Imaging Institute,
follow the latest developments in the field. This lack of a tailored software environment has
University of Utah,
hampered research progress, as well as dissemination of models and results. To address
Salt Lake City, UT 84112
these issues, we developed the FEBio software suite (http://mrl.sci.utah.edu/software/febio),
a nonlinear implicit finite element (FE) framework, designed specifically for analysis in
computational solid biomechanics. This paper provides an overview of the theoretical ba-
Gerard A. Ateshian sis of FEBio and its main features. FEBio offers modeling scenarios, constitutive models,
Department of Mechanical Engineering,
and boundary conditions, which are relevant to numerous applications in biomechanics.
Department of Biomedical Engineering,
The open-source FEBio software is written in C, with particular attention to scalar
Columbia University,
and parallel performance on modern computer architectures. Software verification is a
New York, NY 10027
large part of the development and maintenance of FEBio, and to demonstrate the general
approach, the description and results of several problems from the FEBio Verification
Jeffrey A. Weiss1 Suite are presented and compared to analytical solutions or results from other estab-
Department of Bioengineering,
lished and verified FE codes. An additional simulation is described that illustrates the
Scientific Computing and Imaging Institute,
application of FEBio to a research problem in biomechanics. Together with the pre- and
University of Utah,
postprocessing software PREVIEW and POSTVIEW, FEBio provides a tailored solution for
Salt Lake City, UT 84112
research and development in computational biomechanics. [DOI: 10.1115/1.4005694]
e-mail: jeff.weiss@utah.edu
Keywords: FEBio, finite element, biomechanics, verification, computational mechanics,
biphasic theory
Here, xk uk X and xk1 are the current nodal coordinates at 3.3.1 Contact. Several contact algorithms are available in
iterations k and k 1, respectively. Ideally, Newtons method FEBio. To enforce the contact constraint, a contact work contribu-
achieves a quadratic convergence rate in the neighborhood of a tion is added to the virtual work statement in Eq. (1). The contact
solution. However, it also requires the formation and factorization integral is of the following form:
of the stiffness matrix at every iteration, which is the most costly h i
part of nonlinear finite element analysis from a computational Gc t1 x w1 x w2 yx dC (8)
1
standpoint. Quasi-Newton methods offer an attractive alternative. Cc
For these methods, the true stiffness matrix K is replaced by an
approximation that is relatively easy to calculate. FEBio uses the Here, ti is the contact reaction force on body i and wi are
BFGS method [23], which is one of the more effective quasi- weight functions. One can also look at t as a Lagrange multiplier
Newton methods for computational solid mechanics. that enforces the contact constraint. This contact formulation is
general enough to support both sliding interfaces, where the
3.2 Element Technology. The 3D solid elements in FEBio objects may slide across each other, and tied interfaces, where
are isoparametric elements, meaning that the element geometry both objects are required to stick together at the contact interface.
and displacement fields on the element are interpolated with the In the case of porous permeable media, a new contact algorithm
same shape functions. Currently available elements include the between biphasic materials allows for tracking of fluid flow across
linear hexahedron, pentahedron, and tetrahedron. It is well-known the contact interface. In other words, fluid can flow from one side
that these elements tend to lock for nearly and fully incompres- of the contact interface to the other when both contact surfaces are
sible material response when using a displacement-only formula- biphasic [31]. FEBio supports both a standard penalty-type
tion. FEBio deals with this problem by using a three-field element enforcement of the contact constraint, as well as the augmented
formulation (the mean dilatation method) for the hexahedral and Lagrange method, which calculates the Lagrange multipliers
pentahedral elements [25]. For tetrahedral elements, a nodally incrementally [32].
integrated tetrahedron provides enhanced performance for finite
deformation and near-incompressibility compared to the standard 3.4 Rigid Bodies. Rigid bodies are supported as a separate
constant strain tetrahedron [26]. material type. For groups of elements, faces and=or nodes that are
Quadrilateral and triangular shell elements in FEBio use an exten- assigned the rigid body material type in FEBio, nodal degrees
sible director formulation [27]. Six degrees of freedom are assigned of freedom are condensed down to six degrees of freedom. The
to each shell node: three displacement degrees of freedom and three result is a vast reduction in the number of the total degrees of free-
director degrees of freedom. A three-point Gaussian quadrature rule dom and leads to a very efficient implementation of the rigid body
is used for integration through the thickness of the shell. constraint [33]. Rigid bodies can also be connected by rigid joints.
FEBio also solves porous media problems using the mixture The rigid joint constraints are enforced using an augmented
framework known as the biphasic theory [28]. For such problems, Lagrangian method.
a fluid phase exists along with the solid phase and therefore
requires the solution of a separate fluid field problem. In FEBio, a 3.5 Linear Solvers. As over 90% of the execution time of
up formulation is used to solve the coupled solidfluid problem large problems in an implicitly integrated nonlinear FE code is
for the unknown displacements and fluid pressures [29]. Like the spent in the linear solver (which is called repeatedly for the New-
displacements, the fluid pressures are defined at the nodes and the ton or quasi-Newton solution method), the linear solver is typi-
biphasic elements are integrated using the same quadrature rule as cally the bottleneck for large computations. Consequently, an
the structural elements. In the formulation an additional equation efficient and robust linear solver was needed. The linear solver
is needed to satisfy the conservation of mass for the mixture. The must run on all supported platforms (Linux, Windows, Mac), take
weak formulation now requires the solution of a coupled optimal advantage of the sparseness of the stiffness matrix, handle
displacement-pressure problem. both symmetric and nonsymmetric matrices (necessary for bipha-
sic problems), and support parallel execution. For this reason,
dWm /; p; dv r : dddv f dvdv t dvda 0 (6) FEBio includes support for PARDISO [34,35], SUPERLU [36], and
v v @v WSMP [37]. These solvers take optimal advantage of the sparse
stiffness matrix by storing only the nonzero matrix elements using
and the HarwellBoeing matrix storage format. Further, they can han-
dle nonsymmetric matrices and support parallel execution on mul-
dWf /; p; dp w rdp dp1 : ddv dpw nda 0 ticore shared-memory architectures.
v @v
(7) 3.6 Software Implementation. FEBio is written in C.
This programming language was chosen over FORTRANthe more
Equation (6) is recognized as the virtual work Equation (1). In Eq. commonly used language in scientific computingfor two rea-
(7), dp is a virtual fluid pressure and w is the flux of fluid relative sons. First, the performance penalties that once existed in object-
to the solid, which can be calculated for instance by Darcys law oriented programming languages (compared to procedural lan-
w krp, where k is the permeability tensor, and n is the unit guages such as FORTRAN) have been mostly overcome by modern
outward normal to @v. compilers [38]. Second, C encourages the use of a modular
code structure that simplifies the development and maintenance of
3.3 Constitutive Models. The material representations in a sophisticated software program. This modular structure also
FEBio span the range of elastic solids, viscoelastic solids, biphasic offers advantages for users who wish to customize FEBio for their
4 Verification Problems
Results produced by FEBio were compared to analytical solu-
tions or the solutions from two established and verified FE codes,
ABAQUS (Version 6.7, Simulia, Providence, RI) and NIKE3D (Ver-
sion 3.4.1, Methods Development Group, Lawrence Livermore
National Laboratory, Livermore, CA [39]). The problem descrip-
tion and results are presented together for each verification prob-
lem. The FEBio Verification Suite consists of over 140 test
problems, and those described in the following are representative.
l k
XN
ci ~mi ~mi ~mi K W NH I1 3 l ln J ln J 2 (11)
W OG k1 ; k2 ; k3 ; J k 1 k2 k3 3 ln J 2 2 2
i1
m2i 2
(10) Here, l and k are the Lame parameters, I1 trC is the first invari-
ant of the right CauchyGreen deformation tensor. For this prob-
Here, k~i are the deviatoric principal stretches and ci and mi are lem, the material parameters were chosen to be k 1:43 MPa and
material coefficients. Material incompressibility was enforced l 0:357 MPa and the permeability of the mixture was chosen to
using the augmented Lagrangian method. Material coefficients be 103 mm4 =N s. Results from FEBio were compared to the ana-
were chosen to represent the bulk soft tissue properties of the lytical solution in Mow et al. [28] for verification. The creep
heel-pad (N 1, c1 0:0329 MPa, m1 6:82) [42]. Again, the response predicted by FEBio was in excellent agreement with the
bulk modulus K was chosen sufficiently high to enforce near- analytical solution for the confined compression problem (Fig. 2).
incompressibility. Results from FEBio were compared to analyti-
cal solutions. Excellent agreement was achieved between the 4.3 Unconfined Compression Stress Relaxation. In this
analytical solutions and the predicted responses from FEBio for test, a cylindrical tissue sample is exposed to a prescribed dis-
both constitutive equations (Fig. 1). placement in the axial direction while left free to expand radially.
(Fig. 5). The beam had a solid rectangular cross section (100 mm
thick 150 mm height) and three different mesh densities were
used (100, 200, and 400 elements along the length of the beam).
One element was used through the thickness in all cases. One end
of the beam was constrained using nodal constraints, whereas a
vertical load of 269.35 N was applied at the opposite tip of the
beam. The beam was represented as a hyperelastic St. Venant Fig. 5 Geometrically nonlinear analysis of a cantilever beam.
Kirchhoff elastic material: (Top) Cantilever beam in the undeformed and deformed config-
urations showing the beam length and deflection. (Bottom) End
1 displacement versus percentage of applied load for the analyti-
W SV ktrE2 l E : E (12) cal solution and FEBio simulations using 100, 200, and 400 ele-
2 ments along the length of the beam. The beam deflection
predicted by FEBio was nearly identical to the analytical solu-
where k and l are the Lame parameters (k 0 MPa, l 50 MPa) tion when 400 elements were used to discretize the beam.
and E is the GreenLagrange strain tensor. The use of the Green
Lagrange strain tensor in the formulation of the St. Venant
Kirchhoff constitutive equation makes it appropriate for the large displacement of the corner node predicted by FEBio was com-
rotations and small strains in this problem. The cantilever tip pared to the analytical solution.
deflection predicted by FEBio was compared to the analytical so- The corner displacement predicted by FEBio was nearly identi-
lution for the large deflection of a cantilever beam [48]. cal to the analytical solution for the twisted ribbon test for shells
The beam deflection predicted by FEBio was nearly identical to when 2048 elements were used to mesh the plate (Fig. 6). To put
the analytical solution for the geometrically nonlinear analysis of this result in perspective, the corner displacement predicted by
a cantilever beam for a model with 400 elements along the length FEBio was <2% different when half that many elements were
of the beam (Fig. 5). Models with 100 and 200 elements produced used and 30% different when only 32 elements were used.
a slightly stiffer response.
4.7 Upsetting of an Elastic Billet. This problem is com-
monly used to test finite element approaches for enforcing near-
4.6 Twisted Ribbon Test for Shells. This is one of a number and full-incompressibility, as the domain is highly constrained. A
of verification problems that are used to verify the shell element billet of material was compressed between two rigid flat surfaces
formulation in FEBio. A plate discretized with shell elements was (Fig. 7(A)). As the material was only compressed to the point
twisted by constraining one end and applying equal but opposite when the material bulging from the middle of the billet makes
forces to the corners of the nonconstrained end (Fig. 6). The prob- contact with the flat surfaces (Fig. 7(B)), this problem is a simpli-
lem description and analytical solution were originally presented fication of the contact problem presented in the next example
by Batoz [49]. The plate dimensions were 1.00 2.00 0.05 mm (Fig. 7(C)).
and five models with mesh densities from 32 to 2048 elements A quarter-symmetry, plane strain model was produced (Fig.
were used for a convergence study. Nodes along one short edge 7(A)). The model dimensions were 1.0 1.0 0.1 mm, and a
were clamped using nodal constraints and the plate was twisted by mesh of 10 10 1 elements produced converged results. Bound-
applying equal but opposite forces of 1 N to the corners nodes ary and loading conditions were prescribed using nodal con-
of the opposite short edge. The St. VenantKirchhoff material straints and nodal loads, respectively. The billet was represented
was used (Eq. (12), k 2.5 107 MPa, l 2 106 MPa). The as an uncoupled MooneyRivlin material (Eq. (9), C1 1 MPa,
numerical algorithms between the different software packages. [11] Doyle, J. M., and Dobrin, P. B., 1971, Finite Deformation Analysis of
These results give researchers confidence that FEBio can provide the Relaxed and Contracted Dog Carotid Artery, Microvasc. Res., 3, pp.
400415.
accurate results for their computational research questions as well. [12] Janz, R. F., and Grimm, A. F., 1972, Finite-Element Model for the Mechanical
Of course, problem-specific verification, mesh convergence stud- Behavior of the Left Ventricle. Prediction of Deformation in the Potassium-
ies and validation are still necessary to assure that the predictions Arrested Rat Heart, Circ. Res., 30, pp. 244252.
from FEBio (or any other FE code) are accurate for a specific [13] Matthews, F. L., and West, J. B., 1972, Finite Element Displacement Analysis
of a Lung, J. Biomech., 5, pp. 591600.
problem [16,17]. [14] Farah, J. W., Craig, R. G., and Sikarskie, D. L., 1973, Photoelastic and Finite
The development of FEBio is ongoing. New element formula- Element Stress Analysis of a Restored Axisymmetric First Molar, J. Biomech.,
tions, contact algorithms, and constitutive equations are being 6, pp. 511520.
implemented and will become available in future versions. Con- [15] Belytschko, T., Kulak, R. F., Schultz, A. B., and Galante, J. O., 1974, Finite
Element Stress Analysis of an Intervertebral Disc, J. Biomech., 7, pp. 277285.
tinued emphasis will be placed on support and dissemination of [16] Anderson, A. E., Ellis, B. J., and Weiss, J. A., 2007, Verification, Validation
FEBio in the form of documentation of the software and its exam- and Sensitivity Studies in Computational Biomechanics, Comput. Methods
ple problems, online manuals, and on our online forum. We hope Biomech. Biomed. Eng., 10, pp. 171184.
that this open-source finite element framework using modern soft- [17] Henninger, H. B., Reese, S. P., Anderson, A. E., and Weiss, J. A., 2010,
Validation of Computational Models in Biomechanics, Proc. Inst. Mech. Eng.
ware design principles will not only provide a new and useful tool Part H, J. Eng. Med., 224, pp. 801812.
for computational biomechanics, but also set a new standard for [18] Maas, S. A., and Weiss, J. A., 2007, FEBio Users Manual, http://mrl.sci.utah.
computational simulation software in this field. edu/software/febio.
[19] ASME, 2006, Guide for Verification and Validation in Computational Solid
Mechanics, ASME Committee (PT60) on Verification and Validation in Com-
Acknowledgment putational Solid Mechanics.
Financial support from the National Institutes of Health [20] Babuska, I., and Oden, J. T., 2004, Verification and Validation in Computa-
tional Engineering and Science: Basic Concepts, Comput. Methods Appl.
(1R01GM083925) is gratefully acknowledged. The authors thank Mech. Eng., 193, pp. 40574066.
Dr. Ahmet Erdemir (Cleveland Clinic Foundation) and Dr. [21] Maas, S. A., and Weiss, J. A., 2007, FEBio Theory Manual, http://mrl.sci.utah.
Alexander Veress (University of Washington) for their feedback edu/software/febio.
related to the FEBio software development. [22] Bonet, J., and Wood, R. D., 1997, Nonlinear Continuum Mechanics for Finite
Element Analysis, Cambridge University Press, Cambridge, NY.
[23] Matthies, H., and Strang, G., 1979, The Solution of Nonlinear Finite Element
References Equations, Int. J. Num. Methods Eng., 14, pp. 16131626.
[1] Anderson, A. E., Peters, C. L., Tuttle, B. D., and Weiss, J. A., 2005, Subject- [24] Bonet, J., and Wood, R. D., 1997, Nonlinear Continuum Mechanics for Finite
Specific Finite Element Model of the Pelvis: Development, Validation and Sen- Element Analysis, Cambridge University Press, Cambridge, NY.
sitivity Studies, J. Biomech. Eng., 127, pp. 364373. [25] Simo, J. C., and Taylor, R. L., 1991, Quasi-Incompressible Finite Elasticity in
[2] Spilker, R. L., Feinstein, J. A., Parker, D. W., Reddy, V. M., and Taylor, C. A., Principal Stretches: Continuum Basis and Numerical Algorithms, Comput.
2007, Morphometry-Based Impedance Boundary Conditions for Patient- Methods Appl. Mech. Eng., 85, pp. 273310.
Specific Modeling of Blood Flow in Pulmonary Arteries, Ann. Biomed. Eng., [26] Puso, M. A., and Solberg, J., 2006, A Stabilized Nodally Integrated Tet-
35, pp. 546559. rahedral, Int. J. Num. Methods Eng., 67, pp. 841867.
[3] Wang, L., Zhang, H., Shi, P., and Liu, H., 2006, Imaging of 3D Cardiac Elec- [27] Betsch, P., and Gruttmann, F., 1996, A 4-Node Finite Shell Element for the
trical Activity: A Model-Based Recovery Framework, Med. Image Comput. Implementation of General Hyperelastic 3D-Elasticity at Finite Strains, Com-
Comput. Assist. Interv., 9, pp. 792799. put. Methods Appl. Mech. Eng., 130, pp. 5779.
[4] Speelman, L., Bohra, A., Bosboom, E. M., Schurink, G. W., van de Vosse, F. [28] Mow, V. C., Kuei, S. C., Lai, W. M., and Armstrong, C. G., 1980, Biphasic
N., Makaorun, M. S., and Vorp, D. A., 2007, Effects of Wall Calcifications in Creep and Stress Relaxation of Articular Cartilage in Compression: Theory and
Patient-Specific Wall Stress Analyses of Abdominal Aortic Aneurysms, J. Bio- Experiments, J. Biomech. Eng., 102, pp. 7384.
mech. Eng., 129, pp. 105109. [29] Ateshian, G. A., Ellis, B. J., and Weiss, J. A., 2007, Equivalence Between
[5] Portnoy, S., Yarnitzky, G., Yizhar, Z., Kristal, A., Oppenheim, U., Siev-Ner, I., Short-Time Biphasic and Incompressible Elastic Material Response, J. Bio-
and Gefen, A., 2007, Real-Time Patient-Specific Finite Element Analysis of mech. Eng. 129(3), pp. 405412.
Internal Stresses in the Soft Tissues of a Residual Limb: A New Tool for Pros- [30] Weiss, J. A., Maker, B. N., and Govindjee, S., 1996, Finite Element Imple-
thetic Fitting, Ann. Biomed. Eng., 35, pp. 120135. mentation of Incompressible, Transversely Isotropic Hyperelasticity, Comput.
[6] Schmid-Schonbein, G. W., and Diller, K. R., 2005, Transport Processes in Methods Appl. Mech. Eng., 135, pp. 107128.
Biomedical Systems: A Roadmap for Future Research Directions, Ann. [31] Ateshian, G. A., Maas, S., and Weiss, J. A., 2010, Finite Element Algorithm
Biomed. Eng., 33, pp. 11361141. for Frictionless Contact of Porous Permeable Media Under Finite Deformation
[7] Crawford, R. P., Rosenberg, W. S., and Keaveny, T. M., 2003, Quantitative and Sliding, J. Biomech. Eng., 132, p. 061006.
Computed Tomography-Based Finite Element Models of the Human Lumbar [32] Laursen, T. A., and Maker, B. N., 1995, Augmented Lagrangian Quasi-
Vertebral Body: Effect of Element Size on Stiffness, Damage, and Fracture Newton Solver for Constrained Nonlinear Finite Element Applications, Int. J.
Strength Predictions, J. Biomech. Eng., 125, pp. 434438. Numer. Methods Eng., 38, pp. 35713590.
[8] Li, L. P., and Herzog, W., 2006, Arthroscopic Evaluation of Cartilage Degen- [33] Maker, B. N., 1995, Rigid Bodies for Metal Forming Analysis With NIKE3D,
eration Using Indentation TestingInfluence of Indenter Geometry, Clin. Bio- University of California, Lawrence Livermore Laboratory, Report No. UCRL-
mech. (Bristol, Avon), 21, pp. 420426. JC-119862, pp. 18.
[9] Li, L. P., and Herzog, W., 2005, Electromechanical Response of Articular Carti- [34] Schenk, O., and Gartner, K., 2004, Solving Unsymmetric Sparse Systems of
lage in IndentationConsiderations on the Determination of Cartilage Properties Linear Equations With PARDISO, J. Future Gen. Comput. Syst., 20, pp.
During Arthroscopy, Comput. Methods Biomech. Biomed. Eng., 8, pp. 8391. 475487.
[10] Davids, N., and Mani, M. K., 1974, A Finite Element Analysis of Endothelial [35] Schenk, O., and Gartner, K., 2006, On Fast Factorization Pivoting Methods
Shear Stress for Pulsatile Blood Flow, Biorheology, 11, pp. 137147. Avail- for Symmetric Indefinite Systems, Elect. Trans. Numer. Anal., 23, pp.
able at http://www.ncbi.nlm.nih.gov/pubmed/4441640. 158179. Available at http://etna.mcs.kent.edu/.