Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > A Case Study: Implementation o...

A Case Study: Implementation of Control Systems Using B-Action Systems

Pontus Boström, Marina Waldén, A Case Study: Implementation of Control Systems Using B-Action Systems. In: Proceedings of the 15th Nordic Workshop on Programming Theory , Ser. B,, 51-53, 2003.

Abstract:

We present a case study where we apply a methodology for formal
derivation and implementation of control systems of industrial size.
We use B Action Systems as our theoretical framework for developing
reliable and correct control systems in a stepwise manner. In the case
study we develop part of a microplate liquid handling workstation
manufactured at Wallac, a division of Perkin Elmer Lifesciences.
Previously, we have concentrated on modelling control systems of
industrial size, but here we focus on their implementation.

Files:

Abstract in PDF-format

BibTeX entry:

@INPROCEEDINGS{inpBoWa03a,
  title = {A Case Study: Implementation of Control Systems Using B-Action Systems},
  booktitle = {Proceedings of the 15th Nordic Workshop on Programming Theory },
  author = {Boström, Pontus and Waldén, Marina},
  number = {34},
  series = {Ser. B,},
  pages = {51-53},
  year = {2003},
  keywords = {Control systems, B Action Systems, Formal development},
}

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

Edit publication