History for System Modeling Challenges

changed:
- **Ten years goal:**
-The refinement tool support. This splits into three subgoals:
-
-**refinement generator goal**: define practical
-model refinement schemes, which capture established system development and programming
-knowledge, together with justifications of their correctness. Where the
-refinement process is highly creative, interactive schemes can still
-be helpful to guide the refinement process by a combination of
-user-insight and mechanized tactics. In particular, these refinement
-schemes should allow the verifier to turn model properties into
-software interface assertions comprising behavioral component aspects,
-to be used where state-based run-time features are crucial for a
-satisfactory semantically founded correctness notion for
-code.
-
-**refinement verifier challenge**: enhance current computer-based verification systems by means to prove the
-correctness of practical model refinement schemes.
-
-**refinement validator challenge**: link
-the refinement of ground models to model simulators to make the
-generation and systematic comparison of corresponding test runs of
-abstract and refined machines possible. In particular relating system
-and unit level test results should be supported by this enhancement
-of model simulation tools.
-
-**5-years goal:**
-runtime verifier challenge, consisting in
-instrumenting current high-level model execution tools
-(e.g. interpreters for ASMs or event-B models or model checkers for
-TLA+ models) to monitor the truth of selected
-properties at runtime, enabling in particular the exploration of
-ground models to detect undesired or hidden effects or missing
-behavior.  
-