Seamless model-based system development: Foundations: (extended abstract)

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


This is an extended abstract which gives an overview and sufficient references to work on model-based development of cyber-physical systems, both to its formal and scientific foundations as well as to more methodological issues including requirements engineering and architecture. Key concepts are interface behaviour and modular composition to support the modelling of the interaction between systems and their context, between subsystems, and between subservices as part of feature interactions. A logical framework is described for specification, implementation, refinement, and verification.

Original languageEnglish
Title of host publicationEngineering Trustworthy Software Systems - 5th International School, SETSS 2019, Tutorial Lectures
EditorsJonathan P. Bowen, Zhiming Liu, Zili Zhang
Number of pages9
ISBN (Print)9783030550882
StatePublished - 2020
Event5th International School on Engineering Trustworthy Software Systems, SETSS 2019 - Chongqing, China
Duration: 21 Apr 201927 Apr 2019

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12154 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference5th International School on Engineering Trustworthy Software Systems, SETSS 2019


  • Architecture
  • Assumptions
  • Commitments
  • Contracts
  • Design
  • Interface
  • Model based software and systems development
  • Refinement
  • System specification


Dive into the research topics of 'Seamless model-based system development: Foundations: (extended abstract)'. Together they form a unique fingerprint.

Cite this