Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Introduction and Objectives Kapitel lesen Erstes Kapitel lesen

2021 | OriginalPaper | Buchkapitel

13. Semi-Formal Modeling of Multi-technological Systems I: UML

verfasst von : Ivo Häring

Erschienen in: Technical Safety, Reliability and Resilience

Verlag: Springer Singapore

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Unified Modeling Language (UML) is a semi-formal graphical language which is used in the software development and other domains including railway system modeling, general requirements and system engineering, supply-chain management, and enterprise and business process modeling. UML offers profiles and extensions that enable the customization of UML to specific domains as well as its formalization by reducing and extending it to a formal graphical language, e.g., a unique representation of a formal state machine model. System modeling language (SysML) can be understood as UML applied to systems engineering of multi-technological systems. Semi-formal modeling (UML and SysML) is used in companies for system specification and requirements formulation and tracing; for system development, testing, verification, and validation; and for the communication between different development teams, company parts, and subcontractors. The chapter provides these backgrounds as well as limitations of semi-formal modeling. The focus of the chapter is the selection, self-consistent presentation, and exemplary use of UML and selected SysML diagrams and their elements sufficient for the specification of safety-critical requirements. UML is also used to trace the fulfillment of safety requirements. Representative safety requirements are modeled and finally recommendations are given regarding the selection of diagram types for the efficient modeling of different types of safety requirements as well as how to trace their fulfillment. Example diagrams used include UML class diagram, UML composite structure diagram, UML state diagram, UML sequence diagram, UML activity diagram, and SysML requirements diagram.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Requirements for Safety-Critical Systems
Nächstes Kapitel Semi-formal Modeling of Multi-technological Systems II: SysML Beyond the Requirements Diagram
Literatur
da Silva, João Pablo S.; Ecar, Miguel; Pimenta, Marcelo S.; Guedes, Gilleanes T. A.; Franz, Luiz Paulo; Marchezan, Luciano (2018): A systematic literature review of UML-based domain-specific modeling languages for self-adaptive systems. In: 2018 ACM/IEEE 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. SEAMS 2018: 28-29 May 2018, Gothenburg, Sweden: proceedings. With assistance of Jesper Andersson. SEAMS; Association for Computing Machinery; Institute of Electrical and Electronics Engineers; ACM/IEEE International Symposium on Software Engineering for Adaptive and Self-Managing Systems; IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems; International Symposium on Software Engineering for Adaptive and Self-Managing Systems; International Conference on Software Engineering (ICSE). Piscataway, NJ: IEEE, pp. 87–93.
Elamkulam, Janees; Glazberg, Ziv; Rabinovitz, Ishai; Kowlali, Gururaja; Gupta, Satish Chandra; Kohli, Sandeep et al. (2007): Detecting Design Flaws in UML State Charts for Embedded Software. In Eyal Bin, Avi Ziv, Shmuel Ur (Eds.): Hardware and software, verification and testing. Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006; revised selected papers, vol. 4383. Berlin: Springer (Lecture Notes in Computer Science, 4383), pp. 109–121.
Fontan, B.; Apvrille, L.; Saqui-Sannes, P. de; Courtiat, J.-P. (2007): Real-Time and Embedded System Verification Based on Formal Requirements. In: International Symposium on Industrial Embedded Systems, 2006. IES '06; Antibes Juan-Les-Pins, France, 18–20 Oct. 2006. Institute of Electrical and Electronics Engineers; International Symposium on Industrial Embedded Systems; IES 2006. Piscataway, NJ: IEEE Service Center, pp. 1–10.
Fowler, M. (2003). UML Distilled: A Brief Guide to the Standard Object Modeling Language, Addison-Wesley Professional.
Gogolla, M., F. Büttner and M. Richters (2006). USE: A UML-based Specification Environment. Bremen, Universität Bremen.
Hänle, A. (2007): Modellierung und Spezifikation von Anforderungen eines sicherheitskritischen Systems mit UML, Modeling and Specification of Requirements of a safety critical System with UML. Hochschule Konstanz für Technik, Wirtschaft und Gestaltung (HTWG), University of Applied Sciences; Fraunhofer EMI, Efringen-Kirchen. Computer Science.
Hänle, A.; Häring, I. (2008): UML safety requirement specification and verification. In Sebastian Martorell, C. Guedes Soares, Julie Barett (Eds.): Safety Reliablity and Risk Analysis: Theory, Methods and Applications, European Safety and Reliablity Conference (ESREL) 2008, vol. 2. Valencia, Spain: Taylor and Franzis Group, London, pp. 1555–1563.
He, Weiguo; Goddard, S. (2000): Capturing an application's temporal properties with UML for Real-Time. In: Proceedings, Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000). November 15–17, 2000, Albuquerque, New Mexico. IEEE International High-Assurance Systems Engineering Symposium; IEEE Computer Society. Los Alamitos, Calif: IEEE Computer Society, pp. 65–74.
Kecher, C. (2006). UML 2.0: Das umfassende Handbuch, Galileo Computing.
Kecher, C. (2011). UML 2.0: Das umfassende Handbuch, Galileo Computing.
Larisch, M; Siebold, U; Häring, I (2011): Safety aspects of generic real-time embedded software model checking in the fuzing domain. In Christophe Berenguer, Antoine Grall, Carlos Guedes Soares (Eds.): Advances in Safety, Reliability and Risk Management. Esrel 2011. 1st ed. Baton Rouge: Chapman and Hall/CRC, pp. 2678–2684.
Liggesmeyer, P. (2002). Software-Qualität: Testen, Analysieren und Verifizieren von Software. Heidelberg, Berlin, Spektrum Akademischer Verlag.
McCabe, J. (1976). “A Complexity Measure.” IEE Transactions on Software Engineering SE-2.
Mukhtar, M I; Galadanc, B S (2018): Automatic code generation from UML diagrams: the state of the art 13 (4), pp. 47–60.
Ober, I., S. Graf and I. Ober (2006). “Validating timed UML models by simulation and verification.” International Journal on Software Tools for Technology Transfer (STTT) 8(2): 128.
Object Management Group (2004). Unified Modeling Language Superstructure.
Object Management Group (2011). Unified Modeling Language 2.4.1.
Oestereich, B. (2006). Analyse und Design mit UML 2.1. München, Oldenbourg Wissenschaftsverlag GmbH.
Oestereich, B. (2009). Analyse und Design mit UML 2.3: Objektorientierte Softwareentwicklung, Oldenbourg Wissenschaftsverlag.
OMG (2010). OMG Systems Modeling Language (OMG SysML), V1.2 - OMG Available Specification, Object Management Group.
Rupp, C., J. Hahn, S. Queins, M. Jeckle and B. Zengler (2005). UML 2 glasklar: Praxiswissen für die UML-Modellierung und -Zertifizierung, Carl Hanser Verlag GmbH & CO. KG.
Soeken, Mathias; Wille, Robert; Kuhlmann, Mirco; Gogolla, Martin; Drechsler, Rolf (2010): Verifying UML/OCL models using Boolean satisfiability. In: Design, Automation & Test in Europe Conference & Exhibition (DATE), 2010. 8–12 March 2010, Dresden, Germany; proceedings. European Design Automation Association; Design, Automation & Test in Europe Conference & Exhibition; DATE. Piscataway, NJ: IEEE, pp. 1341–1344.
Storey, N. (1996). Safety-Critical Computer Systems. Harlow, Addison Wesley.
Unhelkar, B. (2005). Verification and Validation for Quality of UML 2.0 Models, John Wiley and Sons.
Vogel-Heuser, B., S. Braun, B. Kormann and D. Friedrich (2011). Implementation and evaluation of UML as modeling notation in object oriented software engineering for machine and plant automation. 18th IFAC World Congress of the International Federation of Automatic Control, Milano, Italy.
Wagner, S. and J. Jürjens (2005). Model-Based Identification of Faul-Prone Components, Technische Universität München.
Weilkiens, T. (2006). Systems Engineering mit SysML/UML. Heidelberg, dpunkt.verlag GmbH.
WTI-Frankfurt eG (2011). TEMA Technik und Management. Frankfurt.
Zheng, Weiqun; Bundell, Gary (2009): Model-Based Software Component Testing: A UML-Based Approach. In: International Conference on Information Systems. ICIS 2007; Montreal, Quebec, Canada, 9–12 December 2007. Association for Information Systems; International Conference on Information Systems; ICIS. Red Hook, NY: Curran, pp. 891–899.
Ziadi, T., M. A. A. Silva, L. M. Hillah and M. Ziane (2011). A Fully Dynamic Approach to the Reverse Engineering of UML Sequence Diagrams. 16th IEEE International Conference on Engineering of Complex Computer Systems. Las Vegas, NV, US: 107–116.
Metadaten
Titel
Semi-Formal Modeling of Multi-technological Systems I: UML
verfasst von
Ivo Häring
Copyright-Jahr
2021
Verlag
Springer Singapore
Buch
Technical Safety, Reliability and Resilience

Print ISBN: 978-981-334-271-2

Electronic ISBN: 978-981-334-272-9

Copyright-Jahr: 2021

DOI
https://doi.org/10.1007/978-981-33-4272-9_13