Accession Number:

ADA621964

Title:

A Formal Modelling Language Extending SysML for Simulation of Continuous and Discrete System

Descriptive Note:

General document

Corporate Author:

DEFENCE SCIENCE AND TECHNOLOGY ORGANISATION EDINBURGH (AUSTRALIA) WEAPONS SYSTEMS DIV

Personal Author(s):

Report Date:

2012-11-01

Pagination or Media Count:

20.0

Abstract:

MBSE tools and techniques in a broad sense provide a structured approach to developing conceptual models of complex systems. Key features of these approaches are the use of graphical based views on a central model that reflect the interests of particular stakeholders in the system hierarchical decomposition of the system in question and an ability to add, over time, increasing levels of detail to the model as knowledge is acquired, or in other words allow the model to move from the abstract towards the formal without the need to redefine the model in a different modelling environment. Through such an approach the leap of faith required to transition from model to real system is reduced when compared to traditional techniques. When the real world system is software it is possible to take the conceptual modelling methodologies all the way to a formal in the mathematical sense specification such that ultimately the model has a one to one mapping with the real software system. Indeed great strides have been made with modelling methodologies and tools in the software domain, for example with UML. Systems Engineering of course has to deal with complex application domains well beyond just software, where any model of the system will always be conceptual at some level because a one to one mapping with the real system will never exist. SysML is an extension and modification of UML that aims to support the broader modelling needs of SE, hence the term MBSE. However, engineering has at its disposal another type of modelling that is simulation, which can provide great insights into the behaviour of complex systems. Although UML and SysML primarily support conceptual modelling they do have enough formality in them to support certain types of simulation after all computer based simulations are in themselves

Subject Categories:

  • Administration and Management

Distribution Statement:

APPROVED FOR PUBLIC RELEASE