# Modeling timing characterists of an architecture

I am building a system and I have a couple of architectures in mind. I want to have an idea of which architecture is likely to be most performant (quickest).

I can make different decisions like 1) Do everything in one thread 2) Separate this part into one thread, that part into another thread since it can run in parallel and so on

Instead of actually building the system in two different ways and seeing how it performs, is there a way to quickly model/prototype the system where I can express the above concepts and the times it takes for inter thread I/O etc (of which I have a very good estimate) and use the model/prototype to estimate which architecture is better?

-
Maybe you need a process calculus focused on timing? I cannot help further, I don't know about PC, but it could be an interesting trail to follow. – didierc Feb 21 '13 at 21:50
Essentially, what you want to do is called Synthesis (constructing a system from specifications). In discrete time, this problem is $2-EXP$-complete. In continuous time I think it's even harder. Try this( google.co.il/…) for reference. – Shaull Feb 22 '13 at 10:29