Cyber Physical System Integration and Configuration Guided by Satisfiability Modulo Theories

Kishore Pochiraju, Sanjai Narain

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

1 Scopus citations

Abstract

Cyber Physical Systems (CPS) are increasingly required to address sophisticated and complex set of stakeholder, security, regulatory policy and physical requirements. CPS employ numerous and interacting software, hardware, control and communication sub-systems that collectively address the system requirements. This paper describes a methodology that applies Satisfiability (SAT) or Satisfiability Modulo Theory (SMT) solvers to guide system architects during the integration, diagnosis, reconfiguration and/or redesign of sub-systems. The system integration problem is posed as search for a feasible configuration in a constraint-based representation. Physical, software and control behaviors of the system and the governing physical laws are translated into a network of interconnected parametric models and as algebraic and symbolic constraints. The methodology entails solving the complete set of constraints for feasible configurations. In the absence of feasible configurations, either the conflicting requirements are renegotiated or a maximally satisfiable subset of constraints is found, that then drives a redesign of sub-systems.

Original languageEnglish
Title of host publicationProceedings - 2015 IEEE 16th International Conference on Information Reuse and Integration, IRI 2015
Pages589-592
Number of pages4
ISBN (Electronic)9781467366564
DOIs
StatePublished - 19 Oct 2015
Event16th IEEE International Conference on Information Reuse and Integration, IRI 2015 - San Francisco, United States
Duration: 13 Aug 201515 Aug 2015

Publication series

NameProceedings - 2015 IEEE 16th International Conference on Information Reuse and Integration, IRI 2015

Conference

Conference16th IEEE International Conference on Information Reuse and Integration, IRI 2015
Country/TerritoryUnited States
CitySan Francisco
Period13/08/1515/08/15

Keywords

  • Configuration
  • Constraint-based Representation
  • Redesign
  • Satifiability Solvers
  • System Requirements

Fingerprint

Dive into the research topics of 'Cyber Physical System Integration and Configuration Guided by Satisfiability Modulo Theories'. Together they form a unique fingerprint.

Cite this