Language semantics driven design and formal analysis for distributed cyber-physical systems

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

Abstract

Typically platform specific programming models for distributed Cyber-Physical Systems provide limited portability, code reuse, rigorous verification, and synthesis. Koord is a new distributed CPS programming model and language, which treats the platform-independent decision and coordination tasks as a separate concern from platform-dependent concerns of low-level sensing, communication, and control. Koord features event-based programming, shared variables for convenient coordination across multiple agents, and interfaces defined by sensor and actuator ports for the (platform independent) application program to interface with program's environment consisting of controllers and the physical plant. We implement the executable semantics of Koord in the K framework. The Koord framework also includes formal analysis tools on top of the semantics to enable semantics driven-verification.

Original languageEnglish (US)
Title of host publicationApPLIED 2018 - Proceedings of the 2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed Systems, Co-located with PODC 2018
PublisherAssociation for Computing Machinery
Pages41-44
Number of pages4
ISBN (Print)9781450357753
DOIs
StatePublished - Jul 23 2018
Event2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed Systems, ApPLIED 2018, co-located with the 37th ACM Symposium on the Principles of Distributed Computing, PODC 2018 - Egham, United Kingdom
Duration: Jul 27 2018 → …

Publication series

NameProceedings of the Annual ACM Symposium on Principles of Distributed Computing

Other

Other2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed Systems, ApPLIED 2018, co-located with the 37th ACM Symposium on the Principles of Distributed Computing, PODC 2018
CountryUnited Kingdom
CityEgham
Period7/27/18 → …

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Computer Networks and Communications

Fingerprint Dive into the research topics of 'Language semantics driven design and formal analysis for distributed cyber-physical systems'. Together they form a unique fingerprint.

  • Cite this

    Ghosh, R., Misailovic, S., & Mitra, S. (2018). Language semantics driven design and formal analysis for distributed cyber-physical systems. In ApPLIED 2018 - Proceedings of the 2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed Systems, Co-located with PODC 2018 (pp. 41-44). (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing). Association for Computing Machinery. https://doi.org/10.1145/3231104.3231958