Related Experiment Videos
Dependability modeling and assessment in UML-based software development.
Simona Bernardi1, José Merseguer, Dorina C Petriu
1Centro Universitario de la Defensa, Academia General Militar, Zaragoza, Spain.
Thescientificworldjournal
|September 19, 2012
Summary
This study introduces a model-driven approach to assess software dependability nonfunctional properties (NFPs). It enhances UML models with dependability information for automated analysis and feedback to designers.
Area of Science:
- Software Engineering
- Formal Methods
- Model-Driven Development
Background:
- Assessing software nonfunctional properties (NFPs) is crucial in software development.
- Model-driven development (MDD) offers an emerging approach for NFP analysis.
- Existing methods require effective integration of NFP assessment into the development lifecycle.
Purpose of the Study:
- To present a model-driven approach for assessing dependability nonfunctional properties (NFPs) in UML-based software development.
- To detail the process of extending UML models with dependability information.
- To demonstrate the transformation of annotated UML models into a formal model for analysis.
Main Methods:
- Extending Unified Modeling Language (UML) with a profile for dependability information.
- Automated transformation of annotated UML models into Discrete-Time Stochastic Petri Nets (DSPN).
- Analysis of the formal DSPN model using existing solvers to assess system properties.
Main Results:
- A profile for incorporating dependability attributes into UML models was developed.
- A model transformation enabling the generation of DSPN models from annotated UML models was implemented.
- The approach facilitates the assessment of system dependability properties based on DSPN analysis results.
Conclusions:
- The proposed modeling→analysis→assessment approach effectively integrates dependability NFP assessment into UML-based development.
- The method provides a systematic way to evaluate reliability, availability, safety, integrity, and maintainability.
- This approach offers valuable feedback to designers for improving software dependability.
Related Concept Videos
Distribution Reliability and Automation
Distribution reliability in electrical power systems is critical for ensuring an uninterrupted power supply to consumers at minimal cost. According to IEEE Standard Terms, reliability is the probability that a device will function without failure over a specified time period or amount of usage. For electric power distribution, this translates to maintaining continuous power supply and addressing customer concerns over power outages. Several indices, as defined by IEEE Standard 1366-2012, are...
Modeling and Similitude
Scaled modeling is a fundamental technique in engineering, enabling the study of large and complex systems by creating smaller, manageable replicas that recreate critical characteristics of the original. In hydrology and civil infrastructure, for example, scaled models of dams help analyze water flow, turbulence, and pressure. This method allows for accurate predictions of real-world behavior within a controlled environment, significantly reducing the cost and time involved in full-scale...
Reliability and Validity
Reliability and validity are two important considerations that must be made with any type of data collection. Reliability refers to the ability to consistently produce a given result. In the context of psychological research, this would mean that any instruments or tools used to collect data do so in consistent, reproducible ways.
Typical Model Studies
Fluid mechanics model studies often utilize scaled-down systems to predict fluid behavior in full-scale environments, such as river flows, dam spillways, and structures interacting with open surfaces. Maintaining Froude number similarity in river models is crucial, as it replicates surface flow features like wave patterns and velocities.
Self-Evaluation Maintenance Model
The Self-Evaluation Maintenance (SEM) model offers a psychological framework to understand how individuals’ self-esteem is influenced by the achievements of others, particularly those with whom they share close personal bonds. The SEM model operates when personal rather than social identity guides individuals. Central to this model is the notion that individuals have an inherent desire to preserve a favorable self-image, which is continuously shaped by interpersonal comparisons and...
Modeling in Therapy
Modeling, a key technique in therapy, uses observational learning to help clients acquire and practice new skills by watching therapists demonstrate desired behaviors. This approach, rooted in Albert Bandura's concept of vicarious learning, plays a significant role in therapeutic interventions for various psychological conditions, including social anxiety, ADHD, and depression.
Participant Modeling
Participant modeling involves therapists demonstrating calm and effective behaviors in situations...
Participant Modeling
Participant modeling involves therapists demonstrating calm and effective behaviors in situations...