Complex medical processes as context for embedded systems

Authors:
George S. Avrunin;Lori A. Clarke;Elizabeth A. Henneman;Leon J. Osterweil
Affiliations:
Dept. of Computer Science, University of Massachusetts, Amherst, MA;Dept. of Computer Science, University of Massachusetts, Amherst, MA;School of Nursing, University of Massachusetts, Amherst, MA;Dept. of Computer Science, University of Massachusetts, Amherst, MA
Venue:
ACM SIGBED Review - Special issues on workshop on innovative techniques for certification of embedded systems
Year:
2006

Citing 8
Cited 5

Concurrency: state models & Java programs

Concurrency: state models & Java programs
Bandera: extracting finite-state models from Java source code

Proceedings of the 22nd international conference on Software engineering
Little-JIL/Juliette: a process definition language and interpreter

Proceedings of the 22nd international conference on Software engineering
PROPEL: an approach supporting property elucidation

Proceedings of the 24th International Conference on Software Engineering
Little-JIL 1.0 Language Report TITLE2:

Little-JIL 1.0 Language Report TITLE2:
Flow analysis for verifying properties of concurrent software systems

ACM Transactions on Software Engineering and Methodology (TOSEM)
Process programming to support medical safety: a case study on blood transfusion

SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Automatic fault tree derivation from Little-JIL process definitions

SPW/ProSim'06 Proceedings of the 2006 international conference on Software Process Simulation and Modeling

Analyzing medical processes

Proceedings of the 30th international conference on Software engineering
Using software engineering technology to improve the quality of medical processes

Companion of the 30th international conference on Software engineering
Formalisms to support the definition of processes

Journal of Computer Science and Technology
Testing to certify an embedded software system

Journal of Computing Sciences in Colleges
Process-based derivation of requirements for medical devices

Proceedings of the 1st ACM International Health Informatics Symposium

Quantified Score

Hi-index	0.00

Visualization

Abstract

Many embedded systems are intended for use in complex and highly concurrent processes with multiple human agents. In these cases, the requirements for the system depend critically on the details of the process. If certification is to be useful for such systems, it must take the details of the process into account. In this paper, we describe some current research involving the formal definition and analysis of complex medical processes. We discuss the ways in which this work may provide a basis for a more complete understanding of the behavior of medical devices in the context of the processes in which they are used, and thus for certification methods for sophisticated embedded systems.