Model-driven dependability assessment of software systems:
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2013
|
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis Klappentext |
| Physical Description: | XVI, 187 S. graph. Darst. |
| ISBN: | 9783642395116 9783642395123 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV041460633 | ||
| 003 | DE-604 | ||
| 005 | 20170516 | ||
| 007 | t | ||
| 008 | 131204s2013 gw d||| |||| 00||| eng d | ||
| 016 | 7 | |a 1038372275 |2 DE-101 | |
| 020 | |a 9783642395116 |9 978-3-642-39511-6 | ||
| 020 | |a 9783642395123 |9 978-3-642-39512-3 | ||
| 035 | |a (OCoLC)864536057 | ||
| 035 | |a (DE-599)DNB1038372275 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-11 |a DE-739 |a DE-92 | ||
| 082 | 0 | |a 005 |2 22/ger | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a ST 233 |0 (DE-625)143620: |2 rvk | ||
| 100 | 1 | |a De Bernardi, Simona |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Model-driven dependability assessment of software systems |c Simona Bernardi ; José Merseguer ; Dorina C. Petriu |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a XVI, 187 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a UML |0 (DE-588)4469781-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modelltransformation |0 (DE-588)7616754-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwaresystem |0 (DE-588)4137282-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Domänenspezifische Programmiersprache |0 (DE-588)7585264-0 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Softwaresystem |0 (DE-588)4137282-7 |D s |
| 689 | 0 | 1 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
| 689 | 0 | 2 | |a Modelltransformation |0 (DE-588)7616754-9 |D s |
| 689 | 0 | 3 | |a UML |0 (DE-588)4469781-8 |D s |
| 689 | 0 | 4 | |a Domänenspezifische Programmiersprache |0 (DE-588)7585264-0 |D s |
| 689 | 0 | 5 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Merseguer, José |e Verfasser |4 aut | |
| 700 | 1 | |a Petriu, Dorina C. |e Verfasser |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |a De Bernardi, Simona |t Model-driven dependability assessment of software systems |w (DE-604)BV041540281 |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4419951&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026907000&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Digitalisierung UB Passau - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026907000&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Klappentext |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-026907000 | |
Record in the Search Index
| _version_ | 1806326539418075136 |
|---|---|
| adam_text |
CONTENTS
1 DEPENDABILITY ASSESSMENT AND SOFTWARE LIFE CYCLE 1
2 DEPENDABILITY CONCEPTS 9
3 SOFTWARE MODELS 19
4 DEPENDABILITY DOMAIN MODEL 41
5 DEPENDABILITY MODELING AND ANALYSIS PROFILE 51
6 DEPENDABILITY ANALYSIS TECHNIQUES 73
7 PROPOSALS FOR DEPENDABILITY ASSESSMENT 91
8 FROM SOFTWARE MODELS TO DEPENDABILITY ANALYSIS MODELS 105
9 CONCLUSIONS AND ADVANCED OPEN ISSUES 133
A THE MARTE PROFILE 151
B CLASSES IN THE DEPENDABILITY DOMAIN MODEL 163
REFERENCES 175
INDEX 185
HTTP://D-NB.INFO/1038372275
Model-Driven Dependability Assessment of Software Systems
Over the last two decades, a major challenge for researchers working on modeling and
evaluation of computer-based systems has been the assessment of system
Non
Func¬
tional Properties (NFP) such as performance, scalability, dependability and security.
In this book, the authors present cutting-edge model-driven techniques for modeling
and analysis of software dependability. Most of them are based on the use of UML as
software specification language. From the software system specification point of view,
such techniques exploit the standard extension mechanisms of UML (i.e., UML profil¬
ing). UML profiles enable software engineers to add non-functional properties to the
software model, in addition to the functional ones. The authors detail the state of the
art on UML profile proposals for dependability specification and rigorously describe
the trade-off they accomplish. The focus is mainly on RAMS (reliability, availability,
maintainability and safety) properties. Among the existing profiles, they emphasize the
DAM (Dependability Analysis and Modeling) profile, which attempts to unify, under
a common umbrella, the previous UML profiles from literature, providing capabilities
for dependability specification and analysis. In addition, they describe two prominent
model-to-model transformation techniques, which support the generation of the
analysis model and allow for further assessment of different RAMS properties. Case
studies from different domains are also presented, in order to provide practitioners
with examples of how to apply the aforementioned techniques.
Researchers and students will learn basic dependability concepts and how to model
them using UML and its extensions. They will also gain insights into dependability
analysis techniques through the use of appropriate modeling formalisms as well as of
model-to-model transformation techniques for deriving dependability analysis models
from UML specifications. Moreover, software practitioners will find a unified framework
for the specification of dependability requirements and properties of UML, and will
benefit from the detailed case studies. |
| any_adam_object | 1 |
| author | De Bernardi, Simona Merseguer, José Petriu, Dorina C. |
| author_facet | De Bernardi, Simona Merseguer, José Petriu, Dorina C. |
| author_role | aut aut aut |
| author_sort | De Bernardi, Simona |
| author_variant | b s d bs bsd j m jm d c p dc dcp |
| building | Verbundindex |
| bvnumber | BV041460633 |
| classification_rvk | ST 230 ST 233 |
| ctrlnum | (OCoLC)864536057 (DE-599)DNB1038372275 |
| dewey-full | 005 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005 |
| dewey-search | 005 |
| dewey-sort | 15 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV041460633</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170516</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">131204s2013 gw d||| |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1038372275</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642395116</subfield><subfield code="9">978-3-642-39511-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642395123</subfield><subfield code="9">978-3-642-39512-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)864536057</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1038372275</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 233</subfield><subfield code="0">(DE-625)143620:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">De Bernardi, Simona</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Model-driven dependability assessment of software systems</subfield><subfield code="c">Simona Bernardi ; José Merseguer ; Dorina C. Petriu</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 187 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">UML</subfield><subfield code="0">(DE-588)4469781-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modelltransformation</subfield><subfield code="0">(DE-588)7616754-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaresystem</subfield><subfield code="0">(DE-588)4137282-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Domänenspezifische Programmiersprache</subfield><subfield code="0">(DE-588)7585264-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwaresystem</subfield><subfield code="0">(DE-588)4137282-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Modelltransformation</subfield><subfield code="0">(DE-588)7616754-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">UML</subfield><subfield code="0">(DE-588)4469781-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Domänenspezifische Programmiersprache</subfield><subfield code="0">(DE-588)7585264-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Merseguer, José</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Petriu, Dorina C.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="a">De Bernardi, Simona</subfield><subfield code="t">Model-driven dependability assessment of software systems</subfield><subfield code="w">(DE-604)BV041540281</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4419951&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026907000&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau - ADAM Catalogue Enrichment</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026907000&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Klappentext</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026907000</subfield></datafield></record></collection> |
| id | DE-604.BV041460633 |
| illustrated | Illustrated |
| indexdate | 2024-08-03T01:07:07Z |
| institution | BVB |
| isbn | 9783642395116 9783642395123 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026907000 |
| oclc_num | 864536057 |
| open_access_boolean | |
| owner | DE-11 DE-739 DE-92 |
| owner_facet | DE-11 DE-739 DE-92 |
| physical | XVI, 187 S. graph. Darst. |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| spelling | De Bernardi, Simona Verfasser aut Model-driven dependability assessment of software systems Simona Bernardi ; José Merseguer ; Dorina C. Petriu Berlin [u.a.] Springer 2013 XVI, 187 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Formale Methode (DE-588)4333722-3 gnd rswk-swf UML (DE-588)4469781-8 gnd rswk-swf Zuverlässigkeit (DE-588)4059245-5 gnd rswk-swf Modelltransformation (DE-588)7616754-9 gnd rswk-swf Softwaresystem (DE-588)4137282-7 gnd rswk-swf Domänenspezifische Programmiersprache (DE-588)7585264-0 gnd rswk-swf Softwaresystem (DE-588)4137282-7 s Zuverlässigkeit (DE-588)4059245-5 s Modelltransformation (DE-588)7616754-9 s UML (DE-588)4469781-8 s Domänenspezifische Programmiersprache (DE-588)7585264-0 s Formale Methode (DE-588)4333722-3 s DE-604 Merseguer, José Verfasser aut Petriu, Dorina C. Verfasser aut Erscheint auch als Druck-Ausgabe De Bernardi, Simona Model-driven dependability assessment of software systems (DE-604)BV041540281 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4419951&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026907000&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Digitalisierung UB Passau - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026907000&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Klappentext |
| spellingShingle | De Bernardi, Simona Merseguer, José Petriu, Dorina C. Model-driven dependability assessment of software systems Formale Methode (DE-588)4333722-3 gnd UML (DE-588)4469781-8 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Modelltransformation (DE-588)7616754-9 gnd Softwaresystem (DE-588)4137282-7 gnd Domänenspezifische Programmiersprache (DE-588)7585264-0 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4469781-8 (DE-588)4059245-5 (DE-588)7616754-9 (DE-588)4137282-7 (DE-588)7585264-0 |
| title | Model-driven dependability assessment of software systems |
| title_auth | Model-driven dependability assessment of software systems |
| title_exact_search | Model-driven dependability assessment of software systems |
| title_full | Model-driven dependability assessment of software systems Simona Bernardi ; José Merseguer ; Dorina C. Petriu |
| title_fullStr | Model-driven dependability assessment of software systems Simona Bernardi ; José Merseguer ; Dorina C. Petriu |
| title_full_unstemmed | Model-driven dependability assessment of software systems Simona Bernardi ; José Merseguer ; Dorina C. Petriu |
| title_short | Model-driven dependability assessment of software systems |
| title_sort | model driven dependability assessment of software systems |
| topic | Formale Methode (DE-588)4333722-3 gnd UML (DE-588)4469781-8 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Modelltransformation (DE-588)7616754-9 gnd Softwaresystem (DE-588)4137282-7 gnd Domänenspezifische Programmiersprache (DE-588)7585264-0 gnd |
| topic_facet | Formale Methode UML Zuverlässigkeit Modelltransformation Softwaresystem Domänenspezifische Programmiersprache |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=4419951&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026907000&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026907000&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT debernardisimona modeldrivendependabilityassessmentofsoftwaresystems AT merseguerjose modeldrivendependabilityassessmentofsoftwaresystems AT petriudorinac modeldrivendependabilityassessmentofsoftwaresystems |