Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > A Methodology for Co-design Ba...

A Methodology for Co-design Based on a Healthcare Case Study

Luigia Petre, Mauno Rönkkö, Elena Troubitsyna, Marina Waldén, Micaela Jansson, A Methodology for Co-design Based on a Healthcare Case Study. TUCS Technical Reports 437, Turku Centre for Computer Science, 2001.

Abstract:

Systems upon which a high degree of reliance can be asserted form
the class of dependable systems. We present here a development method
for a subclass of dependable systems, safety-critical control systems. This
method supports simultaneous design of both hardware and software in a
system where failures would cause significant losses. The method is based
on using mathematically solid techniques that allow us to address safety and
reliability issues early in the development cycle. We start with an abstract
specification of the system and subsequently add details concerning functionality,
safety and reliability in a stepwise manner. From the obtained specification
we can deduce which parts of the system are implemented using software
and which using hardware. We then decompose the specification into controller,
sensors, actuators and plant. We use the formal development method B-action
systems for our development process. The method has a good mechanised
support via the tools associated with the B Method. We illustrate the development
process on a medical laboratory device, i.e. a control oriented case study that is
part of a healthcare system.

Files:

Abstract in PDF-format

BibTeX entry:

@TECHREPORT{tPeRoTrWaJa01a,
  title = {A Methodology for Co-design Based on a Healthcare Case Study},
  author = {Petre, Luigia and Rönkkö, Mauno and Troubitsyna, Elena and Waldén, Marina and Jansson, Micaela},
  number = {437},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2001},
  keywords = {Formal Methods, Control Systems, Hardware/Software Co-design, Action Systems, the B Method},
}

Edit publication