Validação de Microssistemas para Aplicações Criticas
Authors
Abstract
A sociedade moderna depende de modo vital dos seus sistemas informáticos: desde servidores utilizados em grandes instituições financeiras a microssistemas dedicados para detecção de intrusão, passando por computadores de bordo de veículos automóveis, o correcto funcionamento destes sistemas é essencial para salvaguardar vidas humanas e prevenir perdas económicas ou riscos ambientais.A garantia do correcto funcionamento destes sistemas informáticos é uma tarefa exigente dada a sua complexidade. Assim, enquanto que em sistemas de grande porte as soluções passam essencialmente por abordagens transaccionais (certificação de que as operações efectuadas o são de forma coerente), tal não é possível em sistemas embedded. Efectivamente, nos sistemas que trabalham em tempo-real interagindo com o mundo físico, na maioria dos casos não é possível anular acções de controlo erróneas e repeti-las correctamente. Esta situação é particularmente grave quando do sistema em causa podem depender vidas humanas (p.ex. sistemas médicos de suporte à vida ou controlo de ABS – sistema anti-bloqueio de travões).
O Laboratório de Informática e Sistemas do Intituto Pedro Nunes (lis.IPN) trabalha há vários anos no desenvolvimento e validação de sistemas embedded para aplicações críticas nos domínios do controlo industrial, sistemas médicos, computadores de bordo para satélites, aeronáutica e sector automóvel. Na presente comunicação serão apresentadas algumas das abordagens utilizadas nestes domínios, com ênfase na validação da robustez de sistemas embedded a perturbações de origem física (ruído eléctrico ambiental, vibrações e partículas subatómicas).