Abstrakt. Beroende är en icke-funktionell egenskap som bör bedömas tidigt i programvarans livscykel. Även om det finns flera UML-profiler för kvantitativa noteringar av icke-funktionella egenskaper, ger ingen av dem någon konkret kapacitet för tillförlitlighetsanalys av UML-systemmodeller. I detta dokument föreslår vi en tillförlitlig analys och modelleringsprofil. Målet är tvåfaldigt: att återanvända förslag från litteraturen om att härleda tillförlitliga modeller från UML-annoterade specifikationer och att följa den nyligen antagna MARTE-profilen, som ger en ram för allmänna kvantitativa analyskoncept som kan specialiseras på ett visst analysområde. Processen för profildefinition gjordes i flera steg. För det första har en ingående analys av litteraturen genomförts för att samla in informationskraven för profilen. För det andra definierades en domänmodell för tillförlitlighetsanalys oberoende av UML. För det tredje kartlades domänmodellen till UML-förlängningar genom att specialisera MARTE.
Simona Bernardi m.fl. I REF föreslås en tillförlitlighetsanalys och modelleringsprofil för MARTE-modeller för att återanvända förslag som härledr tillförlitlighetsmodeller från UML-annoterade specifikationer och för att vara förenliga med den nyligen antagna MARTE-profilen.
Adding dependability analysis capabilities to the marte profile
{'venue': 'In Proc. of MoDELS ’08', 'journal': None, 'mag_field_of_study': ['Computer Science']}