A Conceptual Model for Systems Engineering and Its Formal Foundation

Andreea Buga, Sorana-Tania Nemes, Klaus-Dieter Schewe, Pornpan Songrasop

Research output: Other contribution

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.
Original languageEnglish
PublisherIOS Press Ebooks
Number of pages21
Volume301
Publication statusPublished - Nov 2017

Publication series

NameFrontiers in Artificial Intelligence and Applications

Fields of science

  • 202007 Computer integrated manufacturing (CIM)
  • 102001 Artificial intelligence
  • 102006 Computer supported cooperative work (CSCW)
  • 102010 Database systems
  • 102014 Information design
  • 102015 Information systems
  • 102016 IT security
  • 102022 Software development
  • 102025 Distributed systems
  • 102033 Data mining
  • 502007 E-commerce
  • 505002 Data protection
  • 506002 E-government
  • 509018 Knowledge management

JKU Focus areas

  • Computation in Informatics and Mathematics

Cite this