A modular framework for the development of medical applications that promotes deterministic, robust and correct code is presented. The system is based on the portable Gambit Scheme program-ming language and provides a flexible cross-platform environment for developing graphical applications on mobile devices as well as medical instrumentation interfaces running on embedded plat-forms. Real world applications of this framework for mobile diag-nostics, telemonitoring and automated drug infusions are reported.