Projekt per år
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.
|Förlag||Turku Centre for Computer Science (TUCS)|
|Status||Publicerad - 2001|
|MoE-publikationstyp||D4 Publicerad utvecklings- eller forskningsrapport eller studie|
|Namn||TUCS Technical Reports|
FingeravtryckFördjupa i forskningsämnen för ”A methodology for co-design based on a healthcare case study”. Tillsammans bildar de ett unikt fingeravtryck.
- 1 Slutfört
MATISSE: Methodologies and Technologies for Industrial Strength Systems Engineering (IST-1999-11435) (EU-project)
01/05/00 → 28/02/03