Requisitos para a bomba de insulina

Trata-se de uma especificao dos requisitos para o software de controle de bomba de

insulina. No uma especificao completa de requisitos de sistema para a bomba em si ou para
todos os softwares associados a ela. Em particular, no inclui uma especificao de operaes de
autoteste ou especificao de interface com o hardware.
Exigncias - Os requisitos para a bomba de insulina so especificados em linguagem
natural e parcialmente na linguagem de especificao Z, a qual no ideal para expressar todos
eles, mas til quando descries precisas so necessrias. Em todos os casos, a especificao em Z
deve ser considerada como uma notao que oferece informao detalhada que aumenta a especificao
em linguagem natural.
1. A dose de insulina a ser liberada deve ser calculada por uma medio do nvel atual de
acar no sangue, comparando-o a um nvel previamente medido e calculando a dose requerida
como descrito no item em 3.3.
2. O sistema deve medir o nvel de acar no sangue e liberar a insulina, se requerida, a
cada 10 minutos.
3. A quantidade de insulina a ser liberada deve ser calculada de acordo com a leitura atual
conforme medida pelo sensor:
3.1 Se a leitura estiver abaixo do mnimo de segurana, nenhuma insulina deve ser liberada.
Veja o esquema SUGAR_LOW.
3.2 Se a leitura estiver dentro da zona de segurana, ento a insulina ser apenas liberada se
o nvel de acar e a taxa de aumento nesse nvel estiverem crescendo. A quantidade de insulina
requerida definida pelo esquema SUGAR_OK.
3.3 Se a leitura estiver abaixo do nvel recomendado, a insulina liberada, a no ser que o
acar no sangue esteja caindo e a taxa de queda do nvel de acar esteja aumentando. A
quantidade de insulina requerida neste caso est definida no esquema SUGAR_HIGH.
3.4 A quantidade de insulina efetivamente liberada pode ser diferente da dose calculada
medida que vrias restries de segurana sejam includas no sistema, como definido no esquema
RUN. Existe um limite em relao dose mxima a ser liberada numa nica injeo e um limite
do total cumulativo num nico dia.
4. Sob situaes normais de operao, o sistema definido pelo esquema RUN.
5. Quando em operao no modo manual, o sistema definido pelo esquema MANUAL.
6. O controlador deve executar um programa de autoteste a cada 30 segundos. Ele dever
testar as condies mostradas na Tabela 1. O autoteste do sistema definido pelo esquema TEST.
7. Quando ligado, o sistema iniciado conforme definido no esquema STARTUP.
8. O sistema dever manter trs displays:
Display 1! um texto que mostra mensagens do sistema. Ele tem um buffer de
hardware relacionado que pode reter vrias mensagens. Quando h mais de uma mensagem no

buffer, cada mensagem exibida a cada 5 segundos at que no haja mais mensagens a serem
exibidas. A sequncia de exibio recomea com a primeira mensagem. Consequentemente,
vrias mensagens podem ser especificadas para exibio no display 1.
Display2! - Mostra a ltima dose de insulina que foi calculada.
Relgio! - Mostra o horrio atual.
9. O usurio deve substituir o reservatrio de insulina por um novo reservatrio em
qualquer momento. O projeto do compartimento do reservatrio tal que apenas reservatrios com
100 ml de insulina podem ser inseridos. Quando um novo reservatrio de insulina for inserido, o
sistema resetado de acordo com o esquema RESET.
10. No comeo de cada perodo de 24 horas (indicado pelo relgio =00:00:00), a dose
cumulativa de insulina liberada resetada a 0.
11. As condies de erro que devem ser detectadas e indicadas pelo sistema so mostradas
na Tabela 1.

Tabela 1 - Condies de erro para a bomba de insulina

Condio de alarme

Explicao

Bateria baixa

A voltagem da bateria caiu para menos de 0.5V.

Falha de sensor

O autoteste do sensor de acar resultou em erro.

Falha de bomba

O autoteste da bomba resultou em erro.

Falha de liberao

No foi possvel liberar a quantidade de insulina

especificada (por exemplo, a agulha pode estar
bloqueada ou inserida incorretamente).

Montagem de agulha

O usurio removeu a montagem de agulha.

removida
Reservatrio
de insulina removida O usurio removeu o reservatrio de insulina.
Nvel baixo de insulina

O nvel de insulina est baixo (indicando que o

reservatrio deve ser substitudo).