Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > A Healthcare Case Study: Fillw...

A Healthcare Case Study: Fillwell

Pontus Boström, Micaela Jansson, Marina Waldén, A Healthcare Case Study: Fillwell. TUCS Technical Reports 569, Turku Centre for Computer Science, 2003.

Abstract:

We describe a case study on a liquid handling workstation, Fillwell, that has been conducted within the EU-project MATISSE as a co-operation between academia and industry. Since the workstation is a safety-critical system that need to operate with very high precision, it need to be safe and very reliable. These aspects are achieved by developing the system using formal methods where the safety analysis goes hand in hand with the formal development. We use the B Action Systems formalism for the development, where we can benefit from the properties of action systems for designing distributed systems and on the tool support via the B Method. The development is performed in a stepwise manner adding new features to the system in each step. We use UML as a graphical interface to the formal methods to achieve a better acceptance of the methodology by the industrial partner. UML diagrams are created for all the refinement steps. Hence, UML provides us with a documentation of the whole development process. The stepwise development and the graphical interface of our method has shown to be a suitable approach for applying formal methods on this industrial sized case study.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tBoJaWa03a,
  title = {A Healthcare Case Study: Fillwell},
  author = {Boström, Pontus and Jansson, Micaela and Waldén, Marina},
  number = {569},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2003},
  keywords = {formal methods, industrial application, B Method, Action Systems, UML, stepwise refinement},
  ISBN = {952-12-1260-8},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication