A dependability profile within MARTE
Abstract The importance of assessing software non-functional properties (NFP) beside the functional ones is well accepted in the software engineering community. In particular, dependability is a NFP that should be assessed early in the software life-cycle by evaluating the system behaviour under dif...
Ausführliche Beschreibung
Autor*in: |
Bernardi, Simona [verfasserIn] |
---|
Format: |
Artikel |
---|---|
Sprache: |
Englisch |
Erschienen: |
2009 |
---|
Schlagwörter: |
---|
Anmerkung: |
© Springer-Verlag 2009 |
---|
Übergeordnetes Werk: |
Enthalten in: Software and systems modeling - Springer-Verlag, 2002, 10(2009), 3 vom: 14. Aug., Seite 313-336 |
---|---|
Übergeordnetes Werk: |
volume:10 ; year:2009 ; number:3 ; day:14 ; month:08 ; pages:313-336 |
Links: |
---|
DOI / URN: |
10.1007/s10270-009-0128-1 |
---|
Katalog-ID: |
OLC2044243830 |
---|
LEADER | 01000caa a22002652 4500 | ||
---|---|---|---|
001 | OLC2044243830 | ||
003 | DE-627 | ||
005 | 20230502181500.0 | ||
007 | tu | ||
008 | 200820s2009 xx ||||| 00| ||eng c | ||
024 | 7 | |a 10.1007/s10270-009-0128-1 |2 doi | |
035 | |a (DE-627)OLC2044243830 | ||
035 | |a (DE-He213)s10270-009-0128-1-p | ||
040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
041 | |a eng | ||
082 | 0 | 4 | |a 004 |q VZ |
082 | 0 | 4 | |a 004 |q VZ |
084 | |a 54.50$jProgrammierung: Allgemeines |2 bkl | ||
100 | 1 | |a Bernardi, Simona |e verfasserin |4 aut | |
245 | 1 | 0 | |a A dependability profile within MARTE |
264 | 1 | |c 2009 | |
336 | |a Text |b txt |2 rdacontent | ||
337 | |a ohne Hilfsmittel zu benutzen |b n |2 rdamedia | ||
338 | |a Band |b nc |2 rdacarrier | ||
500 | |a © Springer-Verlag 2009 | ||
520 | |a Abstract The importance of assessing software non-functional properties (NFP) beside the functional ones is well accepted in the software engineering community. In particular, dependability is a NFP that should be assessed early in the software life-cycle by evaluating the system behaviour under different fault assumptions. Dependability-specific modeling and analysis techniques include for example Failure Mode and Effect Analysis for qualitative evaluation, stochastic Petri nets for quantitative evaluation, and fault trees for both forms of evaluation. Unified Modeling Language (UML) may be specialized for different domains by using the profile mechanism. For example, the MARTE profile extends UML with concepts for modeling and quantitative analysis of real-time and embedded systems (more specifically, for schedulability and performance analysis). This paper proposes to add to MARTE a profile for dependability analysis and modeling (DAM). A case study of an intrusion-tolerant message service will offer insight on how the MARTE-DAM profile can be used to derive a stochastic Petri net model for performance and dependability assessment. | ||
650 | 4 | |a Message Replicator | |
650 | 4 | |a Steady State Availability | |
650 | 4 | |a Deployment Diagram | |
650 | 4 | |a General Quantitative Analysis Model | |
650 | 4 | |a Fault Occurrence Rate | |
700 | 1 | |a Merseguer, José |4 aut | |
700 | 1 | |a Petriu, Dorina C. |4 aut | |
773 | 0 | 8 | |i Enthalten in |t Software and systems modeling |d Springer-Verlag, 2002 |g 10(2009), 3 vom: 14. Aug., Seite 313-336 |w (DE-627)356568156 |w (DE-600)2092265-6 |w (DE-576)10203768X |x 1619-1366 |7 nnns |
773 | 1 | 8 | |g volume:10 |g year:2009 |g number:3 |g day:14 |g month:08 |g pages:313-336 |
856 | 4 | 1 | |u https://doi.org/10.1007/s10270-009-0128-1 |z lizenzpflichtig |3 Volltext |
912 | |a GBV_USEFLAG_A | ||
912 | |a SYSFLAG_A | ||
912 | |a GBV_OLC | ||
912 | |a SSG-OLC-MAT | ||
912 | |a GBV_ILN_70 | ||
912 | |a GBV_ILN_2018 | ||
912 | |a GBV_ILN_2244 | ||
912 | |a GBV_ILN_4046 | ||
912 | |a GBV_ILN_4277 | ||
912 | |a GBV_ILN_4307 | ||
912 | |a GBV_ILN_4325 | ||
936 | b | k | |a 54.50$jProgrammierung: Allgemeines |q VZ |0 181569876 |0 (DE-625)181569876 |
951 | |a AR | ||
952 | |d 10 |j 2009 |e 3 |b 14 |c 08 |h 313-336 |
author_variant |
s b sb j m jm d c p dc dcp |
---|---|
matchkey_str |
article:16191366:2009----::dpnaiiyrflwt |
hierarchy_sort_str |
2009 |
bklnumber |
54.50$jProgrammierung: Allgemeines |
publishDate |
2009 |
allfields |
10.1007/s10270-009-0128-1 doi (DE-627)OLC2044243830 (DE-He213)s10270-009-0128-1-p DE-627 ger DE-627 rakwb eng 004 VZ 004 VZ 54.50$jProgrammierung: Allgemeines bkl Bernardi, Simona verfasserin aut A dependability profile within MARTE 2009 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © Springer-Verlag 2009 Abstract The importance of assessing software non-functional properties (NFP) beside the functional ones is well accepted in the software engineering community. In particular, dependability is a NFP that should be assessed early in the software life-cycle by evaluating the system behaviour under different fault assumptions. Dependability-specific modeling and analysis techniques include for example Failure Mode and Effect Analysis for qualitative evaluation, stochastic Petri nets for quantitative evaluation, and fault trees for both forms of evaluation. Unified Modeling Language (UML) may be specialized for different domains by using the profile mechanism. For example, the MARTE profile extends UML with concepts for modeling and quantitative analysis of real-time and embedded systems (more specifically, for schedulability and performance analysis). This paper proposes to add to MARTE a profile for dependability analysis and modeling (DAM). A case study of an intrusion-tolerant message service will offer insight on how the MARTE-DAM profile can be used to derive a stochastic Petri net model for performance and dependability assessment. Message Replicator Steady State Availability Deployment Diagram General Quantitative Analysis Model Fault Occurrence Rate Merseguer, José aut Petriu, Dorina C. aut Enthalten in Software and systems modeling Springer-Verlag, 2002 10(2009), 3 vom: 14. Aug., Seite 313-336 (DE-627)356568156 (DE-600)2092265-6 (DE-576)10203768X 1619-1366 nnns volume:10 year:2009 number:3 day:14 month:08 pages:313-336 https://doi.org/10.1007/s10270-009-0128-1 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_70 GBV_ILN_2018 GBV_ILN_2244 GBV_ILN_4046 GBV_ILN_4277 GBV_ILN_4307 GBV_ILN_4325 54.50$jProgrammierung: Allgemeines VZ 181569876 (DE-625)181569876 AR 10 2009 3 14 08 313-336 |
spelling |
10.1007/s10270-009-0128-1 doi (DE-627)OLC2044243830 (DE-He213)s10270-009-0128-1-p DE-627 ger DE-627 rakwb eng 004 VZ 004 VZ 54.50$jProgrammierung: Allgemeines bkl Bernardi, Simona verfasserin aut A dependability profile within MARTE 2009 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © Springer-Verlag 2009 Abstract The importance of assessing software non-functional properties (NFP) beside the functional ones is well accepted in the software engineering community. In particular, dependability is a NFP that should be assessed early in the software life-cycle by evaluating the system behaviour under different fault assumptions. Dependability-specific modeling and analysis techniques include for example Failure Mode and Effect Analysis for qualitative evaluation, stochastic Petri nets for quantitative evaluation, and fault trees for both forms of evaluation. Unified Modeling Language (UML) may be specialized for different domains by using the profile mechanism. For example, the MARTE profile extends UML with concepts for modeling and quantitative analysis of real-time and embedded systems (more specifically, for schedulability and performance analysis). This paper proposes to add to MARTE a profile for dependability analysis and modeling (DAM). A case study of an intrusion-tolerant message service will offer insight on how the MARTE-DAM profile can be used to derive a stochastic Petri net model for performance and dependability assessment. Message Replicator Steady State Availability Deployment Diagram General Quantitative Analysis Model Fault Occurrence Rate Merseguer, José aut Petriu, Dorina C. aut Enthalten in Software and systems modeling Springer-Verlag, 2002 10(2009), 3 vom: 14. Aug., Seite 313-336 (DE-627)356568156 (DE-600)2092265-6 (DE-576)10203768X 1619-1366 nnns volume:10 year:2009 number:3 day:14 month:08 pages:313-336 https://doi.org/10.1007/s10270-009-0128-1 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_70 GBV_ILN_2018 GBV_ILN_2244 GBV_ILN_4046 GBV_ILN_4277 GBV_ILN_4307 GBV_ILN_4325 54.50$jProgrammierung: Allgemeines VZ 181569876 (DE-625)181569876 AR 10 2009 3 14 08 313-336 |
allfields_unstemmed |
10.1007/s10270-009-0128-1 doi (DE-627)OLC2044243830 (DE-He213)s10270-009-0128-1-p DE-627 ger DE-627 rakwb eng 004 VZ 004 VZ 54.50$jProgrammierung: Allgemeines bkl Bernardi, Simona verfasserin aut A dependability profile within MARTE 2009 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © Springer-Verlag 2009 Abstract The importance of assessing software non-functional properties (NFP) beside the functional ones is well accepted in the software engineering community. In particular, dependability is a NFP that should be assessed early in the software life-cycle by evaluating the system behaviour under different fault assumptions. Dependability-specific modeling and analysis techniques include for example Failure Mode and Effect Analysis for qualitative evaluation, stochastic Petri nets for quantitative evaluation, and fault trees for both forms of evaluation. Unified Modeling Language (UML) may be specialized for different domains by using the profile mechanism. For example, the MARTE profile extends UML with concepts for modeling and quantitative analysis of real-time and embedded systems (more specifically, for schedulability and performance analysis). This paper proposes to add to MARTE a profile for dependability analysis and modeling (DAM). A case study of an intrusion-tolerant message service will offer insight on how the MARTE-DAM profile can be used to derive a stochastic Petri net model for performance and dependability assessment. Message Replicator Steady State Availability Deployment Diagram General Quantitative Analysis Model Fault Occurrence Rate Merseguer, José aut Petriu, Dorina C. aut Enthalten in Software and systems modeling Springer-Verlag, 2002 10(2009), 3 vom: 14. Aug., Seite 313-336 (DE-627)356568156 (DE-600)2092265-6 (DE-576)10203768X 1619-1366 nnns volume:10 year:2009 number:3 day:14 month:08 pages:313-336 https://doi.org/10.1007/s10270-009-0128-1 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_70 GBV_ILN_2018 GBV_ILN_2244 GBV_ILN_4046 GBV_ILN_4277 GBV_ILN_4307 GBV_ILN_4325 54.50$jProgrammierung: Allgemeines VZ 181569876 (DE-625)181569876 AR 10 2009 3 14 08 313-336 |
allfieldsGer |
10.1007/s10270-009-0128-1 doi (DE-627)OLC2044243830 (DE-He213)s10270-009-0128-1-p DE-627 ger DE-627 rakwb eng 004 VZ 004 VZ 54.50$jProgrammierung: Allgemeines bkl Bernardi, Simona verfasserin aut A dependability profile within MARTE 2009 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © Springer-Verlag 2009 Abstract The importance of assessing software non-functional properties (NFP) beside the functional ones is well accepted in the software engineering community. In particular, dependability is a NFP that should be assessed early in the software life-cycle by evaluating the system behaviour under different fault assumptions. Dependability-specific modeling and analysis techniques include for example Failure Mode and Effect Analysis for qualitative evaluation, stochastic Petri nets for quantitative evaluation, and fault trees for both forms of evaluation. Unified Modeling Language (UML) may be specialized for different domains by using the profile mechanism. For example, the MARTE profile extends UML with concepts for modeling and quantitative analysis of real-time and embedded systems (more specifically, for schedulability and performance analysis). This paper proposes to add to MARTE a profile for dependability analysis and modeling (DAM). A case study of an intrusion-tolerant message service will offer insight on how the MARTE-DAM profile can be used to derive a stochastic Petri net model for performance and dependability assessment. Message Replicator Steady State Availability Deployment Diagram General Quantitative Analysis Model Fault Occurrence Rate Merseguer, José aut Petriu, Dorina C. aut Enthalten in Software and systems modeling Springer-Verlag, 2002 10(2009), 3 vom: 14. Aug., Seite 313-336 (DE-627)356568156 (DE-600)2092265-6 (DE-576)10203768X 1619-1366 nnns volume:10 year:2009 number:3 day:14 month:08 pages:313-336 https://doi.org/10.1007/s10270-009-0128-1 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_70 GBV_ILN_2018 GBV_ILN_2244 GBV_ILN_4046 GBV_ILN_4277 GBV_ILN_4307 GBV_ILN_4325 54.50$jProgrammierung: Allgemeines VZ 181569876 (DE-625)181569876 AR 10 2009 3 14 08 313-336 |
allfieldsSound |
10.1007/s10270-009-0128-1 doi (DE-627)OLC2044243830 (DE-He213)s10270-009-0128-1-p DE-627 ger DE-627 rakwb eng 004 VZ 004 VZ 54.50$jProgrammierung: Allgemeines bkl Bernardi, Simona verfasserin aut A dependability profile within MARTE 2009 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © Springer-Verlag 2009 Abstract The importance of assessing software non-functional properties (NFP) beside the functional ones is well accepted in the software engineering community. In particular, dependability is a NFP that should be assessed early in the software life-cycle by evaluating the system behaviour under different fault assumptions. Dependability-specific modeling and analysis techniques include for example Failure Mode and Effect Analysis for qualitative evaluation, stochastic Petri nets for quantitative evaluation, and fault trees for both forms of evaluation. Unified Modeling Language (UML) may be specialized for different domains by using the profile mechanism. For example, the MARTE profile extends UML with concepts for modeling and quantitative analysis of real-time and embedded systems (more specifically, for schedulability and performance analysis). This paper proposes to add to MARTE a profile for dependability analysis and modeling (DAM). A case study of an intrusion-tolerant message service will offer insight on how the MARTE-DAM profile can be used to derive a stochastic Petri net model for performance and dependability assessment. Message Replicator Steady State Availability Deployment Diagram General Quantitative Analysis Model Fault Occurrence Rate Merseguer, José aut Petriu, Dorina C. aut Enthalten in Software and systems modeling Springer-Verlag, 2002 10(2009), 3 vom: 14. Aug., Seite 313-336 (DE-627)356568156 (DE-600)2092265-6 (DE-576)10203768X 1619-1366 nnns volume:10 year:2009 number:3 day:14 month:08 pages:313-336 https://doi.org/10.1007/s10270-009-0128-1 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_70 GBV_ILN_2018 GBV_ILN_2244 GBV_ILN_4046 GBV_ILN_4277 GBV_ILN_4307 GBV_ILN_4325 54.50$jProgrammierung: Allgemeines VZ 181569876 (DE-625)181569876 AR 10 2009 3 14 08 313-336 |
language |
English |
source |
Enthalten in Software and systems modeling 10(2009), 3 vom: 14. Aug., Seite 313-336 volume:10 year:2009 number:3 day:14 month:08 pages:313-336 |
sourceStr |
Enthalten in Software and systems modeling 10(2009), 3 vom: 14. Aug., Seite 313-336 volume:10 year:2009 number:3 day:14 month:08 pages:313-336 |
format_phy_str_mv |
Article |
institution |
findex.gbv.de |
topic_facet |
Message Replicator Steady State Availability Deployment Diagram General Quantitative Analysis Model Fault Occurrence Rate |
dewey-raw |
004 |
isfreeaccess_bool |
false |
container_title |
Software and systems modeling |
authorswithroles_txt_mv |
Bernardi, Simona @@aut@@ Merseguer, José @@aut@@ Petriu, Dorina C. @@aut@@ |
publishDateDaySort_date |
2009-08-14T00:00:00Z |
hierarchy_top_id |
356568156 |
dewey-sort |
14 |
id |
OLC2044243830 |
language_de |
englisch |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">OLC2044243830</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230502181500.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">200820s2009 xx ||||| 00| ||eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/s10270-009-0128-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC2044243830</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-He213)s10270-009-0128-1-p</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">004</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">004</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">54.50$jProgrammierung: Allgemeines</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bernardi, Simona</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A dependability profile within MARTE</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2009</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">© Springer-Verlag 2009</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Abstract The importance of assessing software non-functional properties (NFP) beside the functional ones is well accepted in the software engineering community. In particular, dependability is a NFP that should be assessed early in the software life-cycle by evaluating the system behaviour under different fault assumptions. Dependability-specific modeling and analysis techniques include for example Failure Mode and Effect Analysis for qualitative evaluation, stochastic Petri nets for quantitative evaluation, and fault trees for both forms of evaluation. Unified Modeling Language (UML) may be specialized for different domains by using the profile mechanism. For example, the MARTE profile extends UML with concepts for modeling and quantitative analysis of real-time and embedded systems (more specifically, for schedulability and performance analysis). This paper proposes to add to MARTE a profile for dependability analysis and modeling (DAM). A case study of an intrusion-tolerant message service will offer insight on how the MARTE-DAM profile can be used to derive a stochastic Petri net model for performance and dependability assessment.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Message Replicator</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Steady State Availability</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Deployment Diagram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">General Quantitative Analysis Model</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fault Occurrence Rate</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Merseguer, José</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Petriu, Dorina C.</subfield><subfield code="4">aut</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Software and systems modeling</subfield><subfield code="d">Springer-Verlag, 2002</subfield><subfield code="g">10(2009), 3 vom: 14. Aug., Seite 313-336</subfield><subfield code="w">(DE-627)356568156</subfield><subfield code="w">(DE-600)2092265-6</subfield><subfield code="w">(DE-576)10203768X</subfield><subfield code="x">1619-1366</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:10</subfield><subfield code="g">year:2009</subfield><subfield code="g">number:3</subfield><subfield code="g">day:14</subfield><subfield code="g">month:08</subfield><subfield code="g">pages:313-336</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://doi.org/10.1007/s10270-009-0128-1</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2018</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2244</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4046</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4277</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4307</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4325</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">54.50$jProgrammierung: Allgemeines</subfield><subfield code="q">VZ</subfield><subfield code="0">181569876</subfield><subfield code="0">(DE-625)181569876</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">10</subfield><subfield code="j">2009</subfield><subfield code="e">3</subfield><subfield code="b">14</subfield><subfield code="c">08</subfield><subfield code="h">313-336</subfield></datafield></record></collection>
|
author |
Bernardi, Simona |
spellingShingle |
Bernardi, Simona ddc 004 bkl 54.50$jProgrammierung: Allgemeines misc Message Replicator misc Steady State Availability misc Deployment Diagram misc General Quantitative Analysis Model misc Fault Occurrence Rate A dependability profile within MARTE |
authorStr |
Bernardi, Simona |
ppnlink_with_tag_str_mv |
@@773@@(DE-627)356568156 |
format |
Article |
dewey-ones |
004 - Data processing & computer science |
delete_txt_mv |
keep |
author_role |
aut aut aut |
collection |
OLC |
remote_str |
false |
illustrated |
Not Illustrated |
issn |
1619-1366 |
topic_title |
004 VZ 54.50$jProgrammierung: Allgemeines bkl A dependability profile within MARTE Message Replicator Steady State Availability Deployment Diagram General Quantitative Analysis Model Fault Occurrence Rate |
topic |
ddc 004 bkl 54.50$jProgrammierung: Allgemeines misc Message Replicator misc Steady State Availability misc Deployment Diagram misc General Quantitative Analysis Model misc Fault Occurrence Rate |
topic_unstemmed |
ddc 004 bkl 54.50$jProgrammierung: Allgemeines misc Message Replicator misc Steady State Availability misc Deployment Diagram misc General Quantitative Analysis Model misc Fault Occurrence Rate |
topic_browse |
ddc 004 bkl 54.50$jProgrammierung: Allgemeines misc Message Replicator misc Steady State Availability misc Deployment Diagram misc General Quantitative Analysis Model misc Fault Occurrence Rate |
format_facet |
Aufsätze Gedruckte Aufsätze |
format_main_str_mv |
Text Zeitschrift/Artikel |
carriertype_str_mv |
nc |
hierarchy_parent_title |
Software and systems modeling |
hierarchy_parent_id |
356568156 |
dewey-tens |
000 - Computer science, knowledge & systems |
hierarchy_top_title |
Software and systems modeling |
isfreeaccess_txt |
false |
familylinks_str_mv |
(DE-627)356568156 (DE-600)2092265-6 (DE-576)10203768X |
title |
A dependability profile within MARTE |
ctrlnum |
(DE-627)OLC2044243830 (DE-He213)s10270-009-0128-1-p |
title_full |
A dependability profile within MARTE |
author_sort |
Bernardi, Simona |
journal |
Software and systems modeling |
journalStr |
Software and systems modeling |
lang_code |
eng |
isOA_bool |
false |
dewey-hundreds |
000 - Computer science, information & general works |
recordtype |
marc |
publishDateSort |
2009 |
contenttype_str_mv |
txt |
container_start_page |
313 |
author_browse |
Bernardi, Simona Merseguer, José Petriu, Dorina C. |
container_volume |
10 |
class |
004 VZ 54.50$jProgrammierung: Allgemeines bkl |
format_se |
Aufsätze |
author-letter |
Bernardi, Simona |
doi_str_mv |
10.1007/s10270-009-0128-1 |
normlink |
181569876 |
normlink_prefix_str_mv |
181569876 (DE-625)181569876 |
dewey-full |
004 |
title_sort |
a dependability profile within marte |
title_auth |
A dependability profile within MARTE |
abstract |
Abstract The importance of assessing software non-functional properties (NFP) beside the functional ones is well accepted in the software engineering community. In particular, dependability is a NFP that should be assessed early in the software life-cycle by evaluating the system behaviour under different fault assumptions. Dependability-specific modeling and analysis techniques include for example Failure Mode and Effect Analysis for qualitative evaluation, stochastic Petri nets for quantitative evaluation, and fault trees for both forms of evaluation. Unified Modeling Language (UML) may be specialized for different domains by using the profile mechanism. For example, the MARTE profile extends UML with concepts for modeling and quantitative analysis of real-time and embedded systems (more specifically, for schedulability and performance analysis). This paper proposes to add to MARTE a profile for dependability analysis and modeling (DAM). A case study of an intrusion-tolerant message service will offer insight on how the MARTE-DAM profile can be used to derive a stochastic Petri net model for performance and dependability assessment. © Springer-Verlag 2009 |
abstractGer |
Abstract The importance of assessing software non-functional properties (NFP) beside the functional ones is well accepted in the software engineering community. In particular, dependability is a NFP that should be assessed early in the software life-cycle by evaluating the system behaviour under different fault assumptions. Dependability-specific modeling and analysis techniques include for example Failure Mode and Effect Analysis for qualitative evaluation, stochastic Petri nets for quantitative evaluation, and fault trees for both forms of evaluation. Unified Modeling Language (UML) may be specialized for different domains by using the profile mechanism. For example, the MARTE profile extends UML with concepts for modeling and quantitative analysis of real-time and embedded systems (more specifically, for schedulability and performance analysis). This paper proposes to add to MARTE a profile for dependability analysis and modeling (DAM). A case study of an intrusion-tolerant message service will offer insight on how the MARTE-DAM profile can be used to derive a stochastic Petri net model for performance and dependability assessment. © Springer-Verlag 2009 |
abstract_unstemmed |
Abstract The importance of assessing software non-functional properties (NFP) beside the functional ones is well accepted in the software engineering community. In particular, dependability is a NFP that should be assessed early in the software life-cycle by evaluating the system behaviour under different fault assumptions. Dependability-specific modeling and analysis techniques include for example Failure Mode and Effect Analysis for qualitative evaluation, stochastic Petri nets for quantitative evaluation, and fault trees for both forms of evaluation. Unified Modeling Language (UML) may be specialized for different domains by using the profile mechanism. For example, the MARTE profile extends UML with concepts for modeling and quantitative analysis of real-time and embedded systems (more specifically, for schedulability and performance analysis). This paper proposes to add to MARTE a profile for dependability analysis and modeling (DAM). A case study of an intrusion-tolerant message service will offer insight on how the MARTE-DAM profile can be used to derive a stochastic Petri net model for performance and dependability assessment. © Springer-Verlag 2009 |
collection_details |
GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_70 GBV_ILN_2018 GBV_ILN_2244 GBV_ILN_4046 GBV_ILN_4277 GBV_ILN_4307 GBV_ILN_4325 |
container_issue |
3 |
title_short |
A dependability profile within MARTE |
url |
https://doi.org/10.1007/s10270-009-0128-1 |
remote_bool |
false |
author2 |
Merseguer, José Petriu, Dorina C. |
author2Str |
Merseguer, José Petriu, Dorina C. |
ppnlink |
356568156 |
mediatype_str_mv |
n |
isOA_txt |
false |
hochschulschrift_bool |
false |
doi_str |
10.1007/s10270-009-0128-1 |
up_date |
2024-07-03T22:46:20.085Z |
_version_ |
1803599772476506112 |
fullrecord_marcxml |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">OLC2044243830</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230502181500.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">200820s2009 xx ||||| 00| ||eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/s10270-009-0128-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC2044243830</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-He213)s10270-009-0128-1-p</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">004</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">004</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">54.50$jProgrammierung: Allgemeines</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bernardi, Simona</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A dependability profile within MARTE</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2009</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">© Springer-Verlag 2009</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Abstract The importance of assessing software non-functional properties (NFP) beside the functional ones is well accepted in the software engineering community. In particular, dependability is a NFP that should be assessed early in the software life-cycle by evaluating the system behaviour under different fault assumptions. Dependability-specific modeling and analysis techniques include for example Failure Mode and Effect Analysis for qualitative evaluation, stochastic Petri nets for quantitative evaluation, and fault trees for both forms of evaluation. Unified Modeling Language (UML) may be specialized for different domains by using the profile mechanism. For example, the MARTE profile extends UML with concepts for modeling and quantitative analysis of real-time and embedded systems (more specifically, for schedulability and performance analysis). This paper proposes to add to MARTE a profile for dependability analysis and modeling (DAM). A case study of an intrusion-tolerant message service will offer insight on how the MARTE-DAM profile can be used to derive a stochastic Petri net model for performance and dependability assessment.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Message Replicator</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Steady State Availability</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Deployment Diagram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">General Quantitative Analysis Model</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fault Occurrence Rate</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Merseguer, José</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Petriu, Dorina C.</subfield><subfield code="4">aut</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Software and systems modeling</subfield><subfield code="d">Springer-Verlag, 2002</subfield><subfield code="g">10(2009), 3 vom: 14. Aug., Seite 313-336</subfield><subfield code="w">(DE-627)356568156</subfield><subfield code="w">(DE-600)2092265-6</subfield><subfield code="w">(DE-576)10203768X</subfield><subfield code="x">1619-1366</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:10</subfield><subfield code="g">year:2009</subfield><subfield code="g">number:3</subfield><subfield code="g">day:14</subfield><subfield code="g">month:08</subfield><subfield code="g">pages:313-336</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://doi.org/10.1007/s10270-009-0128-1</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2018</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2244</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4046</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4277</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4307</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4325</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">54.50$jProgrammierung: Allgemeines</subfield><subfield code="q">VZ</subfield><subfield code="0">181569876</subfield><subfield code="0">(DE-625)181569876</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">10</subfield><subfield code="j">2009</subfield><subfield code="e">3</subfield><subfield code="b">14</subfield><subfield code="c">08</subfield><subfield code="h">313-336</subfield></datafield></record></collection>
|
score |
7.4009037 |