Download Model-Driven Dependability Assessment of Software Systems by Simona Bernardi, José Merseguer, Dorina Corina Petriu PDF

By Simona Bernardi, José Merseguer, Dorina Corina Petriu

Over the final 20 years, a huge problem for researchers engaged on modeling and evaluate of computer-based structures has been the review of approach Non sensible houses (NFP) comparable to functionality, scalability, dependability and security.

In this ebook, the authors current state-of-the-art model-driven suggestions for modeling and research of software program dependability. so much of them are in line with using UML as software program specification language. From the software program process specification standpoint, such ideas take advantage of the normal extension mechanisms of UML (i.e., UML profiling). UML profiles allow software program engineers so as to add non-functional houses to the software program version, as well as the sensible ones. The authors element the state-of-the-art on UML profile proposals for dependability specification and carefully describe the trade-off they accomplish. the focal point is principally on RAMS (reliability, availability, maintainability and protection) homes. one of the latest profiles, they emphasize the DAM (Dependability research and Modeling) profile, which makes an attempt to unify, lower than a typical umbrella, the former UML profiles from literature, offering features for dependability specification and research. moreover, they describe widespread model-to-model transformation recommendations, which help the iteration of the research version and make allowance for extra overview of alternative RAMS houses. Case reports from various domain names also are awarded, with a purpose to supply practitioners with examples of ways to use the aforementioned techniques.

Researchers and scholars will research easy dependability options and the way to version them utilizing UML and its extensions. they are going to additionally achieve insights into dependability research thoughts by using acceptable modeling formalisms in addition to of model-to-model transformation strategies for deriving dependability research types from UML standards. furthermore, software program practitioners will discover a unified framework for the specification of dependability requisites and houses of UML, and may enjoy the particular case studies.

Show description

Read or Download Model-Driven Dependability Assessment of Software Systems PDF

Best assessment books

An Assessment of the National Institute of Standards and Technology Information Technology Laboratory: Fiscal Year 2007

The file at the ITL offers a basic evaluate of the laboratory together with a glance at its learn innovations, possibilities, making plans for progress, examine tradition, and computing infrastructure; and gives exams of the laboratory’s six divisions. The document notes that the paintings of the ITL ordinarily ranks at or close to the pinnacle of the paintings being performed by way of peer associations.

Unlocking Assessment (The Unlocking Series)

Review is inextricably associated with studying and educating, and its profile in British colleges hasn't ever been better. lately the worth and value of formative review in aiding studying and instructing has additionally develop into largely regarded. even though evaluate is a main hindrance of an individual thinking about schooling it continues to be a hugely advanced box the place a lot controversy and false impression abounds.

The Practical Applicability of Toxicokinetic Models in the Risk Assessment of Chemicals: Proceedings of the Symposium The Practical Applicability of Toxicokinetic Models in the Risk Assessment of Chemicals held in The Hague, The Netherlands, 17–18 Februar

In 2000 OpdenKamp Registration & Notification geared up a two-day symposium within the Hague, The Netherlands, on `The useful Applicability of Toxicokinetic types within the probability review of Chemicals'. a number of audio system from Europe and the us have been invited to give the several elements. an enormous variety of parts was once mentioned with regards to toxicological modeling and hazard review, similar to occupational toxicology and biomonitoring, publicity to natural solvents and crop safety items, dose-response family in carcinogenicity, regulatory toxicology, estimation of dermal penetration, uptake and disposition of natural chemical compounds in fish, the probabilities of in vitro equipment in danger and danger review, and the extrapolation among animal and human species.

Building a New Generation of Culturally Responsive Evaluators Through AEA's Graduate Education Diversity Internship Program: New Directions for ...

This factor coincides with the tenth anniversary of the yank overview Association’s (AEA’s) Graduate schooling variety Internship (GEDI) application. It emphasize middle judgements and advancements of the GEDI application and have key contributors who've participated in and contributed to the improvement and implementation of this system.

Additional resources for Model-Driven Dependability Assessment of Software Systems

Example text

X): • Sequence Diagram (SD) is the main type of interaction diagrams. It focuses on the order in which the exchange of messages between the participants of an interaction takes place along the participants’ lifelines. x) shows the messages passed among a set of participants, focusing on the structural relationship between participants. • Interaction overview diagram combines the activity diagram and sequence diagram features: at a high level, it looks like an activity diagrams with activity nodes detailed as sequence diagrams.

11. The Video Detection System, which is the core system running at the main office is represented by the system construct, while the three video cameras and display are represented as devices. A port group and connections are used to model the communication between the remote video cameras, the core system and the display. The software constructs process, data, thread, and system are used to model the internal view of the Video Detection System. The hardware constructs processor, memory, bus, and device are used to describe the system’s physical features.

However, not all dependability attributes can be quantified. S) are not strictly measures, but rather qualitative indicators used to express the level of injury caused by system hazards or seriousness associated with system’s unsafe states. g. by solving a formal dependability model, it has to be checked against the dependability requirements (DR) (Littlewood and Strigini 1993). BOUND) of a specific dependability measure. S) represents the satisfaction of a given safety property. In model-based evaluation, the computation of reliability, availability, and maintainability measures basically means a quantitative evaluation of the formal dependability model, while safety properties imply the qualitative evaluation of the model (Billinton and Allan 1992).

Download PDF sample

Rated 4.86 of 5 – based on 48 votes