Back to University of Twente portal
A Modelling Method for Embedded Systems
Brinksma, Ed and Mader, Angelika and Marincic, Jelena and Wieringa, Roel (2005) A Modelling Method for Embedded Systems. [Report]
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png)
| PDF 1779Kb |
| Abstract: | We suggest a systematic modelling method for embedded systems. The goal is to derive models (1) that share the relevant properties with the original system, (2) that are suitable for computer aided analysis, and 3) where the modelling process itself is transparent and efficient, which is necessary to detect modelling errors
early and to produce model versions (e.g. for product families). Our aim is to find techniques to enhance the quality of the model and of the informal argument that it accurately represents the system. Our approach is to use joint decomposition of the system model and the correctness property, guided by the structure of the physical environment, following, e.g., engineering blueprints. In this short note we describe our approch to combine Jackson¿s problem frame approach [1, 2] with a stepwise refinement method to arrive at provably correct designs of embedded systems. |
| Item Type: | Report |
| Copyright: | © 2005 CTIT |
| Faculty: | Electrical Engineering, Mathematics and Computer Science (EEMCS) |
| Research Group: | |
| Link to this item: | http://purl.utwente.nl/publications/54531 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page
Metis ID: 228787