This document discusses critical systems and how to build them dependably. It focuses on insulin pumps as an example of a critical system. Critical systems must meet requirements for availability, reliability, safety and security. Their development process involves requirements analysis, system and program design, implementation with unit and system testing, delivery, and maintenance. Dependability requirements for an insulin pump specify that it must be available to deliver insulin as needed, reliably deliver the correct insulin dose based on blood sugar levels, and ensure excessive insulin doses are never delivered, as that could be life-threatening.