ESEM: Automated Systems Analysis using Executable SysML Modeling Patterns

Karban, Robert; Jankevičius, Nerijus; Elaasar, Maged

doi:10.1002/j.2334-5837.2016.00142.x

Cited by 27 publications

(18 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…SysML constraints on which model element types shall satisfy requirements types. According to the constraint in the table, we use different types of SysML diagrams (e.g., activity, sequence) to test different requirement types (Morkevicius, Jankevicius 2015; Karban, et al 2016). Hence, we use a different method to formalize requirements and automate the verification based on the type of test results.…”

Section: Formalizing Requirementsmentioning

confidence: 99%

A Model‐Based V&V Test Strategy Based on Emerging System Modeling Techniques

Gan

Pavalkis

2019

INCOSE International Symp

View full text Add to dashboard Cite

This paper describes a two‐stage, model‐based system testing approach to manage engineering changes on the established design baseline in the SysML based system model environment by leveraging standard‐based model execution and simulation. The technical baseline established in SysML is extended to PLM and the test domain through RFLP‐T architecture traceability. Using a real project Virtual Factory™, this paper demonstrates the application of model‐based testing to the early verification and validation (V&V) of system requirements and functionalities and to developing integrated system testing by reusing and expanding the test cases to interface with external, manual‐based test procedures during the final system test phase.

show abstract

Section: Formalizing Requirementsmentioning

confidence: 99%

A Model‐Based V&V Test Strategy Based on Emerging System Modeling Techniques

Gan

Pavalkis

2019

INCOSE International Symp

View full text Add to dashboard Cite

show abstract

“…Recently, Karban et al. carried out requirement verification for a large telescope using SysML . The authors relied on parametric diagrams to establish the mathematical relationships between the system's most relevant variables, and on a variety of behavioral diagrams to establish an event‐based model of all the discrete processes involved in the operation of the system.…”

Section: Sysml‐based Mbsd Of Cbpsmentioning

confidence: 99%

Model‐based systems engineering for life‐sciences instrumentation development

Patou

Maier

Svendsen

et al. 2018

Systems Engineering

View full text Add to dashboard Cite

Next-generation genome sequencing machines and Point-of-Care (PoC) in vitro diagnostics devices are precursors of an emerging class of Cyber-Physical Systems (CPS), one that harnesses biomolecular-scale mechanisms to enable novel "wet-technology" applications in medicine, biotechnology, and environmental science. Although many such applications exist, testifying the importance of innovative life-sciences instrumentation, recent events have highlighted the difficulties that designing organizations face in their attempt to guarantee safety, reliability, and performance of this special class of CPS. New regulations and increasing competition pressure innovators to rethink their design and engineering practices, and to better address the above challenges. The pace of innovation will be determined by how organizations manage to ensure the satisfaction of aforementioned constraints while also streamlining product development, maintaining high cost-efficiency and shortening time-to-market. Model-Based Systems Engineering provides a valuable framework for addressing these challenges. In this paper, we demonstrate that existing and readily available model-based development frameworks can be adopted early in the life-sciences instrumentation design process. Such frameworks are specifically helpful in describing and characterizing CPS including elements of a biological nature both at the architectural and performance level. We present the SysML model of a smartphone-based PoC diagnostics system designed for detecting a particular molecular marker. By modeling components and behaviors spanning across the biological, physical-nonbiological, and computational domains, we were able to characterize the important systemic relations involved in the specification of our system's Limit of Detection. Our results illustrate the suitability of such an approach and call for further work toward formalisms enabling the formal verification of systems including biomolecular components. K E Y W O R D Scyber-physical systems, life-sciences, model-based systems engineering, model-based systems design, sensitivity analysis, SysML 98

show abstract

“…Requirements are imposed on both structure and behavior. [3][4][5] In addition to APS and its components, TMT subsystems interfacing with APS are also modeled (see Figure 1). The behavioral Figure 1.…”

Section: The Thirty Meter Telescope System Modelmentioning

confidence: 99%

“…By having adhered to the Executable Systems Engineering Method (ESEM), 5 and through use of appropriate tools, the TMT / APS SysML model is executable (i.e., it is built for simulation and analysis purposes). ESEM prescribes the functional and physical decomposition of the system into a nested tree of components, as well as the specification of the behavior of each.…”

Section: The Thirty Meter Telescope System Modelmentioning

confidence: 99%

Verifying Interfaces and generating interface control documents for the alignment and phasing subsystem of the Thirty Meter Telescope from a system model in SysML

Herzig

Karban

Brack

et al. 2018

Modeling, Systems Engineering, and Project Management for Astronomy VIII

Self Cite

View full text Add to dashboard Cite

This paper presents a novel method for verifying interfaces and generating interface control documents (ICDs) from a system model in SysML TM. In systems and software engineering, ICDs are key artifacts that specify the interface(s) to a system or subsystem, and are used to control the documentation of these interfaces. ICDs enable independent teams to develop connecting systems that use the specified interfaces. In the context of the Thirty Meter Telescope (TMT), interface control documents also act as contracts for delivered subsystems. The Alignment and Phasing system (APS) is one such subsystem. APS is required to implement a particular interface, and formulates requirements for the interfaces to be provided by other components of TMT that interface with APS. As the design of APS matures, these interfaces are frequently refined, making it necessary for related ICDs to be updated. In current systems engineering practice, ICDs are maintained manually. This manual maintenance can lead to a loss in integrity and accuracy of the documents over time, resulting in the documents no longer reflecting the actual state of the interfaces of a system. We show how a system model in SysML TM can be used to generate ICDs automatically. The method is demonstrated through application to interface control documents pertaining to APS. Specifically, we apply the method to the interface of APS to the primary mirror control system (M1CS) and of APS to the Telescope Control System (TCS). We evaluate the newly introduced method through application to two case studies.

show abstract

ESEM: Automated Systems Analysis using Executable SysML Modeling Patterns

Cited by 27 publications

References 3 publications

A Model‐Based V&V Test Strategy Based on Emerging System Modeling Techniques

A Model‐Based V&V Test Strategy Based on Emerging System Modeling Techniques

Model‐based systems engineering for life‐sciences instrumentation development

Verifying Interfaces and generating interface control documents for the alignment and phasing subsystem of the Thirty Meter Telescope from a system model in SysML

Contact Info

Product

Resources

About