Research Log of Web Science Students

Computer Science is not simply programming

Enhancing Dependability of Medical Software Systems

leave a comment »

Title: Enhancing Dependability of Medical Software Systems
Author: Oleg Sokolsky
Date Visited: 07/05/09
Summary:
A lot of challenges are in the way of making architecture of a medical software system. There are two important problems that are needed to be addressed. The complexity and adaptability of these systems make it really hard to develop a good system. The complexity of the design of the system gives expectations that are beyond the capabilities given. Systems must also be able to adapt to different settings. These systems networked to further improve their functionality, reliability and maintainability which provide another set of problems.
Model-based approaches, such as the model-driven architecture, are useful in creating these embedded systems. As medical systems need proper security, user authentication must be at the core of the system. Model-based run-time verification is also a good technique. However, with the model-based testing, the only the implementation of the system is checked. The correctness of the design of the system is still not ensured.

Title: Enhancing Dependability of Medical Software Systems

Author: Oleg Sokolsky

URL: http://rtg.cis.upenn.edu/hcmdss/Papers/submissions/36.pdf

Date Visited: 07/05/09

Summary:

A lot of challenges are in the way of making architecture of a medical software system. There are two important problems that are needed to be addressed. The complexity and adaptability of these systems make it really hard to develop a good system. The complexity of the design of the system gives expectations that are beyond the capabilities given. Systems must also be able to adapt to different settings. These systems networked to further improve their functionality, reliability and maintainability which provide another set of problems.

Model-based approaches, such as the model-driven architecture, are useful in creating these embedded systems. As medical systems need proper security, user authentication must be at the core of the system. Model-based run-time verification is also a good technique. However, with the model-based testing, the only the implementation of the system is checked. The correctness of the design of the system is still not ensured.

Advertisements

Written by jamiepolloso

August 13, 2009 at 9:31 am

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: