Projects per year
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.
|Publisher||Turku Centre for Computer Science (TUCS)|
|Publication status||Published - 2001|
|MoE publication type||D4 Published development or research report or study|
|Name||TUCS Technical Reports|
- Formal Methods
- Control Systems
- Hardware/Software Co-design
- Action Systems
- the B Method
FingerprintDive into the research topics of 'A methodology for co-design based on a healthcare case study'. Together they form a unique fingerprint.
- 1 Finished
MATISSE: Methodologies and Technologies for Industrial Strength Systems Engineering (IST-1999-11435) (EU-project)
01/05/00 → 28/02/03