truth

Truth is a multi-discipline project for design and evaluation of fault-tolerant and secure computing systems (Computing). Truth is a computing infrastructure specfically designed and being developed for novice programmers who have a strong technical background on their application areas (e.g., bioengineering, biology, and medicine) not computer science or engineering. Truth aims application areas with strong reliability, safety, security, and real-time requirements (e.g., personal health-care devices). Truth consists of three key components: (i) an event-driven programming model, (ii) a toolchain to automatically generate customized hardware and software platforms (i.e., microprocessor, runtime software, and compiler) for tasks specified by our programming model, and (iii) a tool to validate/verify the design requirements of these auto-generated platforms. This framework is built and applied to a personal health