A conceptual model for systems engineering and its formal foundation

Authors Andreea Buga
Sorana Tania Nemes
Klaus-Dieter Schewe
Pronpan Songprasop
Editors Virach Sornlertlamvanich
Petchporn Chawakitchareon
Aran Hansuebsai
Chawan Koopipat
Bernhard Thalheim
Yasushi Kiyoki
Hannu Jaakkola
Naofumi Yoshida
Title A conceptual model for systems engineering and its formal foundation
Booktitle Information Modelling and Knowledge Bases XXIX - Proc. EJC2017
Type in book
Publisher IOS Press
Series Frontiers in Artificial Intelligence and Applications
Volume 301
ISBN 978-1-61499-833-4
DOI 10.3233/978-1-61499-834-1-1
Month January
Year 2018
Pages 1-20
SCCH ID# 17034
Abstract

Systems Engineering concerns the complete process for the development of complex systems comprising hardware, software, facilities and personnel. Such systems are hybrid, as some components are characterised by continuous behaviour, whereas the behaviour of others is discrete. SysML provides graphical notations capturing requirements for systems engineering. Here we present a concise conceptual model for systems engineering that is capable to capture the gist of SysML. The structural part is based on the common higher-order Entity Relationship model that is extended by continuous functions and various flow constraints. The behavioural part is then formalised by a hybrid extension of Abstract State Machines. The usage of the conceptual model is illustrated by a working example concerning the landing gear equipment of a plane.