A conceptual model for systems engineering and its formal foundation

Autoren Andreea Buga
Sorana Tania Nemes
Klaus-Dieter Schewe
Pronpan Songprasop
Editoren Virach Sornlertlamvanich
Petchporn Chawakitchareon
Aran Hansuebsai
Chawan Koopipat
Bernhard Thalheim
Yasushi Kiyoki
Hannu Jaakkola
Naofumi Yoshida
Titel A conceptual model for systems engineering and its formal foundation
Buchtitel Information Modelling and Knowledge Bases XXIX - Proc. EJC2017
Typ in Buch
Verlag IOS Press
Serie Frontiers in Artificial Intelligence and Applications
Band 301
ISBN 978-1-61499-833-4
DOI 10.3233/978-1-61499-834-1-1
Monat January
Jahr 2018
Seiten 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.