Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions

Maria Pittou, Stavros Tripakis

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

1 Citation (Scopus)

Abstract

In multi-view modeling the system under development is described by distinct models, called views, which capture different perspectives of the system. Inevitably, possible overlaps of the views may give rise to inconsistencies. Hence, it becomes essential to check for consistency among the separate views. Existing work checks view consistency of discrete systems (transition systems or finite automata) with respect to two types of abstraction functions: (1) projections of state variables, (2) projections of an alphabet of events onto a subalphabet. In this paper, we study view consistency with respect to timing abstractions, specifically, periodic sampling. We define the multi-view consistency problem for periodic sampling abstractions, and provide an algorithm for the problem.
Original languageEnglish
Title of host publicationFormal Aspects of Component Software
Subtitle of host publication13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers
Pages73-91
ISBN (Electronic)978-3-319-57666-4
DOIs
Publication statusPublished - 2017
MoE publication typeA4 Article in a conference publication
EventInternational Workshop on Formal Aspects of Component Software - Besançon, France
Duration: 19 Oct 201621 Oct 2016
Conference number: 13

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume10231
ISSN (Electronic)1611-3349

Workshop

WorkshopInternational Workshop on Formal Aspects of Component Software
Abbreviated titleFACS
CountryFrance
CityBesançon
Period19/10/201621/10/2016

Fingerprint Dive into the research topics of 'Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions'. Together they form a unique fingerprint.

  • Cite this

    Pittou, M., & Tripakis, S. (2017). Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions. In Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers (pp. 73-91). (Lecture Notes in Computer Science ; Vol. 10231). https://doi.org/10.1007/978-3-319-57666-4_6