 |
|
Marincic, J. and Wupper, H. and Mader, A.H. and Wieringa, R.J.
(2007)
Obtaining Formal Models through Non-Monotonic Refinement.
Technical Report TR-CTIT-07-33,
Centre for Telematics and Information Technology University of Twente, Enschede.
ISSN 1381-3625
Full text available as:  AbstractWhen designing a model for formal verification, we want to
be certain that what we proved about the model also holds for the system we modelled. This raises the question of whether our model represents the system, and what makes us confident about this. By performing so called, non-monotonic refinement in the modelling process, we make the steps and decisions explicit. This helps us to (1) increase the confidence that the model represents the system, (2) structure and organize the communication with domain experts and the problem owner, and (3) identify rational steps made while modelling. We focus on embedded control systems. | Item Type: | Internal Report (Technical Report) |
|---|
| Research Group: | EWI-IS: Information Systems, EWI-DIES: Distributed and Embedded Security |
|---|
| Research Program: | CTIT-DSN: Dependable Systems and Networks |
|---|
| Research Project: | MOCA: Modeling Control Aspects of Embedded Systems, MoMS: Methods of Modelling Embedded Systems |
|---|
| Uncontrolled Keywords: | model construction |
|---|
| ID Code: | 9879 |
|---|
| Deposited On: | 23 May 2007 |
|---|
| More Information: | statisticsmetis |
|---|
Export this item as: To correct this item please ask your editor Repository Staff Only: edit this item
|
|
|
Nederlands
Contact
Sitemap
Search
Organisation