{"id":4209,"date":"2022-06-23T08:00:00","date_gmt":"2022-06-23T06:00:00","guid":{"rendered":"http:\/\/www.se-trends.de\/?p=4209"},"modified":"2022-07-04T14:34:27","modified_gmt":"2022-07-04T12:34:27","slug":"iso-29148-and-mbse-experience-report-by-geoff-shuebrook","status":"publish","type":"post","link":"https:\/\/www.se-trends.de\/en\/iso-29148-and-mbse-erfahrungsbericht-von-geoff-shuebrook\/","title":{"rendered":"ISO 29148 and MBSE: Field report by Geoff Shuebrook"},"content":{"rendered":"<p class=\"wp-block-paragraph\">ISO 29148 should be familiar to anyone who deals with requirements. Geoff Shuebrook shared how this fits in with MBSE in an INCOSE webinar this week. The core idea is property-based requirements. Geoff also shows how this concept can be implemented in Cameo (MagicDraw).<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Below is a summary of this exciting idea and the link to the video and other materials.<\/p>\n\n\n\n<!--more-->\n\n\n\n<h2 class=\"wp-block-heading\">Geoff Shuebrook<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Geoff has decades of experience as a systems engineer. He is currently a Senior Systems Engineer at Lockheed Martin, where he has worked for 13 years. He focuses on modeling and testing. <\/p>\n\n\n\n<p class=\"wp-block-paragraph\">In his webinar, he draws on this enormous wealth of knowledge, which consists of both theory and many years of practical experience. This article is merely a superficial summary. His one-hour INCOSE presentation on the content described here is available at <a href=\"https:\/\/youtu.be\/luXMQ0sQoFU\" target=\"_blank\" rel=\"noreferrer noopener\">Youtube<\/a> to find.<\/p>\n\n\n\n<div class=\"wp-block-buttons is-content-justification-center is-layout-flex wp-container-core-buttons-is-layout-fe48e5de wp-block-buttons-is-layout-flex\">\n<div class=\"wp-block-button\"><a class=\"wp-block-button__link has-background\" href=\"https:\/\/youtu.be\/luXMQ0sQoFU\" style=\"background-color:#7eb13d\">YouTube: MBSE and Requirements Engineering: Utilizing SysML\/UML to Apply ISO\/IEC\/IEEE 29148 (Geoff Shuebrook)<\/a><\/div>\n<\/div>\n\n\n\n<div style=\"height:31px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<h2 class=\"wp-block-heading\">Core concepts of ISO\/IEC\/IEEE 29148<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">The important <a href=\"https:\/\/www.iso.org\/standard\/72089.html\" target=\"_blank\" rel=\"noreferrer noopener\">ISO standard 29148<\/a> does not assume that all requirements are available in text form, but this is the focus of the standard. Whether models can completely replace requirements is not up for debate. However, the fact that models and requirements complement each other well <a href=\"http:\/\/www.se-trends.de\/en\/models-instead-of-requirements\/\">I already wrote more than five years ago<\/a>.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">With this in mind, Geoff examined the standard for core ideas that could serve as the basis for an integrating concept. He identified the following three:<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li><strong>Controlled vocabulary<\/strong> - The standard requires that \"all terms should be formally defined and consistently applied\".<\/li><li><strong>Concept model<\/strong> - The standard calls for criteria as \"measurable qualitative or quantitative properties that are defined for a requirement.\"<\/li><li><strong>Patterns &amp; properties<\/strong> - The standard gives examples of <strong>Record templates<\/strong>which are filled with properties (among other things).<\/li><\/ul>\n\n\n\n<p class=\"wp-block-paragraph\">These concepts are independent of whether we work with natural language or with models.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Semiotic triangle<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Another foundation for Geoff's approach is the <a href=\"https:\/\/de.wikipedia.org\/wiki\/Semiotisches_Dreieck\" target=\"_blank\" rel=\"noreferrer noopener\">Semiotic triangle<\/a>:<\/p>\n\n\n\n<figure class=\"wp-block-image aligncenter size-full\"><img data-src=\"http:\/\/www.se-trends.de\/wp-content\/uploads\/2022\/06\/image-15.png\" data-srcset=\"https:\/\/www.se-trends.de\/wp-content\/uploads\/2022\/06\/image-15.png 400w, https:\/\/www.se-trends.de\/wp-content\/uploads\/2022\/06\/image-15-281x204.png 281w, https:\/\/www.se-trends.de\/wp-content\/uploads\/2022\/06\/image-15-18x12.png 18w\" decoding=\"async\" width=\"400\" height=\"290\" src=\"data:image\/gif;base64,R0lGODlhAQABAIAAAAAAAP\/\/\/yH5BAEAAAAALAAAAAABAAEAAAIBRAA7\" alt=\"\" class=\"wp-image-4224 lazyload\"  sizes=\"(max-width: 400px) 100vw, 400px\" \/><noscript><img decoding=\"async\" width=\"400\" height=\"290\" src=\"http:\/\/www.se-trends.de\/wp-content\/uploads\/2022\/06\/image-15.png\" alt=\"\" class=\"wp-image-4224\" srcset=\"https:\/\/www.se-trends.de\/wp-content\/uploads\/2022\/06\/image-15.png 400w, https:\/\/www.se-trends.de\/wp-content\/uploads\/2022\/06\/image-15-281x204.png 281w, https:\/\/www.se-trends.de\/wp-content\/uploads\/2022\/06\/image-15-18x12.png 18w\" sizes=\"(max-width: 400px) 100vw, 400px\"><\/noscript><figcaption>The semiotic triangle (image source: <a href=\"https:\/\/de.wikipedia.org\/wiki\/Semiotisches_Dreieck\" target=\"_blank\" rel=\"noreferrer noopener\">Wikipedia<\/a>)<\/figcaption><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\">Watch out! \"Symbol\" is usually a word that would typically appear in a glossary, but not the meaning of the symbol. Only the \"term\" gives the symbol a meaning.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">In both requirements engineering and modeling, we like to skip the term, assuming that the meaning is obvious. This is pragmatic and often unproblematic, but also harbors the risk of misunderstandings.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Works by Giancarlo Guizzardi and Patrice Micouin<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">In order to bring together the identified concepts of ISO 29148 and the semiotic triangle, Geoff drew on the work on conceptual modeling by Giancarlo Guizzardi. Guizzardi is primarily concerned with unambiguous and consistent communication based on the semiotic triangle.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Patrice Micouin is the author of the book <a href=\"https:\/\/onlinelibrary.wiley.com\/doi\/book\/10.1002\/9781118579435\" target=\"_blank\" rel=\"noreferrer noopener\">Model Based Systems Engineering<\/a>which also contains the description of a property-based requirements method. The paper <a href=\"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/sys.20198?casa_token=3MN3Uj2KXxEAAAAA:56qyGg8frv992wkuXBQH9ckzpBWHBxHjx2is2HasR72wrjSnnZWiW3m0Ga5-MGYGp7SmstjBaAP24DE\" target=\"_blank\" rel=\"noreferrer noopener\">Requirements Management within a FullModel-Based Engineering Approach<\/a> by Yves Bernard provides a good overview.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Property-Based Requirements in MagicDraw\/Cameo<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">The practical application is now exciting. Geoff gave a live demonstration of how property-based requirements in <a href=\"http:\/\/www.se-trends.de\/en\/day\/magicdraw\/\">Cameo<\/a> can be modeled. This is <a href=\"https:\/\/youtu.be\/luXMQ0sQoFU?t=1808\" target=\"_blank\" rel=\"noreferrer noopener\">in the video from the 30th minute<\/a> to see.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Of the three cornerstones of the semiotic triangle, two remain relatively constant, namely the controlled vocabulary and the concept model. Geoff proposes to develop these carefully and store them in a repository to enable reuse. Following this philosophy, he also proposes blocks (classes) for the symbols and block instances (objects) for the things.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">In Cameo, Geoff shows a concrete example from the <a href=\"http:\/\/www.se-trends.de\/en\/category\/industry\/automotive\/\">Automotive engineering<\/a>which is based on the following requirement:<\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>The clearance between the wheel and the components connected to the wheel must be at least 7 mm over the entire wheel arch.<\/code><\/pre>\n\n\n\n<p class=\"wp-block-paragraph\">At first glance, the requirement seems plausible and understandable. However, in order to turn this into a property-related requirement, we must first define all symbols. What is a wheel? What is the wheel arch? Geoff models these relationships in Cameo as ConceptDescriptions with relations and properties. Here is an example of the clearance dimension:<\/p>\n\n\n\n<figure class=\"wp-block-image aligncenter size-full\"><img data-src=\"http:\/\/www.se-trends.de\/wp-content\/uploads\/2022\/06\/image-17.png\" data-srcset=\"https:\/\/www.se-trends.de\/wp-content\/uploads\/2022\/06\/image-17.png 828w, https:\/\/www.se-trends.de\/wp-content\/uploads\/2022\/06\/image-17-453x88.png 453w, https:\/\/www.se-trends.de\/wp-content\/uploads\/2022\/06\/image-17-800x155.png 800w, https:\/\/www.se-trends.de\/wp-content\/uploads\/2022\/06\/image-17-281x54.png 281w, https:\/\/www.se-trends.de\/wp-content\/uploads\/2022\/06\/image-17-18x3.png 18w\" decoding=\"async\" width=\"828\" height=\"160\" src=\"data:image\/gif;base64,R0lGODlhAQABAIAAAAAAAP\/\/\/yH5BAEAAAAALAAAAAABAAEAAAIBRAA7\" alt=\"\" class=\"wp-image-4228 lazyload\"  sizes=\"(max-width: 828px) 100vw, 828px\" \/><noscript><img decoding=\"async\" width=\"828\" height=\"160\" src=\"http:\/\/www.se-trends.de\/wp-content\/uploads\/2022\/06\/image-17.png\" alt=\"\" class=\"wp-image-4228\" srcset=\"https:\/\/www.se-trends.de\/wp-content\/uploads\/2022\/06\/image-17.png 828w, https:\/\/www.se-trends.de\/wp-content\/uploads\/2022\/06\/image-17-453x88.png 453w, https:\/\/www.se-trends.de\/wp-content\/uploads\/2022\/06\/image-17-800x155.png 800w, https:\/\/www.se-trends.de\/wp-content\/uploads\/2022\/06\/image-17-281x54.png 281w, https:\/\/www.se-trends.de\/wp-content\/uploads\/2022\/06\/image-17-18x3.png 18w\" sizes=\"(max-width: 828px) 100vw, 828px\"><\/noscript><figcaption>A concrete object, based on a concept model with properties (source: <a href=\"https:\/\/youtu.be\/luXMQ0sQoFU?t=2920\" target=\"_blank\" rel=\"noreferrer noopener\">Geoff Shuebrook<\/a>)<\/figcaption><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\">This preparatory work now enables us to work with a clearly defined vocabulary in Cameo. <\/p>\n\n\n\n<blockquote class=\"wp-block-quote is-layout-flow wp-block-quote-is-layout-flow\"><p><a href=\"https:\/\/youtu.be\/luXMQ0sQoFU?t=2920\" target=\"_blank\" rel=\"noreferrer noopener\">The model chain and its application can be seen live in the video from minute 48:40 &gt;&gt;<\/a><\/p><cite><a href=\"https:\/\/youtu.be\/luXMQ0sQoFU?t=2920\" target=\"_blank\" rel=\"noreferrer noopener\">YouTube<\/a><\/cite><\/blockquote>\n\n\n\n<h2 class=\"wp-block-heading\">The benefits of property-based requirements<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Anyone who has watched the video at this point will realize that Geoff has done a lot of preparatory work to be able to formulate these simple requirements in terms of properties. Why the effort?<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">The real added value comes to light when it comes to verifying the requirement. This is now possible at model level. Cameo can now use model checking to ensure that the requirement (clearance of at least 7 mm) is not violated with the selected components.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">To check this, not all properties need to be maintained in Cameo. In Geoff's example, many properties come from <a href=\"https:\/\/www.3ds.com\/products-services\/catia\/\" target=\"_blank\" rel=\"noreferrer noopener\">Catia<\/a>i.e. the CAD system.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">But model checking is just one of many possible applications of property-related requirements. The clarity of communication alone is a considerable added value for complex developments.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Property-Based Requirements without SysML<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Geoff has taken a very pragmatic approach. This includes the choice of Cameo as the platform for implementation. The deployment not only requires the team to know how to use Cameo. It also requires extensive customization and profiling, as well as careful model maintenance. Only large, complex projects (and organizations) can afford and justify this effort.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Watching the video, I couldn't help but think of <a href=\"http:\/\/www.se-trends.de\/en\/valispace\/\">Valispace<\/a> think. A central idea in the tool is parameterization, as well as the automatic checking of requirements based on parameters. Without having tried it out, I suspect that many of the concepts examined by Geoff can be implemented with Valispace without having to drag along the entire SysML substructure of Cameo.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Conclusion<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Property-based requirements are a charming idea. But ideas are all well and good if the implementation is unclear. Geoff did a tremendous service to the systems engineering community in this webinar by showing a practical way to implement the idea with industry tools. A big thank you for that. <\/p>\n\n\n\n<p class=\"wp-block-paragraph\">I would also like to mention that Geoff has made all the artifacts (presentation, models, etc.) available to the viewers of the webinar. Since he only puts them online on his private server for a short time, I don't want to post a link here that will quickly become outdated. If you are interested, please ask.<\/p>\n\n\n\n<p class=\"has-text-align-right wp-block-paragraph\">Cover picture: <a href=\"https:\/\/pixabay.com\/illustrations\/cad-design-mechanical-engineering-3484213\/\" target=\"_blank\" rel=\"noreferrer noopener\">Pixabay<\/a><\/p>","protected":false},"excerpt":{"rendered":"<p>ISO 29148 should be familiar to anyone who deals with requirements. Geoff Shuebrook shared how this fits in with MBSE in an INCOSE webinar this week. The core idea is property-based requirements. Geoff also shows how this concept can be implemented in Cameo (MagicDraw). The following is a summary of this exciting idea and the...<\/p>","protected":false},"author":1,"featured_media":4232,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_kad_post_transparent":"","_kad_post_title":"","_kad_post_layout":"","_kad_post_sidebar_id":"","_kad_post_content_style":"","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"_kad_post_classname":"","footnotes":""},"categories":[110,608],"tags":[100,540,603,601,261,86,604,602],"class_list":["post-4209","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-anforderungen","category-mbse","tag-anforderungen","tag-beispiel","tag-geoff-shuebrook","tag-iso-29148","tag-magicdraw","tag-mbse","tag-property-based-requirements","tag-semiotisches-dreieck"],"_links":{"self":[{"href":"https:\/\/www.se-trends.de\/en\/wp-json\/wp\/v2\/posts\/4209","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.se-trends.de\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.se-trends.de\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.se-trends.de\/en\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.se-trends.de\/en\/wp-json\/wp\/v2\/comments?post=4209"}],"version-history":[{"count":0,"href":"https:\/\/www.se-trends.de\/en\/wp-json\/wp\/v2\/posts\/4209\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.se-trends.de\/en\/wp-json\/wp\/v2\/media\/4232"}],"wp:attachment":[{"href":"https:\/\/www.se-trends.de\/en\/wp-json\/wp\/v2\/media?parent=4209"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.se-trends.de\/en\/wp-json\/wp\/v2\/categories?post=4209"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.se-trends.de\/en\/wp-json\/wp\/v2\/tags?post=4209"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}