Skip to main content
SpringerLink
Log in
SpringerLink
Log in

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

  • Conference paper
  • First Online:
Formal Aspects of Component Software (FACS 2016)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 10231))

Included in the following conference series:

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.

This work was partially supported by the Academy of Finland and the U.S. National Science Foundation (awards #1329759 and #1139138).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)

    MATH  Google Scholar 

  2. Broman, D., Lee, E.A., Tripakis, S., Törngren, M.: Viewpoints, formalisms, languages, and tools for cyber-physical systems. In: 6th International Workshop on Multi-Paradigm Modeling (MPM 2012) (2012)

    Google Scholar 

  3. Getir, S., Grunske, L., Bernasko, C.K., Käfer, V., Sanwald, T., Tichy, M.: CoWolf – A generic framework for multi-view co-evolution and evaluation of models. In: Kolovos, D., Wimmer, M. (eds.) ICMT 2015. LNCS, vol. 9152, pp. 34–40. Springer, Cham (2015). doi:10.1007/978-3-319-21155-8_3

    Chapter  Google Scholar 

  4. Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, New York (1990)

    MATH  Google Scholar 

  5. Maoz, S., Ringert, J.O., Rumpe, B.: Semantically configurable consistency analysis for class and object diagrams. CoRR, abs/1409.2313 (2014)

    Google Scholar 

  6. Persson, M., Törngren, M., Qamar, A., Westman, J., Biehl, M., Tripakis, S., Vangheluwe, H., Denil, J.: A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems. In: EMSOFT, pp. 10:1–10:10. IEEE (2013)

    Google Scholar 

  7. Rajhans, A., Krogh, B.H.: Heterogeneous verification of cyber-physical systems using behavior relations. In: HSCC 2012, pp. 35–44. ACM (2012)

    Google Scholar 

  8. Rajhans, A., Krogh, B.H.: Compositional heterogeneous abstraction. In: HSCC 2013, pp. 253–262. ACM (2013)

    Google Scholar 

  9. Rasch, H., Wehrheim, H.: Checking consistency in UML diagrams: Classes and state machines. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol. 2884, pp. 229–243. Springer, Heidelberg (2003). doi:10.1007/978-3-540-39958-2_16

    Chapter  Google Scholar 

  10. Reineke, J., Stergiou, C., Tripakis, S.: Basic problems in multi-view modeling. Submitted journal version of [11]

    Google Scholar 

  11. Reineke, J., Tripakis, S.: Basic problems in multi-view modeling. In: Ábrahám, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 217–232. Springer, Heidelberg (2014). doi:10.1007/978-3-642-54862-8_15

    Chapter  Google Scholar 

  12. Shah, A.A., Kerzhner, A.A., Schaefer, D., Paredis, C.J.J.: Multi-view modeling to support embedded systems engineering in SysML. In: Engels, G., Lewerentz, C., Schäfer, W., Schürr, A., Westfechtel, B. (eds.) Graph Transformations and Model-Driven Engineering. LNCS, vol. 5765, pp. 580–601. Springer, Heidelberg (2010). doi:10.1007/978-3-642-17322-6_25

    Chapter  Google Scholar 

  13. Tripakis, S.: Compositionality in the science of system design. Proc. IEEE 104(5), 960–970 (2016)

    Article  Google Scholar 

  14. Hanxleden, R., Lee, E.A., Motika, C., Fuhrmann, H.: Multi-view modeling and pragmatics in 2020. In: Calinescu, R., Garlan, D. (eds.) Monterey Workshop 2012. LNCS, vol. 7539, pp. 209–223. Springer, Heidelberg (2012). doi:10.1007/978-3-642-34059-8_11

    Chapter  Google Scholar 

  15. Zhao, X., Long, Q., Qiu, Z.: Model checking dynamic UML consistency. In: Liu, Z., He, J. (eds.) ICFEM 2006. LNCS, vol. 4260, pp. 440–459. Springer, Heidelberg (2006). doi:10.1007/11901433_24

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Aalto University, Espoo, Finland

    Maria Pittou & Stavros Tripakis

  2. University of California, Berkeley, USA

    Stavros Tripakis

Authors
  1. Maria Pittou
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stavros Tripakis
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Maria Pittou .

Editor information

Editors and Affiliations

  1. Université Bourgogne Franche-Comté, Besançon, France

    Olga Kouchnarenko

  2. University of Tehran , Tehran, Iran

    Ramtin Khosravi

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Pittou, M., Tripakis, S. (2017). Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions. In: Kouchnarenko, O., Khosravi, R. (eds) Formal Aspects of Component Software. FACS 2016. Lecture Notes in Computer Science(), vol 10231. Springer, Cham. https://doi.org/10.1007/978-3-319-57666-4_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-57666-4_6

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-57665-7

  • Online ISBN: 978-3-319-57666-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation