Paper Info
Title
A Formal Model of SysML Blocks using CSP for Assured Systems Engineering
Abstract
The Systems Modeling Language (SysML) is a semi-formal, visual modelling language used in the specification and design of systems. In this paper, we describe how Communicating Sequential Processes (CSP) and its associated refinement checker, Failures Divergences Refinement (FDR), gives rise to an approach that facilitates the refinement checking of the behavioural consistency of SysML diagrams. We formalise the conjoined behaviour of key behavioural constructs - state machines and activities - within the context of SysML. Furthermore, blocks, the fundamental modelling construct of the SysML language, can be combined in a compositional approach to system specification. The use of a process-algebraic formalism enables us to explore the behaviour of the resulting composition more rigorously. We demonstrate how CSP, in conjunction with SysML, can be used in a formal top-down approach to systems engineering. A small case study validates the contribution.
Year
DOI
Venue
2014
10.1007/978-3-319-17581-2_9
Communications in Computer and Information Science
Field
DocType
Volume
Systems engineering,Computer science,Communicating sequential processes,State diagram,Finite-state machine,Formalism (philosophy),System requirements specification,Systems Modeling Language
Conference
476
ISSN
Citations 
PageRank 
1865-0929
3
0.39
References 
Authors
5
2
Name
Order
Citations
PageRank
Jaco Jacobs1122.31
Andrew Simpson228249.37