[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"doc-seo-657647-105":3,"detail-sidebar-cat-0-en-105":80,"doc-detail-657647-en":130},{"code":4,"msg":5,"data":6},0,"ok",{"site_id":7,"language":8,"slug":9,"title":10,"keywords":11,"description":12,"schema_data":13,"social_meta":73,"head_meta":75,"extra_data":77,"updated_unix":79},105,"en","lecture-05-high-level-design-with-sysml","Lecture 05 - High-Level Design with SysML","","Lecture 05 presents high-level design for critical systems using SysML in the WS 2019/2020 course “Systeme hoher Sicherheit und Qualität”. It introduces quality concepts, legal requirements, and the software development process before focusing on models as abstractions that capture essential aspects from a chosen viewpoint. The material explains why SysML is used, distinguishes formal and informal diagram types, and outlines different SysML views such as structure, behaviour, requirements, and parametrization, with an illustrative cleaning-robot example.",{"@graph":14,"@context":72},[15,34,55],{"@type":16,"itemListElement":17},"BreadcrumbList",[18,23,27,31],{"item":19,"name":20,"@type":21,"position":22},"https://docshare.wps.com","Home","ListItem",1,{"item":24,"name":25,"@type":21,"position":26},"https://docshare.wps.com/document/","Document",2,{"item":28,"name":29,"@type":21,"position":30},"https://docshare.wps.com/document/technology/","Technology",3,{"item":32,"name":10,"@type":21,"position":33},"https://docshare.wps.com/document/lecture-05-high-level-design-with-sysml/657647/",4,{"url":32,"name":10,"@type":35,"image":36,"author":41,"headline":10,"publisher":44,"fileFormat":47,"inLanguage":8,"description":12,"dateModified":48,"datePublished":49,"encodingFormat":47,"isAccessibleForFree":50,"interactionStatistic":51},"DigitalDocument",{"url":37,"@type":38,"width":39,"height":40},"https://docshare.wps.com/thumbnails/lecture-05-high-level-design-with-sysml/657647.png","ImageObject",300,407,{"name":42,"@type":43},"DoDO","Person",{"url":19,"name":45,"@type":46},"DocShare","Organization","application/pdf","2026-10-30","2026-10-26",true,{"@type":52,"interactionType":53,"userInteractionCount":33},"InteractionCounter",{"@type":54},"ViewAction",{"@type":56,"mainEntity":57},"FAQPage",[58,64,68],{"name":59,"@type":60,"acceptedAnswer":61},"What is meant by a model in this lecture?","Question",{"text":62,"@type":63},"A model is a representation in a chosen medium that captures important aspects of what is being modelled while simplifying or omitting the rest. It is created from a specific point of view.","Answer",{"name":65,"@type":60,"acceptedAnswer":66},"Why is SysML used in system and software development?",{"text":67,"@type":63},"SysML serves as a standardized notation so stakeholders can understand and communicate the salient aspects of the system. It supports requirements, structure, and behaviour descriptions, with clear separation between formal and informal diagram aspects.",{"name":69,"@type":60,"acceptedAnswer":70},"How does the lecture categorize different views in SysML?",{"text":71,"@type":63},"SysML views are organized by structure (construction and decomposition), behaviour (observable states), requirements (whether requirements are met), and parametrization (constraints such as physical and design limits).","https://schema.org",{"og:url":32,"og:type":74,"og:title":10,"og:site_name":45,"og:description":12},"article",{"robots":76,"canonical":32},"index,follow",{"doc_id":78,"site_id":7},657647,1793060978,{"code":4,"msg":81,"data":82},"success",[83,87,91,95,100,104,109,114,119,122,126],{"id":22,"doc_module":4,"doc_module_name":25,"category_name":84,"show_sort_weight":85,"slug":86},"Story & Novel",90,"story-novel",{"id":26,"doc_module":4,"doc_module_name":25,"category_name":88,"show_sort_weight":89,"slug":90},"Literature",80,"literature",{"id":33,"doc_module":4,"doc_module_name":25,"category_name":92,"show_sort_weight":93,"slug":94},"Exam",70,"exam",{"id":96,"doc_module":4,"doc_module_name":25,"category_name":97,"show_sort_weight":98,"slug":99},5,"Comic",60,"comic",{"id":101,"doc_module":4,"doc_module_name":25,"category_name":29,"show_sort_weight":102,"slug":103},6,50,"technology",{"id":105,"doc_module":4,"doc_module_name":25,"category_name":106,"show_sort_weight":107,"slug":108},7,"Healthcare",40,"healthcare",{"id":110,"doc_module":4,"doc_module_name":25,"category_name":111,"show_sort_weight":112,"slug":113},8,"Research & Report",30,"research-report",{"id":115,"doc_module":4,"doc_module_name":25,"category_name":116,"show_sort_weight":117,"slug":118},9,"Religion & Spirituality",20,"religion-spirituality",{"id":117,"doc_module":4,"doc_module_name":25,"category_name":120,"show_sort_weight":117,"slug":121},"World Cup","world-cup",{"id":123,"doc_module":4,"doc_module_name":25,"category_name":124,"show_sort_weight":123,"slug":125},10,"Lifestyle","lifestyle",{"id":127,"doc_module":4,"doc_module_name":25,"category_name":128,"show_sort_weight":96,"slug":129},19,"General","general",{"code":4,"msg":81,"data":131},{"doc_id":78,"user_id":132,"nickname":42,"user_avatar":133,"doc_module":4,"category_id":101,"category_name":29,"doc_title":10,"doc_description":12,"doc_content":134,"file_id":135,"file_url":136,"file_type":137,"file_size":138,"view_count":33,"is_deleted":4,"is_public":22,"is_downloadable":22,"audit_status":22,"page_count":101,"language":139,"language_code":8,"site_id":7,"html_lang":8,"table_of_contents":140,"faqs":141,"seo_title":142,"seo_description":12,"update_tm":143,"read_time":144},962093270745,"https://ap-avatar.wpscdn.com/davatar_9964176cb1d06d4a9deccf72a44ae3dc","| \u003Cbr>Systeme hoher Sicherheit und Qualität\u003Cbr>WS 2019/2020 |  | |  |\n| --- | --- | --- | --- |\n| Lecture 05:\u003Cbr>High-Level Design with SysML\u003Cbr>Christoph Lüth, Dieter Hutter, Jan Peleska |  |  |  |\n| Systeme hoher Sicherheit und Qualität, WS 19/20 | - 1- |  | |\n\n\n| Where are we?\u003Cbr>􀁦 01: Concepts of Quality\u003Cbr>􀁦 02: Legal Requirements: Norms and Standards\u003Cbr>􀁦 03: The Software Development Process\u003Cbr>􀁦 04: Hazard Analysis\u003Cbr> 􀁦 05: High-Level Design with SysML \u003Cbr>􀁦 06: Formal Modelling with OCL\u003Cbr>􀁦 07: Testing\u003Cbr>􀁦 08: Static Program Analysis\u003Cbr>􀁦 09-10: Software Verification\u003Cbr>􀁦 11-12: Model Checking\u003Cbr>􀁦 13: Conclusions |  |  |\n| --- | --- | --- |\n| Systeme hoher Sicherheit und Qualität, WS 19/20 | -2- | |\n\n\n| High-Level Design in the Development Cycle |  |  |\n| --- | --- | --- |\n| Systeme hoher Sicherheit und Qualität, WS 19/20 | -3- | |\n\n\n| What is a model? |  |  |  |\n| --- | --- | --- | --- |\n| 􀁦 Different notions of models in physics, philosophy or computer science |  | A model is a representation in a certain medium of something in the same or another medium. The model captures the important aspects of the thing being modelled from a certain point of view and simplifies or omits the rest.\u003Cbr>Rumbaugh, Jacobson, Booch: UML Reference Manual. |  |\n| 􀁦 Here: an abstraction of a system / a software / a development\u003Cbr>􀁦 Purposes of models:\u003Cbr>􀁦 Understanding, communicating and capturing the design\u003Cbr>􀁦 Organizing decisions / information about a system\u003Cbr>􀁦 Analyzing design decisions early in the development process\u003Cbr>􀁦 Analyzing requirements |  |  |  |\n| Systeme hoher Sicherheit und Qualität, WS 19/20 | -4- |  | |\n\n| Different notions of models\u003Cbr>􀁦 In physics: Models give mathematical representations of some part of reality\u003Cbr>􀁦 Example. Space-time models for understanding our universe.\u003Cbr>􀁦 In philosophy: Models attach meaning to symbols and syntax\u003Cbr>􀁦 Example. Ontologies are used to a specify set of concepts and categories in a subject area or domain that shows their properties and the relations between them.\u003Cbr>􀁦 In computer science: Models are used to specify systems to be built\u003Cbr>􀁦 Example. Class diagrams model the collection of classes to be\u003Cbr>programmed or used in a library, and the relations between these classes.\u003Cbr>􀁦 In organizational theory: Models are used to specify organizations, companies, projects\u003Cbr>􀁦 Example. Organization charts |  |  |\n| --- | --- | --- |\n| Systeme hoher Sicherheit und Qualität, WS 19/20 | -5- | |\n\n\n| An Introduction to SysML |  |  |\n| --- | --- | --- |\n| Systeme hoher Sicherheit und Qualität, WS 19/20 | -6- | |\n\n\n| The Unified Modeling Language (UML)\u003Cbr>􀁦 Grew out of a wealth of modelling languages in the 1990s (James Rumbaugh, Grady Booch and Ivar Jacobson at Rational)\u003Cbr>􀁦 Adopted by the Object Management Group (OMG) in 1997, and approved as ISO standard in 2005.\u003Cbr>􀁦 UML 2.5 consists of\u003Cbr>􀁦 a core meta-model,\u003Cbr>􀁦 a concrete modeling syntax,\u003Cbr>􀁦 the object constraint language (OCL),\u003Cbr>􀁦 an interchange format\u003Cbr>􀁦 UML 2 is not a fixed language, it can be extended and customized using profiles.\u003Cbr>􀁦 SysML is a modeling language for systems engineering\u003Cbr>􀁦 Standardized in 2007 by the OMG (May 2017 at Ver 1.5)\u003Cbr>􀁦 Latest SysML standard at [https://www.omg.org/spec/SysML/About-SysML/](https://www.omg.org/spec/SysML/About-SysML/) |  |  |\n| --- | --- | --- |\n| Systeme hoher Sicherheit und Qualität, WS 19/20 | -7- | |\n\n\n| What for SysML?\u003Cbr>􀁦Serving as a standardized notation allowing all stakeholders to understand and communicate the salient aspects of the system under development\u003Cbr>􀁦 the requirements,\u003Cbr>􀁦 the structure (static aspects), and\u003Cbr>􀁦 the behaviour (dynamic aspects)\u003Cbr>􀁦Certain aspects (diagrams) of the SysML are formal, others are informal\u003Cbr>􀁦 Important distinction when developing critical systems\u003Cbr>􀁦All diagrams are views of one underlying model |  |  |\n| --- | --- | --- |\n| Systeme hoher Sicherheit und Qualität, WS 19/20 | -8- | |\n\n\n| Different Views in SysML\u003Cbr","cbCaipRlT4TjqS40","https://ap.wps.com/l/cbCaipRlT4TjqS40","pdf",2018730,"English","# Where are we?\n## Concepts of Quality\n## Legal Requirements: Norms and Standards\n## The Software Development Process\n## Hazard Analysis\n## High-Level Design with SysML\n## Formal Modelling with OCL\n## Testing\n## Static Program Analysis\n## Software Verification\n## Model Checking\n## Conclusions\n# What is a model?\n# Different notions of models\n# An Introduction to SysML\n# The Unified Modeling Language (UML)\n# What for SysML?\n# Different Views in SysML\n# Example: A Cleaning Robot (HooverBot)\n# SysML Diagrams\n## Structural Diagrams\n## Block Definition Diagram","[{\"question\":\"What is meant by a model in this lecture?\",\"answer\":\"A model is a representation in a chosen medium that captures important aspects of what is being modelled while simplifying or omitting the rest. It is created from a specific point of view.\"},{\"question\":\"Why is SysML used in system and software development?\",\"answer\":\"SysML serves as a standardized notation so stakeholders can understand and communicate the salient aspects of the system. It supports requirements, structure, and behaviour descriptions, with clear separation between formal and informal diagram aspects.\"},{\"question\":\"How does the lecture categorize different views in SysML?\",\"answer\":\"SysML views are organized by structure (construction and decomposition), behaviour (observable states), requirements (whether requirements are met), and parametrization (constraints such as physical and design limits).\"}]","Lecture 05 - High-Level Design with SysML | PDF",1792985766,15]