Assessment of software nonfunctional properties (NFP) is an important problem in software development. In the context of model-driven development, an emerging approach for the analysis of different NFPs consists of the following steps: (a) to extend the software models with annotations describing the NFP of interest; (b) to transform automatically the annotated software model to the formalism chosen for NFP analysis; (c) to analyze the formal model using existing solvers; (d) to assess the software based on the results and give feedback to designers. Such a modeling→analysis→assessment approach can be applied to any software modeling language, be it general purpose or domain specific. In this paper, we focus on UML-based development and on the dependability NFP, which encompasses reliability, availability, safety, integrity, and maintainability. The paper presents the profile used to extend UML with dependability information, the model transformation to generate a DSPN formal model, and the assessment of the system properties based on the DSPN results.
Download full-text PDF |
Source |
|---|---|
| http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3439940 | PMC |
| http://dx.doi.org/10.1100/2012/614635 | DOI Listing |
Publication Analysis
Top Keywords
Similar Publications
Indirect effect of psychological capital by using Partial Least Square (PLS) path analysis.
MethodsX
June 2025
School of Social Sciences and Languages, Vellore Institute of Technology, Chennai, India.
Understanding the relationship between Learned Helplessness (LH) and Psychological Capital (PsyCap) is essential for developing effective interventions for Indigenous adolescents. This study explored the role of PsyCap as a mediator in the link between LH and Psychological Well-Being (PWB). Total of 173 Indigenous adolescents (85 boys and 88 girls) from sixth to eleventh grade at government residential schools.
View Article and Find Full Text PDFCost savings of reducing opioid prescribing for the treatment of people with low back pain in general practice: a modelling study.
Lancet Reg Health West Pac
January 2025
School of Public Health, Faculty of Medicine and Health, University of Sydney, NSW, 2006, Australia.
Background: Low back pain (LBP) is the leading cause of disability worldwide. Contrary to clinical guidelines, opioids are frequently prescribed early in the management of LBP in primary care, leading to potential harm and downstream healthcare costs. The objective of this study was to model the one-year impacts of strategies that reduce opioid prescribing for low back pain (LBP) in primary care on healthcare costs and overdose deaths Australia-wide and explore the potential for such strategies to be cost-neutral.
View Article and Find Full Text PDFDiscussion on the optimization of personalized medication using information systems based on pharmacogenomics: an example using colorectal cancer.
Front Pharmacol
January 2025
Department of Pharmacy, Sichuan Academy of Medical Sciences and Sichuan Provincial People's Hospital, University of Electronic Science and Technology of China, Chengdu, China.
Pharmacogenomics (PGx) is a powerful tool for clinical optimization of drug efficacy and safety. However, due to many factors affecting drugs in the real world, PGx still accounts for a small proportion of actual clinical application scenarios. Therefore, based on the information software, pharmacists use their professional advantages to integrate PGx into all aspects of pharmaceutical care, which is conducive to promoting the development of personalized medicine.
View Article and Find Full Text PDFMT-Keyboard: A Bayesian Model-assisted Interval Design to Account for Toxicity Grades and Types for Phase I Trials.
Stat Biopharm Res
July 2024
Department of Biostatistics, The University of Texas MD Anderson Cancer Center, Houston, TX, USA.
Conventionally, dose finding trials are based on dose-limiting toxicity (DLT) that only captures the most severe toxicities, e.g., treatment related grade 3 or higher toxicity according to the NCI Common Terminology Criteria for Adverse Events.
View Article and Find Full Text PDFScreening of key genes related to autophagy in psoriasis based on gene expression profiling.
Postepy Dermatol Alergol
December 2024
Department of Clinical Laboratory, Institute of Dermatology, Chinese Academy of Medical Sciences and Peking Union Medical College, Nanjing, China.
Introduction: Autophagy is necessary for the progression of psoriasis.
Aim: This study aimed to recognize possible autophagy-related genes in psoriasis via bioinformatics study to present a better standard for the clinical treatment and management of psoriasis.
Material And Methods: The GEO dataset was utilized to derive the mRNA expression profile of the database GSE78097.
Want AI Summaries of new PubMed Abstracts delivered to your In-box?
Enter search terms and have AI summaries delivered each week - change queries or unsubscribe any time!