Time, causality, and realizability: Engineering interactive, distributed software systems

Research output: Contribution to journalArticlepeer-review

Abstract

Today, software systems are distributed, concurrent, interactive, embedded, and often time-critical. They communicate and cooperate by data exchange. Introducing notions of time, causality, and realizability into interface-based data flow models results into a powerful model for engineering cyber-physical and, generally, distributed software systems. Architectures and their specification are designed by the concurrent composition of systems. This approach provides high expressive power supporting explicitly specification of interface behavior, encapsulation, abstraction, refinement, verification, concurrent composition, and modularity. The key idea is a formal, semantically coherent modelling, and specification framework that integrates the specification of time-critical and non-time-critical software embedded into cyber-physical systems. The approach supports the refinement of interface specifications of non-time-critical systems into interface specifications of time-critical systems and vice versa. This leads to an integrated specification and design approach for time-critical data flow architectures with soft, firm as well as hard time-critical requirements.

Original languageEnglish
Article number111940
JournalJournal of Systems and Software
Volume210
DOIs
StatePublished - Apr 2024

Keywords

  • Distribution
  • Interaction
  • Interface
  • Specification
  • Time
  • Verification

Fingerprint

Dive into the research topics of 'Time, causality, and realizability: Engineering interactive, distributed software systems'. Together they form a unique fingerprint.

Cite this