AVISTA is a software engineering and project management services corporation for life critical-systems development projects. Software for embedded systems intended for use in medical devices poses unique concerns about safety and reliability because the development environment is so very different than the intended use environment, particularly with implantable devices and specialized use equipment used in operating or diagnostic applications. Special techniques, simulators, and emulators are employed to appropriately verify software and analyze the timing of critical events and non-deterministic conditions.