For embedded systems as well as for biological cell sys- tems, design is a feature that defines their identity. The as- sembly of different components in designs of both systems can vary widely. Given the similarities between computers and cellular systems, methods and models of computation from the domain of computer systems engineering might be applied to modeling cellular systems. Our aim is to con- struct a framework that focuses on understanding the design options and consequences within a cell, taking an in sil- ico (forward-) engineering approach rather than a reverse engineering approach that is used in this domain as a de- fault now. We take our ideas from the domain of embedded computer systems. The most important features of our ap- proach, as taken from this domain, are a variable abstrac- tion level of components that allows for addition of compo- nents when detailed information is lacking, and a separa- tion of concerns between function and performance by com- ponents in the design. This allows for efficient and flexible modeling. Also, there is a strict separation between com- putation within- and communication between components, reducing complexity. As a proof of principle, we show that we can make a statement regarding the design of the gene expression machinery of the cell to produce a protein, using such a method.