SERC Workshop: Model Based System Assurance

Dec 6-7, 2017 Washington, DC, United States

[vc_row][vc_column width=”2/3″][vc_column_text]The SERC is hosting a Workshop on “Model Based System Assurance” from December 6-7, 2017 at Washington DC. Workshop attendance is by invitation only, with attendance limited to 70 delegates. Research Workshop Leaders: Abstract: Model-Based Engineering (MBE) is seeing increased applications in the conception, design, integration, verification and validation (V&V) of mission critical systems. However, most current model based formal verification and validation methods, e.g. Model-Based Testing (MBT), remain focused on system components and have limited scalability and applicability to testing of large system behaviors. Today there is increasing system complexity and uncertainty associated with cyber-physical systems employed as system-of- systems, and increasingly sophisticated threats. It remains a challenging problem to effectively and efficiently identify and remove latent critical faults and improve overall system assurance within given system constraints and priorities, for both researchers and practitioners, across many domains. In particular, a mission critical cyber-physical system must consider of all classes of system failures, whether inherent or malicious, in rapidly changing external system-of systems contexts. Future methods, processes, and tools must go beyond traditional quality assurance scope to include emergent dimensionality of the design space through the evolving quantification of concepts such as flexibility and resilience. This workshop is focused on identifying and prioritizing appropriate research questions related to next generation system assurance, i.e. Model-Based System Assurance (MBSA), that have two significant attributes – relevancy from a practitioners’ perspective, and uniqueness and rigor from a research and academic perspective. We use the word “assurance” in association with safety, security, reliability and resilience as system design attributes. These attributes are achieved intentionally through a systematic and rigorous modeling, searching, and analysis of how the system could fail to meet its mission objectives, followed by the development and implementation of engineered features that provide design margins to compensate for threat uncertainty, aided by our ability to test these features as assurance hypotheses. This 2-day research workshop will address the state of the art and practical challenges in Model Based System Assurance, and investigate related research opportunities. Building from previous SERC research in Cyber-aware Systems, Engineered Resilient Systems, and Systemic Assurance, the workshop will focus on methods, processes and tools that reuse and innovate modeling techniques in MDE, support the automation of test design, as well as balance cyber mission assurance versus risk in today’s cyber threat environment.[/vc_column_text][/vc_column][vc_column width=”1/3″][vc_single_image image=”3454″ img_size=”large” onclick=”custom_link” img_link_target=”_blank” link=”http://sercuarc.org/wp-content/uploads/2018/06/MBSA_Workshop_Flyer-1.pdf”][/vc_column][/vc_row][vc_row][vc_column][vc_column_text]

AGENDA

[/vc_column_text][vc_tta_accordion active_section=”1″ collapsible_all=”true”][vc_tta_section title=”December 6, 2017″ tab_id=”1530203781782-0c170f5a-053c”][vc_raw_html]JTNDdGFibGUlM0UlMEElM0NjYXB0aW9uJTIwc3R5bGUlM0QlMjJjYXB0aW9uLXNpZGUlM0Fib3R0b20lM0J0ZXh0LWFsaWduJTNBbGVmdCUzQmJvcmRlciUzQW5vbmUlM0JiYWNrZ3JvdW5kJTNBbm9uZSUzQm1hcmdpbiUzQTAlM0JwYWRkaW5nJTNBMCUzQiUyMiUzRSUzQ2ElMjBocmVmJTNEJTIyaHR0cCUzQSUyRiUyRnd3dy5zZXJjdWFyYy5vcmclMkZ3cC1hZG1pbiUyRmFkbWluLnBocCUzRnBhZ2UlM0R0YWJsZXByZXNzJTI2YWN0aW9uJTNEZWRpdCUyNnRhYmxlX2lkJTNENzglMjIlMjBjbGFzcyUzRCUyMmxvY2FsLWxpbmslMjIlM0VFZGl0JTNDJTJGYSUzRSUzQyUyRmNhcHRpb24lM0UlMEElM0N0aGVhZCUzRSUwQSUzQ3RyJTIwY2xhc3MlM0QlMjJyb3ctMSUyMG9kZCUyMiUzRSUwQSUwOSUzQ3RoJTIwY2xhc3MlM0QlMjJjb2x1bW4tMSUyMiUzRSUzQ2NlbnRlciUzRVRpbWUlM0MlMkZjZW50ZXIlM0UlM0MlMkZ0aCUzRSUzQ3RoJTIwY2xhc3MlM0QlMjJjb2x1bW4tMiUyMiUzRSUzQ2NlbnRlciUzRVRvcGljJTNDJTJGY2VudGVyJTNFJTNDJTJGdGglM0UlM0N0aCUyMGNsYXNzJTNEJTIyY29sdW1uLTMlMjIlM0UlM0NjZW50ZXIlM0VMZWFkJTNDJTJGY2VudGVyJTNFJTNDJTJGdGglM0UlMEElM0MlMkZ0ciUzRSUwQSUzQyUyRnRoZWFkJTNFJTBBJTNDdGJvZHklMjBjbGFzcyUzRCUyMnJvdy1ob3ZlciUyMiUzRSUwQSUzQ3RyJTIwY2xhc3MlM0QlMjJyb3ctMiUyMGV2ZW4lMjIlM0UlMEElMDklM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTElMjIlM0UlM0NzdHJvbmclM0U4JTNBMzAlM0MlMkZzdHJvbmclM0UlM0MlMkZ0ZCUzRSUzQ3RkJTIwY2xhc3MlM0QlMjJjb2x1bW4tMiUyMiUzRVdlbGNvbWUlM0MlMkZ0ZCUzRSUzQ3RkJTIwY2xhc3MlM0QlMjJjb2x1bW4tMyUyMiUzRVByb2YuJTIwVG9tJTIwTWNEZXJtb3R0JTJDJTIwR2FUZWNoJTIwJTNDYnIlMjAlMkYlM0UlMEElM0MlMkZ0ZCUzRSUwQSUzQyUyRnRyJTNFJTBBJTNDdHIlMjBjbGFzcyUzRCUyMnJvdy0zJTIwb2RkJTIyJTNFJTBBJTA5JTNDdGQlMjBjbGFzcyUzRCUyMmNvbHVtbi0xJTIyJTNFJTNDc3Ryb25nJTNFOCUzQTQ1JTNDJTJGc3Ryb25nJTNFJTNDJTJGdGQlM0UlM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTIlMjIlM0VJbnRyb2R1Y3RvcnklMjBSZW1hcmtzJTNBJTIwUHJpb3JpdGllcyUyMHdpdGglMjByZWdhcmQlMjB0byUyMFN5c3RlbSUyMEFzc3VyYW5jZSUyMCUyOFNlY3VyaXR5JTJDJTIwU2FmZXR5JTJDJTIwUmVsaWFiaWxpdHklMjklMjB3aXRoaW4lMjBhJTIwRGlnaXRhbCUyMEVuZ2luZWVyaW5nJTJGQWNxdWlzaXRpb24lMjBFbnZpcm9ubWVudCUzQyUyRnRkJTNFJTNDdGQlMjBjbGFzcyUzRCUyMmNvbHVtbi0zJTIyJTNFTXMuJTIwS3Jpc3RlbiUyMEJhbGR3aW4lM0NiciUyMCUyRiUzRSUwQURBU0QlMkMlMjBTeXN0ZW1zJTIwRW5naW5lZXJpbmclM0MlMkZ0ZCUzRSUwQSUzQyUyRnRyJTNFJTBBJTNDdHIlMjBjbGFzcyUzRCUyMnJvdy00JTIwZXZlbiUyMiUzRSUwQSUwOSUzQ3RkJTIwY2xhc3MlM0QlMjJjb2x1bW4tMSUyMiUzRSUzQ3N0cm9uZyUzRTklM0ExNSUzQyUyRnN0cm9uZyUzRSUzQyUyRnRkJTNFJTNDdGQlMjBjbGFzcyUzRCUyMmNvbHVtbi0yJTIyJTNFRmVhdHVyZWQlMjBUYWxrJTNBJTIwTW9kZWwtQmFzZWQlMjBEZXZlbG9wbWVudCUzQSUyMFdoYXQlRTIlODAlOTlzJTIwTmV3JTNGJTIwV2hhdCVFMiU4MCU5OXMlMjBOZWVkZWQlM0YlM0MlMkZ0ZCUzRSUzQ3RkJTIwY2xhc3MlM0QlMjJjb2x1bW4tMyUyMiUzRVByb2Zlc3NvciUyME5hbmN5JTIwTGV2ZXNvbiUyQyUyME1JVCUzQyUyRnRkJTNFJTBBJTNDJTJGdHIlM0UlMEElM0N0ciUyMGNsYXNzJTNEJTIycm93LTUlMjBvZGQlMjIlM0UlMEElMDklM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTElMjIlM0UlM0NzdHJvbmclM0UxMCUzQTAwJTNDJTJGc3Ryb25nJTNFJTNDJTJGdGQlM0UlM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTIlMjIlM0VDb2ZmZWUlMjBCcmVhayUzQyUyRnRkJTNFJTNDdGQlMjBjbGFzcyUzRCUyMmNvbHVtbi0zJTIyJTNFJTNDJTJGdGQlM0UlMEElM0MlMkZ0ciUzRSUwQSUzQ3RyJTIwY2xhc3MlM0QlMjJyb3ctNiUyMGV2ZW4lMjIlM0UlMEElMDklM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTElMjIlM0UlM0MlMkZ0ZCUzRSUzQ3RkJTIwY29sc3BhbiUzRCUyMjIlMjIlMjBjbGFzcyUzRCUyMmNvbHVtbi0yJTIyJTNFJTNDY2VudGVyJTNFR292ZXJubWVudCUyMFBlcnNwZWN0aXZlJTIwJUUyJTgwJTkzJTIwQ2hhbGxlbmdlcyUyMGFuZCUyME9wcG9ydHVuaXRpZXMlMjB3aXRoJTIwRW5oYW5jaW5nJTIwU3lzdGVtJTIwQXNzdXJhbmNlJTIwaW4lMjBhJTIwRGlnaXRhbCUyMEVuZ2luZWVyaW5nJTIwRW52aXJvbm1lbnQlM0ElM0MlMkZjZW50ZXIlM0UlM0MlMkZ0ZCUzRSUwQSUzQyUyRnRyJTNFJTBBJTNDdHIlMjBjbGFzcyUzRCUyMnJvdy03JTIwb2RkJTIyJTNFJTBBJTA5JTNDdGQlMjBjbGFzcyUzRCUyMmNvbHVtbi0xJTIyJTNFJTNDc3Ryb25nJTNFMTAlM0ExNSUzQyUyRnN0cm9uZyUzRSUzQyUyRnRkJTNFJTNDdGQlMjBjbGFzcyUzRCUyMmNvbHVtbi0yJTIyJTNFQ2hhbGxlbmdlcyUyMHdpdGglMjBSZWFsaXppbmclMjBSb2J1c3QlMjBTeXN0ZW0lMjBTZWN1cml0eSUyMGluJTIwQ29tcGxleCUyMFN5c3RlbXMlM0MlMkZ0ZCUzRSUzQ3RkJTIwY2xhc3MlM0QlMjJjb2x1bW4tMyUyMiUzRU1zLiUyME1lbGluZGElMjBSZWVkJTNDYnIlMjAlMkYlM0UlMEFEZXB1dHklMjBEaXJlY3RvciUyQyUyME9EQVNEJTIwJUUyJTgwJTkzJTIwU3lzdGVtcyUyMEVuZ2luZWVyaW5nJTI5JTNDJTJGdGQlM0UlMEElM0MlMkZ0ciUzRSUwQSUzQ3RyJTIwY2xhc3MlM0QlMjJyb3ctOCUyMGV2ZW4lMjIlM0UlMEElMDklM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTElMjIlM0UlM0NzdHJvbmclM0UxMCUzQTQ1JTNDJTJGc3Ryb25nJTNFJTNDJTJGdGQlM0UlM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTIlMjIlM0VDaGFsbGVuZ2VzJTIwYW5kJTIwUmVzZWFyY2glMjBQcmlvcml0aWVzJTIwd2l0aCUyMERpZ2l0YWwlMjBFbmdpbmVlcmluZyUyMGFzJTIwYW4lMjBlbmFibGVyJTIwZm9yJTIwVHJhZGUlMjBTcGFjZSUyMEV4cGxvcmF0aW9uJTJGU3lzdGVtcyUyMEFuYWx5c2lzJTNDJTJGdGQlM0UlM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTMlMjIlM0VNcy4lMjBQaGlsb21lbmElMjBaaW1tZXJtYW5uJTJDJTNDYnIlMjAlMkYlM0UlMEFEZXB1dHklMjBEaXJlY3RvciUyQyUyME9EQVNEJTIwJUUyJTgwJTkzJTIwU3lzdGVtcyUyMEVuZ2luZWVyaW5nJTNDJTJGdGQlM0UlMEElM0MlMkZ0ciUzRSUwQSUzQ3RyJTIwY2xhc3MlM0QlMjJyb3ctOSUyMG9kZCUyMiUzRSUwQSUwOSUzQ3RkJTIwY2xhc3MlM0QlMjJjb2x1bW4tMSUyMiUzRSUzQyUyRnRkJTNFJTNDdGQlMjBjb2xzcGFuJTNEJTIyMiUyMiUyMGNsYXNzJTNEJTIyY29sdW1uLTIlMjIlM0UlM0NjZW50ZXIlM0VJbmR1c3RyeSUyMFBlcnNwZWN0aXZlJTIwJUUyJTgwJTkzJTIwQ2hhbGxlbmdlcyUyMGFuZCUyME9wcG9ydHVuaXRpZXMlM0ElM0MlMkZjZW50ZXIlM0UlM0MlMkZ0ZCUzRSUwQSUzQyUyRnRyJTNFJTBBJTNDdHIlMjBjbGFzcyUzRCUyMnJvdy0xMCUyMGV2ZW4lMjIlM0UlMEElMDklM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTElMjIlM0UlM0NzdHJvbmclM0UxMSUzQTE1JTNDJTJGc3Ryb25nJTNFJTNDJTJGdGQlM0UlM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTIlMjIlM0VIYXJkZW5pbmclMjBMZWdhY3klMjBTeXN0ZW1zJTIwYW5kJTIwQ3liZXIlMjBSZXNpbGllbnQlMjBTeXN0ZW0lMjBBcmNoaXRlY3R1cmVzJTIwJTNDJTJGdGQlM0UlM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTMlMjIlM0VNci4lMjBJcmJ5JTIwVGhvbXBzb24lMkMlMjBTdGFyTGFicyUzQyUyRnRkJTNFJTBBJTNDJTJGdHIlM0UlMEElM0N0ciUyMGNsYXNzJTNEJTIycm93LTExJTIwb2RkJTIyJTNFJTBBJTA5JTNDdGQlMjBjbGFzcyUzRCUyMmNvbHVtbi0xJTIyJTNFJTNDc3Ryb25nJTNFMTElM0E0NSUzQyUyRnN0cm9uZyUzRSUzQyUyRnRkJTNFJTNDdGQlMjBjbGFzcyUzRCUyMmNvbHVtbi0yJTIyJTNFRnVuY3Rpb25hbCUyME1vZGVsaW5nJTIwZm9yJTIwTW9kZWwlMjBCYXNlZCUyMFN5c3RlbSUyMEFzc3VyYW5jZSUzQ2JyJTIwJTJGJTNFJTBBJTIwJTIwJTNDYSUyMGhyZWYlM0QlMjJodHRwJTNBJTJGJTJGd3d3LnNlcmN1YXJjLm9yZyUyRndwLWNvbnRlbnQlMkZ1cGxvYWRzJTJGMjAxNCUyRjA1JTJGRnVuY3Rpb25hbE1vZGVsaW5nTUJTQWZpbmFsLnBkZiUyMiUyMHJlbCUzRCUyMm5vb3BlbmVyJTIyJTIwdGFyZ2V0JTNEJTIyX2JsYW5rJTIyJTIwY2xhc3MlM0QlMjJsb2NhbC1saW5rJTIyJTNFRG93bmxvYWQlMjBTbGlkZXMlM0MlMkZhJTNFJTNDJTJGdGQlM0UlM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTMlMjIlM0VEci4lMjBHdXN0YXZvJTIwUXVpcm9zJTIwYW5kJTIwRHIuJTIwQXJjaGltZWRlcyUyMENhbmVkbyUzQ2JyJTIwJTJGJTNFJTBBU2llbWVucyUyQyUyMFByaW5jZXRvbiUyME5KJTI5JTNDJTJGdGQlM0UlMEElM0MlMkZ0ciUzRSUwQSUzQ3RyJTIwY2xhc3MlM0QlMjJyb3ctMTIlMjBldmVuJTIyJTNFJTBBJTA5JTNDdGQlMjBjbGFzcyUzRCUyMmNvbHVtbi0xJTIyJTNFJTNDc3Ryb25nJTNFMTIlM0ExNSUzQyUyRnN0cm9uZyUzRSUzQyUyRnRkJTNFJTNDdGQlMjBjbGFzcyUzRCUyMmNvbHVtbi0yJTIyJTNFTHVuY2glMjBCcmVhayUzQyUyRnRkJTNFJTNDdGQlMjBjbGFzcyUzRCUyMmNvbHVtbi0zJTIyJTNFJTNDJTJGdGQlM0UlMEElM0MlMkZ0ciUzRSUwQSUzQ3RyJTIwY2xhc3MlM0QlMjJyb3ctMTMlMjBvZGQlMjIlM0UlMEElMDklM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTElMjIlM0UlM0NzdHJvbmclM0UxMyUzQTAwJTNDJTJGc3Ryb25nJTNFJTNDJTJGdGQlM0UlM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTIlMjIlM0VGZWF0dXJlZCUyMFRhbGslM0ElMjBNb2RlbC1CYXNlZCUyMFRlc3RpbmclMjBvZiUyMENvbXBsZXglMjBDb25jdXJyZW50JTIwU3lzdGVtcyUzQSUyMExlc3NvbnMlMjBMZWFybmVkJTIwYW5kJTIwRnV0dXJlJTIwUGVyc3BlY3RpdmVzJTNDJTJGdGQlM0UlM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTMlMjIlM0VEci5FZCUyMEJyaW5rc21hJTJDJTIwVFUlMkZUd2VudGUlMkMlMjBhbmQlM0NiciUyMCUyRiUzRSUwQU1yLiUyMEphbiUyMFRyZXRtYW5zJTJDJTIwRVNJJTIwYW5kJTIwdGhlJTIwVW5pdmVyc2l0eSUyMG9mJTIwTmlqbWVnZW4lM0MlMkZ0ZCUzRSUwQSUzQyUyRnRyJTNFJTBBJTNDdHIlMjBjbGFzcyUzRCUyMnJvdy0xNCUyMGV2ZW4lMjIlM0UlMEElMDklM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTElMjIlM0UlM0NzdHJvbmclM0UxMyUzQTQ1JTNDJTJGc3Ryb25nJTNFJTNDJTJGdGQlM0UlM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTIlMjIlM0VGZWF0dXJlZCUyMFRhbGslM0ElMjBCZXR3ZWVuJTIwVGVzdGluZyUyMGFuZCUyMFZlcmlmaWNhdGlvbiUzQSUyMER5bmFtaWMlMjBTb2Z0d2FyZSUyME1vZGVsJTIwQ2hlY2tpbmclM0MlMkZ0ZCUzRSUzQ3RkJTIwY2xhc3MlM0QlMjJjb2x1bW4tMyUyMiUzRVBhdHJpY2UlMjBHb2RlZnJvaWQlMkMlMjBNaWNyb3NvZnQlM0MlMkZ0ZCUzRSUwQSUzQyUyRnRyJTNFJTBBJTNDdHIlMjBjbGFzcyUzRCUyMnJvdy0xNSUyMG9kZCUyMiUzRSUwQSUwOSUzQ3RkJTIwY2xhc3MlM0QlMjJjb2x1bW4tMSUyMiUzRSUzQ3N0cm9uZyUzRTE0JTNBMzAlM0MlMkZzdHJvbmclM0UlM0MlMkZ0ZCUzRSUzQ3RkJTIwY2xhc3MlM0QlMjJjb2x1bW4tMiUyMiUzRUFmdGVybm9vbiUyMEJyZWFrJTNDJTJGdGQlM0UlM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTMlMjIlM0UlM0MlMkZ0ZCUzRSUwQSUzQyUyRnRyJTNFJTBBJTNDdHIlMjBjbGFzcyUzRCUyMnJvdy0xNiUyMGV2ZW4lMjIlM0UlMEElMDklM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTElMjIlM0UlM0NzdHJvbmclM0UxNCUzQTQ1JTNDJTJGc3Ryb25nJTNFJTNDJTJGdGQlM0UlM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTIlMjIlM0VQYXJhbGxlbCUyMEJyZWFrb3V0JTIwU2Vzc2lvbnMlM0MlMkZ0ZCUzRSUzQ3RkJTIwY2xhc3MlM0QlMjJjb2x1bW4tMyUyMiUzRVByb2YuJTIwVG9tJTIwTWNEZXJtb3R0JTJDJTIwR2FUZWNoJTNDYnIlMjAlMkYlM0UlMEFEci4lMjBZZSUyMFlhbmclMkMlMjBEci4lMjBMdSUyMFhpYW8lMkMlMjAlMjBTdGV2ZW5zJTNDJTJGdGQlM0UlMEElM0MlMkZ0ciUzRSUwQSUzQ3RyJTIwY2xhc3MlM0QlMjJyb3ctMTclMjBvZGQlMjIlM0UlMEElMDklM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTElMjIlM0UlM0NzdHJvbmclM0UxNyUzQTAwJTNDJTJGc3Ryb25nJTNFJTNDJTJGdGQlM0UlM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTIlMjIlM0VSZWNlcHRpb24lMjBhbmQlMjBEaW5uZXIlM0NiciUyMCUyRiUzRSUwQUZlYXR1cmVkJTIwVGFsayUzQSUyMEludGVncmF0aW5nJTIwTW9kZWxpbmclMjBhbmQlMjBTaW11bGF0aW9uJTIwaW50byUyMFNhZmV0eSUyMFByb2dyYW0lM0MlMkZ0ZCUzRSUzQ3RkJTIwY2xhc3MlM0QlMjJjb2x1bW4tMyUyMiUzRU1yLiUyME1hcmslMjBEZW5pY3VvbG8lMkMlMjBGQUElM0MlMkZ0ZCUzRSUwQSUzQyUyRnRyJTNFJTBBJTNDJTJGdGJvZHklM0UlMEElM0MlMkZ0YWJsZSUzRQ==[/vc_raw_html][/vc_tta_section][vc_tta_section title=”December 7, 2017″ tab_id=”1530203781817-c82c5be9-ff42″][vc_raw_html]JTNDdGFibGUlM0UlMEElM0NjYXB0aW9uJTIwc3R5bGUlM0QlMjJjYXB0aW9uLXNpZGUlM0Fib3R0b20lM0J0ZXh0LWFsaWduJTNBbGVmdCUzQmJvcmRlciUzQW5vbmUlM0JiYWNrZ3JvdW5kJTNBbm9uZSUzQm1hcmdpbiUzQTAlM0JwYWRkaW5nJTNBMCUzQiUyMiUzRSUzQ2ElMjBocmVmJTNEJTIyaHR0cCUzQSUyRiUyRnd3dy5zZXJjdWFyYy5vcmclMkZ3cC1hZG1pbiUyRmFkbWluLnBocCUzRnBhZ2UlM0R0YWJsZXByZXNzJTI2YWN0aW9uJTNEZWRpdCUyNnRhYmxlX2lkJTNEODAlMjIlMjBjbGFzcyUzRCUyMmxvY2FsLWxpbmslMjIlM0VFZGl0JTNDJTJGYSUzRSUzQyUyRmNhcHRpb24lM0UlMEElM0N0aGVhZCUzRSUwQSUzQ3RyJTIwY2xhc3MlM0QlMjJyb3ctMSUyMG9kZCUyMiUzRSUwQSUwOSUzQ3RoJTIwY2xhc3MlM0QlMjJjb2x1bW4tMSUyMiUzRSUzQ2NlbnRlciUzRVRpbWUlM0MlMkZjZW50ZXIlM0UlM0MlMkZ0aCUzRSUzQ3RoJTIwY2xhc3MlM0QlMjJjb2x1bW4tMiUyMiUzRSUzQ2NlbnRlciUzRVRvcGljJTNDJTJGY2VudGVyJTNFJTNDJTJGdGglM0UlM0N0aCUyMGNsYXNzJTNEJTIyY29sdW1uLTMlMjIlM0UlM0NjZW50ZXIlM0VMZWFkJTNDJTJGY2VudGVyJTNFJTNDJTJGdGglM0UlMEElM0MlMkZ0ciUzRSUwQSUzQyUyRnRoZWFkJTNFJTBBJTNDdGJvZHklMjBjbGFzcyUzRCUyMnJvdy1ob3ZlciUyMiUzRSUwQSUzQ3RyJTIwY2xhc3MlM0QlMjJyb3ctMiUyMGV2ZW4lMjIlM0UlMEElMDklM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTElMjIlM0UlM0NzdHJvbmclM0U4JTNBMzAlM0MlMkZzdHJvbmclM0UlM0MlMkZ0ZCUzRSUzQ3RkJTIwY2xhc3MlM0QlMjJjb2x1bW4tMiUyMiUzRVdlbGNvbWUlMkZBbm5vdW5jZW1lbnQlM0MlMkZ0ZCUzRSUzQ3RkJTIwY2xhc3MlM0QlMjJjb2x1bW4tMyUyMiUzRURyLiUyMFllJTIwWWFuZyUyQyUyMFN0ZXZlbnMlM0MlMkZ0ZCUzRSUwQSUzQyUyRnRyJTNFJTBBJTNDdHIlMjBjbGFzcyUzRCUyMnJvdy0zJTIwb2RkJTIyJTNFJTBBJTA5JTNDdGQlMjBjbGFzcyUzRCUyMmNvbHVtbi0xJTIyJTNFJTNDc3Ryb25nJTNFOCUzQTQ1JTNDJTJGc3Ryb25nJTNFJTNDJTJGdGQlM0UlM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTIlMjIlM0VGZWF0dXJlZCUyMFRhbGslM0ElMjBBZHZhbmNpbmclMjBNb2RlbCUyMEJhc2VkJTIwU3lzdGVtJTIwQXNzdXJhbmNlJTIwZm9yJTIwQ29tcGxleCUyMFN5c3RlbXMlM0MlMkZ0ZCUzRSUzQ3RkJTIwY2xhc3MlM0QlMjJjb2x1bW4tMyUyMiUzRURyLiUyMEpvaG4lMjBXJTIwRXZhbnMlMkMlMjBOQVNBJTNDJTJGdGQlM0UlMEElM0MlMkZ0ciUzRSUwQSUzQ3RyJTIwY2xhc3MlM0QlMjJyb3ctNCUyMGV2ZW4lMjIlM0UlMEElMDklM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTElMjIlM0UlM0NzdHJvbmclM0U5JTNBMzAlM0MlMkZzdHJvbmclM0UlM0MlMkZ0ZCUzRSUzQ3RkJTIwY2xhc3MlM0QlMjJjb2x1bW4tMiUyMiUzRUZlYXR1cmVkJTIwVGFsayUzQSUyMExldmVyYWdlJTIwZnJvbSUyME1vZGVscyUzQSUyMEluaGVyZW50JTIwTGltaXRhdGlvbnMlMjBhbmQlMjBPcGVuJTIwUXVlc3Rpb25zJTNDJTJGdGQlM0UlM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTMlMjIlM0UlMjBQcm9mLiUyMEZyZWQlMjBTY2huZWlkZXIlMkMlMjBDb3JuZWxsJTIwVW5pdmVyc2l0eSUzQyUyRnRkJTNFJTBBJTNDJTJGdHIlM0UlMEElM0N0ciUyMGNsYXNzJTNEJTIycm93LTUlMjBvZGQlMjIlM0UlMEElMDklM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTElMjIlM0UlM0NzdHJvbmclM0UxMCUzQTE1JTNDJTJGc3Ryb25nJTNFJTNDJTJGdGQlM0UlM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTIlMjIlM0VDb2ZmZWUlMjBCcmVhayUzQyUyRnRkJTNFJTNDdGQlMjBjbGFzcyUzRCUyMmNvbHVtbi0zJTIyJTNFJTNDJTJGdGQlM0UlMEElM0MlMkZ0ciUzRSUwQSUzQ3RyJTIwY2xhc3MlM0QlMjJyb3ctNiUyMGV2ZW4lMjIlM0UlMEElMDklM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTElMjIlM0UlM0NzdHJvbmclM0UxMCUzQTMwJTNDJTJGc3Ryb25nJTNFJTNDJTJGdGQlM0UlM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTIlMjIlM0VJb1QlMjBhbmQlMjBUcnVzdCUzQ2JyJTIwJTJGJTNFJTBBJTNDYSUyMGhyZWYlM0QlMjJodHRwJTNBJTJGJTJGd3d3LnNlcmN1YXJjLm9yZyUyRndwLWNvbnRlbnQlMkZ1cGxvYWRzJTJGMjAxNCUyRjA1JTJGSW9ULVRydXN0djIucGRmJTIyJTIwcmVsJTNEJTIybm9vcGVuZXIlMjIlMjB0YXJnZXQlM0QlMjJfYmxhbmslMjIlMjBjbGFzcyUzRCUyMmxvY2FsLWxpbmslMjIlM0VEb3dubG9hZCUyMFNsaWRlcyUzQyUyRmElM0UlM0MlMkZ0ZCUzRSUzQ3RkJTIwY2xhc3MlM0QlMjJjb2x1bW4tMyUyMiUzRURyLiUyMEplZmYlMjBWb2FzJTJDJTIwTklTVCUzQyUyRnRkJTNFJTBBJTNDJTJGdHIlM0UlMEElM0N0ciUyMGNsYXNzJTNEJTIycm93LTclMjBvZGQlMjIlM0UlMEElMDklM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTElMjIlM0UlM0NzdHJvbmclM0UxMSUzQTAwJTNDJTJGc3Ryb25nJTNFJTNDJTJGdGQlM0UlM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTIlMjIlM0VNQlNBJTIwZm9yJTIwY3liZXIlMjBmYWlsdXJlJTIwZGV0ZWN0aW9uJTIwYW5kJTIwcmVjb3ZlcnklMjAlM0MlMkZ0ZCUzRSUzQ3RkJTIwY2xhc3MlM0QlMjJjb2x1bW4tMyUyMiUzRURyLiUyMENvZHklMjBGbGVtaW5nJTJDJTIwVVZBJTNDJTJGdGQlM0UlMEElM0MlMkZ0ciUzRSUwQSUzQ3RyJTIwY2xhc3MlM0QlMjJyb3ctOCUyMGV2ZW4lMjIlM0UlMEElMDklM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTElMjIlM0UlM0NzdHJvbmclM0UxMSUzQTMwJTNDJTJGc3Ryb25nJTNFJTNDJTJGdGQlM0UlM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTIlMjIlM0VNQlNBJTIwZm9yJTIwY3Jvc3Mtc2NhbGUlMjByZXNpbGllbmNlJTNDJTJGdGQlM0UlM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTMlMjIlM0VEci4lMjBWYWwlMjBTaXR0ZXJsZSUyQyUyMEdhVGVjaCUzQyUyRnRkJTNFJTBBJTNDJTJGdHIlM0UlMEElM0N0ciUyMGNsYXNzJTNEJTIycm93LTklMjBvZGQlMjIlM0UlMEElMDklM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTElMjIlM0UlM0NzdHJvbmclM0UxMiUzQTAwJTNDJTJGc3Ryb25nJTNFJTNDJTJGdGQlM0UlM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTIlMjIlM0VVTUwlMjBUZXN0aW5nJTIwUHJvZmlsZSUzQSUyMEElMjBMYW5ndWFnZSUyMGZvciUyME1vZGVsJTNDYnIlMjAlMkYlM0UlMEFCYXNlZCUyMFRlc3QlMjBBdXRvbWF0aW9uJTNDJTJGdGQlM0UlM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTMlMjIlM0VNci4lMjBNYXJjLUZsb3JpYW4lMjBXZW5kbGFuZCUyQyUyMEZyYXVuaG9mZXIlM0MlMkZ0ZCUzRSUwQSUzQyUyRnRyJTNFJTBBJTNDdHIlMjBjbGFzcyUzRCUyMnJvdy0xMCUyMGV2ZW4lMjIlM0UlMEElMDklM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTElMjIlM0UlM0NzdHJvbmclM0UxMiUzQTMwJTNDJTJGc3Ryb25nJTNFJTNDJTJGdGQlM0UlM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTIlMjIlM0VMdW5jaCUyMEJyZWFrJTNDJTJGdGQlM0UlM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTMlMjIlM0UlM0MlMkZ0ZCUzRSUwQSUzQyUyRnRyJTNFJTBBJTNDdHIlMjBjbGFzcyUzRCUyMnJvdy0xMSUyMG9kZCUyMiUzRSUwQSUwOSUzQ3RkJTIwY2xhc3MlM0QlMjJjb2x1bW4tMSUyMiUzRSUzQ3N0cm9uZyUzRTEzJTNBMzAlM0MlMkZzdHJvbmclM0UlM0MlMkZ0ZCUzRSUzQ3RkJTIwY2xhc3MlM0QlMjJjb2x1bW4tMiUyMiUzRUJyZWFrb3V0JTIwZ3JvdXBzJTIwb24lMjBNQlNBJTIwcmVzZWFyY2glMjBuZWVkcyUzQ2JyJTIwJTJGJTNFJTBBJTI4V2l0aCUyMGFmdGVybm9vbiUyMGJyZWFrJTIwYXQlMjAxNCUzQTMwJTI5JTNDYnIlMjAlMkYlM0UlMEElM0MlMkZ0ZCUzRSUzQ3RkJTIwY2xhc3MlM0QlMjJjb2x1bW4tMyUyMiUzRURyLiUyMFRvbSUyME1jRGVybW90dCUyQyUyMEdhVGVjaCUzQ2JyJTIwJTJGJTNFJTBBRHIuJTIwWWUlMjBZYW5nJTJDJTIwRHIuJTIwTHUlMjBYaWFvJTJDJTIwU3RldmVucyUzQyUyRnRkJTNFJTBBJTNDJTJGdHIlM0UlMEElM0N0ciUyMGNsYXNzJTNEJTIycm93LTEyJTIwZXZlbiUyMiUzRSUwQSUwOSUzQ3RkJTIwY2xhc3MlM0QlMjJjb2x1bW4tMSUyMiUzRSUzQ3N0cm9uZyUzRTE2JTNBMDAlM0MlMkZzdHJvbmclM0UlM0MlMkZ0ZCUzRSUzQ3RkJTIwY2xhc3MlM0QlMjJjb2x1bW4tMiUyMiUzRUJyZWFrb3V0JTIwZ3JvdXAlMjBzdW1tYXJ5JTIwcHJlc2VudGF0aW9ucyUzQyUyRnRkJTNFJTNDdGQlMjBjbGFzcyUzRCUyMmNvbHVtbi0zJTIyJTNFRHIuJTIwVG9tJTIwTWNEZXJtb3R0JTJDJTIwR2FUZWNoJTNDYnIlMjAlMkYlM0UlMEFEci4lMjBZZSUyMFlhbmclMkMlMjBEci4lMjBMdSUyMFhpYW8lMkMlMjBTdGV2ZW5zJTNDJTJGdGQlM0UlMEElM0MlMkZ0ciUzRSUwQSUzQ3RyJTIwY2xhc3MlM0QlMjJyb3ctMTMlMjBvZGQlMjIlM0UlMEElMDklM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTElMjIlM0UlM0NzdHJvbmclM0UxNiUzQTMwJTNDJTJGc3Ryb25nJTNFJTNDJTJGdGQlM0UlM0N0ZCUyMGNsYXNzJTNEJTIyY29sdW1uLTIlMjIlM0VXb3Jrc2hvcCUyMHN1bW1hcnklMjBhbmQlMjBwYXRocyUyMGZvcndhcmQlM0MlMkZ0ZCUzRSUzQ3RkJTIwY2xhc3MlM0QlMjJjb2x1bW4tMyUyMiUzRURyLiUyMFRvbSUyME1jRGVybW90dCUyQyUyMEdhVGVjaCUzQ2JyJTIwJTJGJTNFJTBBRHIuJTIwWWUlMjBZYW5nJTJDJTIwU3RldmVucyUzQyUyRnRkJTNFJTBBJTNDJTJGdHIlM0UlMEElM0N0ciUyMGNsYXNzJTNEJTIycm93LTE0JTIwZXZlbiUyMiUzRSUwQSUwOSUzQ3RkJTIwY2xhc3MlM0QlMjJjb2x1bW4tMSUyMiUzRSUzQ3N0cm9uZyUzRTE3JTNBMDAlM0MlMkZzdHJvbmclM0UlM0MlMkZ0ZCUzRSUzQ3RkJTIwY2xhc3MlM0QlMjJjb2x1bW4tMiUyMiUzRUNsb3NpbmclM0MlMkZ0ZCUzRSUzQ3RkJTIwY2xhc3MlM0QlMjJjb2x1bW4tMyUyMiUzRSUzQyUyRnRkJTNFJTBBJTNDJTJGdHIlM0UlMEElM0MlMkZ0Ym9keSUzRSUwQSUzQyUyRnRhYmxlJTNF[/vc_raw_html][/vc_tta_section][/vc_tta_accordion][vc_column_text]
Reminder – this event is by invitation only. Registration does not guarantee participation. Confirmation will be sent by Workshop Organizers by November 15th.
[/vc_column_text][/vc_column][/vc_row]

Share

LinkedIn Facebook

Details

Event

SERC Workshop: Model Based System Assurance

Start Date
December 6, 2017
End Date
December 7, 2017
Event Link

Venue

20 F Street NW Conference Center

Address
20 F Street NW
Washington, DC 20001 United States
Phone
2026721515
Website
http://www.20fstreetcc.com/

Organizer

Systems Engineering Research Center (SERC)

Email
serc@sercuarc.org
Website
http://www.sercuarc.org/