Design of complex cyber physical systems with formalized architectural patterns

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The design of cyber physical systems (CPS) presents many challenges because of their complexity, strong safety requirements, distribution, and real-time nature. We propose a novel paradigm, based on the idea of using simplicity to control complexity, to achieve highly reliable CPS designs. The goal is to embody design rules of this complexity-control nature in highly reusable, very robust, and formally verified architectural patterns. We discuss some preliminary work and experiments illustrating how this can be done for CPS systems.

Original languageEnglish (US)
Title of host publicationSoftware-Intensive Systems and New Computing Paradigms
Subtitle of host publicationChallenges and Visions
EditorsMartin Wirsing, Axel Rauschmayer, Matthias Holzl, Jean-Pierre Banatre
Pages92-100
Number of pages9
DOIs
StatePublished - Dec 31 2008

Publication series

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

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Design of complex cyber physical systems with formalized architectural patterns'. Together they form a unique fingerprint.

  • Cite this

    Sha, L., & Meseguer, J. (2008). Design of complex cyber physical systems with formalized architectural patterns. In M. Wirsing, A. Rauschmayer, M. Holzl, & J-P. Banatre (Eds.), Software-Intensive Systems and New Computing Paradigms: Challenges and Visions (pp. 92-100). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5380 LNCS). https://doi.org/10.1007/978-3-540-89437-7-5