SISTEMAS CRTICOS

Engenharia de Software I

Sistemas crticos

Os sistemas crticos so sistemas sociotcnicos ou tcnicos, dos quais as pessoas dependem. Define-se sistema crtico, como um software em que suas caractersticas causam riscos inerentes a danos fsicos, pessoal e financeiro.

Confiana em um sistema

A confiana em um sistema pode ser definida, como a confiana dos usurios de que o sistema no ir falhar. A confiana de um sistema reflete o grau de confiana do usurio nesse sistema, bem como a extenso de confiana do usurio que o operar conforme suas expectativas e que no falhar durante o uso normal.

Disponibilidade

a probabilidade de que ele esteja pronto para o uso, podendo ser utilizado h todo o momento.

Confiabilidade

preciso que o software fornea todos os servios esperado pelo usurio.

Segurana de um sistema

Exige que todo o software seja seguro, com a disponibilidade, a integridade, a confiabilidade, a autenticao e o no repdio.

Proteo de um sistema

Um software protegido no permite que ocorra invaso acidental e/ou intencional.

Requesitos de confiabilidade

Os requisitos de confiabilidade so aqueles que descrevem resultados corretos, precisos e acurados. Exemplo: disponibilidade, exatido, taxa mxima de erros ou defeitos, taxa de erros ou defeitos.

Mtricas de confiabilidade

Tempo mdio de ocorrncia de falhas Tempo mdio at a ocorrncia de falhas Tempo mdio de reparo Taxa de ocorrncia de falha. Probabilidade de falha sob demanda Disponibilidade

Especificaes no funcionais da confiabilidade

Anlise de perigos

A anlise de perigos o primeiro passo, e em certos sentidos o mais importante, de uma avaliao de riscos. Se o perigo no identificado, no se pode estimar quanto ele contribui ao risco. Somente os perigos identificados podem ser controlados com confiana.

Anlise de Riscos

preciso fazer uma anlise para ver se determinado risco uma ameaa ao ambiente ou ao sistema. Alm disso, preciso tambm, identificar os tipos de riscos, como: intolervel (riscos que ameaam a vida humana ou a estabilidade financeira de um negcio), muito baixo (riscos que tem consequncias mnimas) e aceitvel (riscos que tem como ocorrncia aceitvel).

Princpios de tcnicas de programao

Software tolerante a defeitos

Os defeitos de software causam falhas de software quando o cdigo com defeito executado com um conjunto de entradas que expem o defeito.

Programao defensiva

Programao defensiva um conjunto de tcnicas de projeto (do ingls design) e programao objetivando a estabilidade e a segurana de um software independentemente de seu imprevisvel. A ideia pode ser vista como forma de reduzir ou eliminar a hiptese de as Leis de Murphy terem efeito. Tcnicas de programao defensiva comearam a ser desenvolvidas quando sistemas de software comearam a possibilitar efeitos catastrficos, seja deliberadamente ou inadvertidamente.

Recursos de manipulao de excees

Programao de N-verses e os blocos de recuperao

Esttica(NV) x Dinmica (RB). Overhead: ambos requerem algoritmos alternativos. NV: driver (contador) e RB: teste de aceitao. Runtime overheads: NV requer N*recursos, RB requer o estabelecimento de um ponto de recuperao. Diversidade de desenvolvimento: ambos so passveis de erros em requisies. Deteco de erros: NV votador x RB teste de aceitao. Atomicidade: NV votao antes de sair para o ambiente, RB estrutura deve ser a nica sada aps a aprovao de uma aceitao teste.

Referncias bibliogrficas

PRESSMAN, Roger S. Engenharia de software : uma abordagem profissional 7 ed. Esprito Santo: SC. McGraw-Hill, 2011. SOMMERVILLE, Ian. Engenharia de software.Traduo de Mauricio de Andrade. 8 ed. So Paulo: SP. Pearson, 2007