Abstract
This paper proposes a novel model-based approach to combine the quantitative dependability (safety, reliability, availability, maintainability and IT security) analysis and trade-off analysis. The proposed approach is called DPN (Dependability Priority Numbers) and allows the comparison of different actual dependability characteristics of a systems with its target values and evaluates them regarding trade-off analysis criteria. Therefore, the target values of system dependability characteristics are taken as requirements, while the actual value of a specific system design are provided by quantitative and qualitative dependability analysis (FHA, FMEA, FMEDA, of CFT-based FTA). The DPN approach evaluates the fulfillment of individual target requirements and perform trade-offs between analysis objectives. We present the workflow and meta-model of the DPN approach, and illustrate our approach using a case study on a brake warning contact system. Hence, we demonstrate how the model-based DPNs improve system dependability by selecting the project crucial dependable design alternatives or measures.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Elahi, G., Yu, E.: Modeling and analysis of security trade-offs – a goal oriented approach. ftp://www.cs.toronto.edu/dist/eric/ER07-Elahi.pdf. Accessed 21 May 2019
Despotou, G., Kelly, T.: Design and development of dependability case architecture during system development. https://pdfs.semanticscholar.org/f8e4/6d38a451a56a4d588ca6533dbec7d52979e2.pdf. Accessed 21 May 2019
Despotou, G., McDermid, J., Kelly, T.: using scenarios to identify and trade-off dependability objectives in design. https://www-users.cs.york.ac.uk/tpk/issc05b.pdf. Accessed 21 May 2019
Trade-off examples inside software engineering and computer science. https://pdfs.semanticscholar.org/d671/e1fce79502df40d424b94790444300f0d291.pdf. Accessed 21 July May 2019
Bernardi, S., Merseguer, J., Petriu, D.C.: dependability modeling and assessment in UML-based software development. http://www.sce.carleton.ca/faculty/petriu/papers/BMP11-prepub.pdf. Accessed 21 May 2019
Tundis, A., Buffoni, L., Fitzson, P., Garro, A.: Model-based dependability analysis of physical systems with Modelica. Hindawi Model. Simul. Eng. 2017, 15, Article ID 1578043 (2017). https://doi.org/10.1155/2017/1578043. Accessed 21 May 2019
Andrews, A., Runeson, P., France, R.: requirements trade-offs during UML design. https://ieeexplore.ieee.org/document/1316710/. Accessed 21 May 2019
Despotou, G., Kelly, T.: The need for flexible requirements in dependable systems. https://www-users.cs.york.ac.uk/tpk/iwrehas06.pdf. Accessed 21 May 2019
Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.: Technical research report: basic concepts and taxonomy of dependable and secure computing. https://www.nasa.gov/pdf/636745main_day_3-algirdas_avizienis.pdf. Accessed 21 May 2019
Kaiser, B., Liggesmeyer, P., Mäckel, O.: A new component concept for fault tree. https://pdfs.semanticscholar.org/5022/6ad58579c00b7be9aacce3f1f1c704ee3f8a.pdf. Accessed 21 May 2019
Prasad, D.K.: Dependable systems integration using measurement theory and decision analysis. Ph.D. thesis. https://pdfs.semanticscholar.org/fcd5/fe26750c12720824ff4556c2ccc43a64b605.pdf. Accessed 21 July May 2019
Keeney, R.L., Raiffa, H.: Decisions with multiple object: preferences and value tradeoffs. Wiley. http://pure.iiasa.ac.at/id/eprint/375/1/WP-75-053.pdf. Accessed 16 May 2019
Despotou, G.: Managing the evolution of dependability cases for systems of systems. Ph.D. thesis. https://www.researchgate.net/publication/251734596_Managing_the_Evolution_of_Dependability_Cases_for_Systems_of_Systems. Accessed 21 May 2019
Houmb, S.H.: The aspect-oriented risk-driven development (AORDD) framework. https://pdfs.semanticscholar.org/b121/6bf23456a894989be5d56d2e4d021664b1f8.pdf. Accessed 16 May 2019
Acknowledgement
This work is supported by the Framework Programme for Research and Innovation Horizon 2020 under grant agreement n. 732242 (DEIS).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Guo, Z., Zeller, M. (2019). DPN – Dependability Priority Numbers. In: Papadopoulos, Y., Aslansefat, K., Katsaros, P., Bozzano, M. (eds) Model-Based Safety and Assessment. IMBSA 2019. Lecture Notes in Computer Science(), vol 11842. Springer, Cham. https://doi.org/10.1007/978-3-030-32872-6_12
Download citation
DOI: https://doi.org/10.1007/978-3-030-32872-6_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-32871-9
Online ISBN: 978-3-030-32872-6
eBook Packages: Computer ScienceComputer Science (R0)