With the wide application of real-time systems in time-critical and safety-critical areas, the timing property of a program is getting more and more attention. Henzinger has come up with LET(Logical Execution Time) programming model, which introduces semantic to deal with timing in an explicit way, assuring the timing predictability of a system. However, traditional RTOS is based on exactly different abstractions and can hardly support LET programming model in a good way. Minicore is a novel operating system model, in which a program is composed of a set of services without internal synchronization point. Minicore is based on a similar abstraction with LET model and minicore program is more time-predictable and controllable. Combining the control model of LET and execution model of Minicore, we can get a novel time-determinable programming framework. This paper mainly describes the design and implementation of the memory management of this framework. An implementation of intelligent car system is presented as a case study to prove the feasibility of this system.