Dependability: differenze tra le versioni

Versione delle 08:26, 1 nov 2006

Versione attuale delle 00:52, 16 set 2024

(66 versioni intermedie di 35 utenti non mostrate)

Riga 1:

{{W|informatica|aprile 2018}}Nel campo dell'[[ingegneria dell'affidabilità]] l<nowiki>'</nowiki>'''affidabilità dei sistemi''' (in inglese tecnico '''dependability''' ) consiste nella capacità di un sistema di mostrarsi affidabile nei confronti degli utilizzatori. Questa caratteristica porta gli utenti a potersi "fidare" del corretto funzionamento del sistema stesso e a utilizzarlo senza particolari preoccupazioni o precauzioni.

La '''Dependability''' consiste nella capacità di una persona o di un sistema di mostrarsi "affidabile" agli altri per la sua [[integrità]], per la sua veridicità e la sua affidabilità; queste caratteristiche possono incoraggiare qualcuno a "dipendere" da tale persona o sistema.

La dependability è una caratteristica molto importante da valutare durante la fase di progettazione dei sistemi , in particolare nell'ambito informatico. Alcuni casi in cui la dependability diventa una caratteristica fondamentale sono: i database contenenti dati sensibili, le applicazioni nelle quali una bassa dependability comporterebbe bassi introiti (ad esempio i portali web che offrono servizi a pagamento), le applicazioni critiche nelle quali una bassa dependability comporterebbe danni a cose o persone (sistemi di controllo delle centrali nucleari), ecc.

Nell'[[informatica]], la '''dependability''' può essere definita come:

:"''[..] the trustworthiness of a computing system which allows reliance to be justifiably placed on the service it delivers [..]''" [1]

ovvero l'abilità di un sistema di fornire un servizio che può essere considerato "fidato" in maniera giustificata. La dependability è un attributo composto,generico chederivato includedalla isintesi dei seguenti attributi di un sistema [2]:

* '''[[Affidabilità|affidabilità (reliability)]]''': capacità del sistema di funzionare ininterrottamente senza guasti;

* '''[[Availability]]''': prontezza ad ottenere il risultato corretto;

* '''[[manutenibilità]] (maintainability)''': possibilità di intervenire con riparazioni o altre azioni di manutenzioni in maniera efficace e non bloccante;

* '''[[Affidabilità]]''': continuità del sistema a offrire il risultato corretto;

* '''[[Disponibilità|disponibilità (availability)]]''': capacità del sistema di continuare a funzionare correttamente anche in presenza di interruzioni (è correlata con affidabilità e manutenibilità);

* '''[[Safety]]''': assenza di eventi catastrofici sugli utenti (eventi che dipendono l'ambiente circostante);

* '''continuità di prestazioni (performability)''': capacità del sistema di offrire i servizi attesi nei tempi e modi prefissati;

* '''[[Sicurezza informatica| Sicurezza]]''': l'esistenza contemporanea di protezione dell'accesso ai dati (consentendo soltanto utenti autorizzati), [[confidenzialità]] e [[integrità]] delle informazioni. Anche la sicurezza è a sua volta un attributo composto.

* '''incolumità (safety)''': capacità di non arrecare danni a cose, persone e ambiente;

* '''[[Sicurezza informatica|sicurezza (security)]]''': capacità del sistema di assicurare [[confidenzialità]] (impedire la fuga di informazioni riservate permettendo l'accesso solo a utenti autorizzati) e [[integrità]] (accesso e modifica ai dati da parte degli utenti autorizzati ed esclusivamente nelle modalità previste).

== Voci correlate ==

== Minacce ==

* [[Fault-tolerance]]

Le minacce che possono violare la dependability di un sistema sono classificate in:

* [[Ilities]]

* [[Guasto|guasti]]: minacce di natura non prevedibile e probabilistica;

* [[Metodi Formali]]

* [[Affidabilità#Errore|errori]]: minacce spesso di natura umana che possono danneggiare il sistema a seguito di procedure errate;

* [[Disastro|disastri]]: minacce non intenzionali a danno del sistema (come alluvioni, terremoti, ecc.);

* [[Attacco|attacchi]]: minacce intenzionali a danno del sistema (come intrusioni informatiche, vandalismo, ecc.).

== Collegamenti esterniTecniche ==

Data la complessità di un sistema informativo, è possibile individuare diverse tecniche in base alla minaccia che si vuole prevenire. Tra le soluzioni, possiamo trovare:

*'''fault prevention''' (prevenzione dei guasti): basata sulla prevenzione: il sistema implementa di default misure di sicurezza che non portano il sistema in errore;

*'''[[Fault-tolerance|fault tolerance]]''' (tolleranza ai guasti): basata sulla tolleranza: il sistema anche se cade in errore può gestirlo;

*'''fault removal''' (rimozione dei guasti): basata sulla rimozione: il sistema se in errore può portarsi ad uno stato di reset;

*'''fault forecasting''' (previsione dei guasti): basata sulla previsione: il sistema prevede i casi in cui può portare sé stesso in errore.

== Bibliografia ==

# ''[http://www.dependability.org/ IFIP WG10.4 on Dependable Computing e Fault Tolerance (in inglese)]'' -

{{Progetto:Manutenzione/Bibliografia/Manutenzione in progettazione}}

# A. Avizienis, J.-C. Laprie e Brian Randell: ''[http://www.cert.org/research/isw/isw2000/papers/56.pdf Concetti fondamentali sulla Dependability (in inglese)]''Aprile [[2001]].

# Algirdas Avizienis, Jean-Claude Laprie, Brian Randell: ''[http://rodin.cs.ncl.ac.uk/Publications/avizienis.pdf La Dependability e le sue minacce: una tassonomia (in inglese)]'' — questo documento estende e perfeziona la versione del documento precedente ed è un eccellente punto di partenza per lo studio della dependability. Consigliata la lettura di questo documento e successivamente del seguente tutorial:

# Wilfredo Torres-Pomales: ''[http://hdl.handle.net/2002/12633 Tutorial sul Software Fault Tolerance]'' — una guida molto buona, da leggere dopo aver letto il documento precedente.

== Voci correlate ==

* [[Fault-tolerance]]

* [[Metodi Formaliformali]]

* [[Affidabilità]]

* [[Ingegneria dell'affidabilità]]

== Collegamenti esterni ==

[[Categoria:Sicurezza informatica]]

# ''[http://www.dependability.org/ IFIP WG10.4 on Dependable Computing e Fault Tolerance (in inglese)]'' -

[[Categoria:Teorie dell'informatica]]

# A. Avizienis, J.-C. Laprie e Brian Randell: ''[httphttps://www.cert.org/research/isw/isw2000/papers/56.pdf Concetti fondamentali sulla Dependability (in inglese)]''Aprile [[2001]].

# Algirdas Avizienis, Jean-Claude Laprie, Brian Randell: ''[http://rodin.cs.ncl.ac.uk/Publications/avizienis.pdf La Dependability e le sue minacce: una tassonomia (in inglese)] {{Webarchive|url=https://web.archive.org/web/20160823141548/http://rodin.cs.ncl.ac.uk/Publications/avizienis.pdf |date=23 agosto 2016 }}'' — questo documento estende e perfeziona la versione del documento precedente ed è un eccellente punto di partenza per lo studio della dependability. Consigliata la lettura di questo documento e successivamente del seguente tutorial:

# Wilfredo Torres-Pomales: ''{{collegamento interrotto|1=[httphttps://hdl.handle.net/2002/12633 Tutorial sul Software Fault Tolerance] |data=novembre 2017 |bot=InternetArchiveBot }}'' — una guida molto buona, da leggere dopo aver letto il documento precedente.

[[Categoria:SicurezzaTecniche di difesa informatica]]

[[en:dependability]]

[[Categoria:Metodi formali]]

[[Categoria:TeorieTeoria dell'informaticaaffidabilità]]