Show simple item record

dc.contributor.advisorPaulo, Eugene
dc.contributor.authorNutting, Joseph W.
dc.dateJune 2014
dc.date.accessioned2014-08-13T20:17:54Z
dc.date.available2014-08-13T20:17:54Z
dc.date.issued2014-06
dc.identifier.urihttp://hdl.handle.net/10945/42695
dc.descriptionApproved for public release; distribution is unlimiteden_US
dc.description.abstractModel-based systems engineering (MBSE) needs a formal language, one defined with explicit rules between its elements, in order to support the use of formal modeling in systems engineering. This thesis examines desirable features in the context of quantitative modeling for systems engineering modeling language. Object Management Group’s UML and SysML and Vitech’s System Definition Language are then analyzed in terms of these features. The first important feature is the capability for interoperability between different MBSE tools combined with the ability to integrate the use of specialty tools to interact with and manipulate the system model. Flexibility is necessary in describing and defining entities in the system modeling language. This allows supporting project specific concerns in the system semantics, making MBSE tool support simpler. Finally, support for non-fixed value properties for entities, particularly random variables, is essential to representing system behavior. Existing system modeling languages have shortcomings that should be addressed to improve the conduct of MBSE. Random variables are inconsistently supported. Behavior modeling allows intermingling event timelines for different entities, preventing automated analysis of possible event sequences. Finally, support of parametric modeling is not universal, and the semantics for the use of black box entities to represent external analysis is ad-hoc.en_US
dc.publisherMonterey, California. Naval Postgraduate Schoolen_US
dc.rightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.en_US
dc.titleExamination of modeling languages to allow quantitative analysis for model-based systems engineeringen_US
dc.typeThesisen_US
dc.contributor.secondreaderBeery, Paul
dc.contributor.departmentSystems Engineering (SE)
dc.subject.authorMBSEen_US
dc.subject.authorUMLen_US
dc.subject.authorSysMLen_US
dc.subject.authorModeling Languagesen_US
dc.subject.authorSystems Engineeringen_US
dc.description.serviceLieutenant, United States Navyen_US
etd.thesisdegree.nameMaster of Science in Systems Engineeringen_US
etd.thesisdegree.levelMastersen_US
etd.thesisdegree.disciplineSystems Engineeringen_US
etd.thesisdegree.grantorNaval Postgraduate Schoolen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record