Model Driven Development of m-Health Systems (with a Touch of Formality)


Share/Save/Bookmark

Jones, Val (2006) Model Driven Development of m-Health Systems (with a Touch of Formality). In: Fourth IEEE International Conference on Pervasive Computing and Communications, PerCom 2006, 13-17 March 2006, Pisa, Italy (pp. pp. 580-584).

open access
[img]
Preview
PDF
79kB
Abstract:We propose a model driven design and development methodology augmented with formal validation and verification (V&V) for the development of mobile health systems. Systems which deliver healthcare services remotely should be developed using robust and trusted engineering technologies. The methodology instantiates steps in the MDA trajectory using formal methods to verify critical properties of models, to test preservation of those properties in the derived implementations and to effect model transformations by correctness preserving transformations. The methodology is described and some initial modelling is reported.
Item Type:Conference or Workshop Item
Copyright:© 2006 IEEE
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/66602
Official URL:http://dx.doi.org/10.1109/PERCOMW.2006.94
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 237603