596Accesses
Abstract
This chapter sets the scene, describes the context, and motivates the need for more detailed research on composing model-based analysis tools. We give a general motivation of the topic of the book and a high-level overview of the area. We then describe the goals of the book, its target audience, and the structure of the remainder of the book. Furthermore, we give suggestions for how to read the book.
This is a preview of subscription content,log in via an institution to check access.
Access this chapter
Subscribe and save
- Get 10 units per month
- Download Article/Chapter or eBook
- 1 Unit = 1 Article or 1 Chapter
- Cancel anytime
Buy Now
- Chapter
- JPY 3498
- Price includes VAT (Japan)
- eBook
- JPY 11439
- Price includes VAT (Japan)
- Softcover Book
- JPY 14299
- Price includes VAT (Japan)
- Hardcover Book
- JPY 20019
- Price includes VAT (Japan)
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Waqar Ahmad, Osman Hasan, and Sofiène Tahar. “Formal Dependability Modeling and Analysis: A Survey”. In:9th International Conference Intelligent Computer Mathematics, CICM. Vol. 9791. 2016, pp. 132–147.https://doi.org/10.1007/978-3-319-42547-4_10.
Marko Čepin. “Reliability Block Diagram”. In:Assessment of Power System Reliability: Methods and Applications. 2011, pp. 119–123.https://doi.org/10.1007/978-0-85729-688-7_9.
John Donaldson.A Case Narrative of the Project Problems with the Denver Airport Baggage Handling System (DABHS). Tech. rep. Software Forensics Centre Technical Report TR 2002-01, 2002.
Naeem Esfahani and Sam Malek. “Uncertainty in Self-Adaptive Software Systems”. In:Software Engineering for Self-Adaptive Systems II - International Seminar, Dagstuhl Castle, Germany, October 24–29, 2010 Revised Selected and Invited Papers. Vol. 7475. 2013, pp. 214–238.https://doi.org/10.1007/978-3-642-35813-5_9.
Peter Feiler, David Gluch, and John Hudak.The Architecture Analysis & Design Language (AADL): An Introduction. Tech. rep. CMU/SEI-2006-TN-011. Software Engineering Institute, Carnegie Mellon University, 2006.http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=7879.
Walter Gilks.Markov chain Monte Carlo. 2005.https://doi.org/10.1002/0470011815.b2a14021.
Center for Internet Security.The SolarWinds Cyber-Attack: What You Need to Know. Mar. 2021.https://www.cisecurity.org/solarwinds/.
M. Kennedy and A. O’Hagan. “Bayesian calibration of computer models”. In:Journal of the Royal Statistical Society 63 (2001), pp. 425–464.
Modelica Association. Modelica -A Unified Object-Oriented Language for Physical Systems Modeling. 2013.
Angela Monaghan.Timeline of trouble: how the TSB IT meltdown unfolded. The Guardian, UK. June 2018.https://www.theguardian.com/business/2018/jun/06/timeline-of-trouble-how-the-tsb-it-meltdownunfolded.
Diego Perez-Palacin and Raffaela Mirandola. “Uncertainties in the modeling of self-adaptive systems: a taxonomy and an example of availability evaluation”. In:ACM/SPEC International Conference on Performance Engineering, ICPE. 2014, pp. 3–14.https://doi.org/10.1145/2568088.2568095.
Ralf H. Reussner, Steffen Becker, Jens Happe, Robert Heinrich, Anne Koziolek, Heiko Koziolek, Max Kramer, and Klaus Krogmann.Modeling and simulating software architectures: The Palladio approach. MIT Press, 2016.
Misha Strittmatter, Georg Hinkel, Michael Langhammer, Reiner Jung, and Robert Heinrich. “Challenges in the Evolution of Metamodels: Smells and Anti-Patterns of a Historically-Grown Metamodel”. In:Proceedings of the 10th Workshop on Models and Evolution. Vol. 1706. 2016, pp. 30–39.http://ceur-ws.org/Vol-1706/paper5.pdf.
William E. Vesely, Francine F. Goldberg, Norman H. Roberts, and David F. Haasl.Fault tree handbook. Tech. rep. NUREG-0492. U.S. Nuclear Regulatory Commission, 1981.https://www.nrc.gov/docs/ML1007/ML100780465.pdf.
Warren Walker, Poul Harremoës, Jan Rotmans, Jeroen van der Sluijs, Marjolein van Asselt, Peter Janssen, and Martin Krayer von Krauss. “Defining Uncertainty: A Conceptual Basis for Uncertainty Management in Model-Based Decision Support”. In:Integrated Assessment 4.1 (2003), pp. 5–17.https://doi.org/10.1076/iaij.4.1.5.16466.
Author information
Authors and Affiliations
Karlsruhe Institute of Technology, Karlsruhe, Germany
Robert Heinrich
University of Málaga, Málaga, Spain
Francisco Durán
SRI International, Menlo Park, CA, USA
Carolyn Talcott
King’s College London, London, UK
Steffen Zschaler
- Robert Heinrich
You can also search for this author inPubMed Google Scholar
- Francisco Durán
You can also search for this author inPubMed Google Scholar
- Carolyn Talcott
You can also search for this author inPubMed Google Scholar
- Steffen Zschaler
You can also search for this author inPubMed Google Scholar
Corresponding author
Correspondence toRobert Heinrich.
Editor information
Editors and Affiliations
Karlsruhe Institute of Technology, Karlsruhe, Germany
Robert Heinrich
University of Málaga, Málaga, Spain
Francisco Durán
SRI International, Menlo Park, CA, USA
Carolyn Talcott
King's College London, London, UK
Steffen Zschaler
Rights and permissions
Copyright information
© 2021 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Heinrich, R., Durán, F., Talcott, C., Zschaler, S. (2021). Introduction. In: Heinrich, R., Durán, F., Talcott, C., Zschaler, S. (eds) Composing Model-Based Analysis Tools. Springer, Cham. https://doi.org/10.1007/978-3-030-81915-6_1
Download citation
Published:
Publisher Name:Springer, Cham
Print ISBN:978-3-030-81914-9
Online ISBN:978-3-030-81915-6
eBook Packages:Computer ScienceComputer Science (R0)
Share this chapter
Anyone you share the following link with will be able to read this content:
Sorry, a shareable link is not currently available for this article.
Provided by the Springer Nature SharedIt content-sharing initiative