Vikten av att bedöma program icke-funktionella egenskaper (NFP) vid sidan av de funktionella är väl vedertagen i programvaruteknikgemenskapen. Tillförlitlighet är särskilt en NFP som bör bedömas tidigt under programvarans livscykel genom att systemets beteende utvärderas under olika felantaganden. Beroende-specifika modellering- och analystekniker inkluderar till exempel Faility Mode och Effect Analysis för kvalitativ utvärdering, stochastic Petri nät för kvantitativ utvärdering, och felträd för båda formerna av utvärdering. Unidified Modeling Language (UML) kan vara specialiserat för olika domäner genom att använda profilmekanismen. Till exempel utökar MARTE-profilen UML med koncept för modellering och kvantitativ analys av realtids- och inbyggda system (mer specifikt för schemaläggning och prestandaanalys). I detta dokument föreslås att man i MARTE lägger till en profil för tillförlitlighetsanalys och modellering (DAM). En fallstudie av en intrångsfri meddelandetjänst kommer att ge insikt om hur MAR-TE-DAM-profilen kan användas för att härleda en stokastisk Petri nettomodell för prestanda- och tillförlitlighetsbedömning. Kommunicerade av
De föreslår också att lägga till MARTE profil för tillförlitlighet analys och modellering (DAM), och använda MARTE-DAM profil för att härleda en stokastisk Petri nettomodell för prestanda och tillförlitlighet bedömning REF.
A dependability profile within MARTE
{'venue': 'Software & Systems Modeling', 'journal': 'Software & Systems Modeling', 'mag_field_of_study': ['Computer Science']}