Detail publikace

Time Specification, Modeling and Measurement in frame of Cyber-Physical System Applications Design

Originální název

Time Specification, Modeling and Measurement in frame of Cyber-Physical System Applications Design

Anglický název

Time Specification, Modeling and Measurement in frame of Cyber-Physical System Applications Design

Jazyk

en

Originální abstrakt

This paper addresses the role, interpretation and the deployment of the notion "time" in distributed cyber-physical systems. Stemming from a brief state-of-the-art review, it discusses various possibilities how to specify, model and measure miscellaneous features of real time in the domain applications. The manuscript brings a simple, timing-oriented formal semantics of an example specification language and demonstrates the developed approach using case studies. The aim of the article is to select the fitting methods that enable to utilize the related specification and design approach for distributed cyber-physical systems applications.

Anglický abstrakt

This paper addresses the role, interpretation and the deployment of the notion "time" in distributed cyber-physical systems. Stemming from a brief state-of-the-art review, it discusses various possibilities how to specify, model and measure miscellaneous features of real time in the domain applications. The manuscript brings a simple, timing-oriented formal semantics of an example specification language and demonstrates the developed approach using case studies. The aim of the article is to select the fitting methods that enable to utilize the related specification and design approach for distributed cyber-physical systems applications.

BibTex


@article{BUT103579,
  author="Miroslav {Švéda}",
  title="Time Specification, Modeling and Measurement in frame of Cyber-Physical System Applications Design",
  annote="This paper addresses the role, interpretation and the deployment of the notion
"time" in distributed cyber-physical systems. Stemming from a brief
state-of-the-art review, it discusses various possibilities how to specify, model
and measure miscellaneous features of real time in the domain applications. The
manuscript brings a simple, timing-oriented formal semantics of an example
specification language and demonstrates the developed approach using case
studies. The aim of the article is to select the fitting methods that enable to
utilize the related specification and design approach for distributed
cyber-physical systems applications.",
  address="NEUVEDEN",
  chapter="103579",
  edition="NEUVEDEN",
  howpublished="print",
  institution="NEUVEDEN",
  number="5",
  volume="7",
  year="2013",
  month="october",
  pages="263--270",
  publisher="NEUVEDEN",
  type="journal article - other"
}