Method for allocating memory to tasks without exceeding predefined memory requirements

A computer-implemented system is provided that supports a high degree of separation between processing elements. The computer-implemented system comprises a plurality of cells residing on the computer-implemented system, where each cell includes a domain of execution and at least one processing element; a separation specification that governs communication between the processing elements; and a kernel of an operating system that facilitates execution of the processing elements and administers the communication between the processing elements in accordance with the separation specification, such that one processing element can influence the operation of another processing element only as set forth by the separation specification. In particular, the separation specification provides memory allocation, remote procedure calls and exception handling mechanisms.