Jonathan Kotker

Learn More
— Timing analysis is a key step in the design of dependable real-time embedded systems, yet existing analysis tools do not work well for interrupt-driven code, which is commonly used in embedded systems. In this paper, we present a technique for timing analysis of interrupt-driven software. We show that for systems that use priority pre-emptive scheduling,(More)
We describe here the Act Ontology, a formalism for uniformly describing biochemical function, and its use in building an enzymatic pathway synthesizer. A formal description of biochemical function allows us to reason about it, and for the particular case of enzymes, this function allows us to build a synthesizer tool that given a target chemical can(More)
  • 1