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 → …

Fingerprint

Semantics
Computer programming
Application programs
Interfaces (computer)
Actuators
Controllers
Communication
Sensors
Cyber Physical System

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Computer Networks and Communications

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

Language semantics driven design and formal analysis for distributed cyber-physical systems. / Ghosh, Ritwika; Misailovic, Sasa; Mitra, Sayan.

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. Association for Computing Machinery, 2018. p. 41-44 (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

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

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. Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, pp. 41-44, 2018 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, 7/27/18. https://doi.org/10.1145/3231104.3231958
Ghosh R, Misailovic S, Mitra S. 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. Association for Computing Machinery. 2018. p. 41-44. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing). https://doi.org/10.1145/3231104.3231958
Ghosh, Ritwika ; Misailovic, Sasa ; Mitra, Sayan. / Language semantics driven design and formal analysis for distributed cyber-physical systems. 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. Association for Computing Machinery, 2018. pp. 41-44 (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).
@inproceedings{0a0a4f4fd2224eeaab251b48e2dd19a5,
title = "Language semantics driven design and formal analysis for distributed cyber-physical systems",
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.",
author = "Ritwika Ghosh and Sasa Misailovic and Sayan Mitra",
year = "2018",
month = "7",
day = "23",
doi = "10.1145/3231104.3231958",
language = "English (US)",
isbn = "9781450357753",
series = "Proceedings of the Annual ACM Symposium on Principles of Distributed Computing",
publisher = "Association for Computing Machinery",
pages = "41--44",
booktitle = "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",

}

TY - GEN

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

AU - Ghosh, Ritwika

AU - Misailovic, Sasa

AU - Mitra, Sayan

PY - 2018/7/23

Y1 - 2018/7/23

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85052365910&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85052365910&partnerID=8YFLogxK

U2 - 10.1145/3231104.3231958

DO - 10.1145/3231104.3231958

M3 - Conference contribution

AN - SCOPUS:85052365910

SN - 9781450357753

T3 - Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

SP - 41

EP - 44

BT - 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

PB - Association for Computing Machinery

ER -