Modelling in the contexts of verification and design/13. actual research questions

here, we want to keep and update a list on actual research questions.

classes of NMR steps

we now have a number of examples where we applied NMR. what are typical steps that we take? can we identify classes of steps? the first things that came up in my mind were: knowledge extension by physicality of components (as example: the function that is implemented on a real computer), but the more I think about this class, the more I see that all examples that I know fall in these class.

minimality of the model constructed by NMR

we have a very strong intuition that NMR gives us models that are minimal wrt the goal that we are interested in. but what can we say really about minimality? we want to avoid definitions of metrics, and deep theoretical investigations that constitute a new field of research. on the other hand we should say more than only intuitive statements. what is the brilliant idea for the solution of this dilemma?

How are NMR and model-based design related?

They are, that is obvious. But we should state this more clearly, and how.

Control design vs. system design, what do they have in common, what are the differences?

A verification model needs only a fragment wrt the property of interest, a design model requires completeness.