Skip to main content
SpringerLink
Log in

Multi-facets Contract for Modeling and Verifying Heterogeneous Systems

  • Conference paper
  • First Online:
Model and Data Engineering (MEDI 2021)

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

Included in the following conference series:

  • 743 Accesses

Abstract

Critical and cyber-physical systems (CPS) such as nuclear power plants, railway, automotive or aeronautical industries are complex heterogeneous systems. They are perimeter-less, built by assembling various heterogeneous and interacting components which are frequently reconfigured due to evolution of requirements. The modeling and analysis of such systems are challenges in software engineering. We introduce a new method for modeling and verifying heterogeneous systems. The method consists in: equipping individual components with generalized contracts that integrate various facets related to different concerns, composing these components and verifying the resulting system with respect to the involved facets. We illustrate the use of the method by a case study. The proposed method may be extended to cover more facets, and by strengthening assistance tool through proactive aspects in modelling and property verification.

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

Notes

  1. 1.

    This idea also appears as the separation of concerns in aspect-oriented programming/design.

  2. 2.

    https://www.aldec.com/en/products/fpga_simulation/active-hdl.

  3. 3.

    were “A [ ] Prop" denotes the “always property".

  4. 4.

    https://aziza.ls2n.fr/ [3].

References

  1. IEEE standard for Property Specification Language (PSL). IEEE Std 1850–2010 (Revision of IEEE Std 1850–2005), pp. 1–182 (2010). https://doi.org/10.1109/IEEESTD.2010.5446004

  2. de Alfaro, L., Henzinger, T.A.: Interface theories for component-based design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 148–165. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-45449-7_11

    Chapter  Google Scholar 

  3. Attiogbé, J.C.: Mastering heterogeneous behavioural models. In: Ouhammou, Y., Ivanovic, M., Abelló, A., Bellatreche, L. (eds.) MEDI 2017. LNCS, vol. 10563, pp. 291–299. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-66854-3_22

    Chapter  Google Scholar 

  4. Behrmann, G., David, A., Larsen, K.: A Tutorial on UPPAAL, vol. 3185, pp. 200–236 (01 2004). https://doi.org/10.1007/978-3-540-30080-9_7

  5. Benveniste, A., et al.: Contracts for system design. Found. Trends Electron. Des. Autom. 12(2–3), 124–400 (2018). https://doi.org/10.1561/1000000053

  6. Holzmann, G.J.: The SPIN Model Checker. Addison-Wesley, Boston (2004)

    Google Scholar 

  7. Khouass, A., Attiogbé, C., Messabihi, M.: Multi-facets contract for modeling and verifying heterogeneous systems. CoRR abs/2012.13671 (2020). https://arxiv.org/abs/2012.13671

  8. Lee, E.A.: Disciplined heterogeneous modeling. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010. LNCS, vol. 6395, pp. 273–287. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-16129-2_20

    Chapter  Google Scholar 

  9. Sifakis, J.: Rigorous System Design, pp. 292–292 (2014). https://doi.org/10.1145/2611462.2611517

  10. Tiwari, U.K., Kumar, S.: Component-Based Software Engineering: Methods and Metrics. CRC Press, Boca Raton (2020)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Nantes, LS2N CNRS UMR 6004, Nantes, France

    A. Abdelkader Khouass & J. Christian Attiogbé

  2. University of Tlemcen, LRIT, Tlemcen, Algeria

    A. Abdelkader Khouass & Mohamed Messabihi

Authors
  1. A. Abdelkader Khouass
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J. Christian Attiogbé
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Mohamed Messabihi
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to A. Abdelkader Khouass .

Editor information

Editors and Affiliations

  1. University of Nantes, Nantes, France

    Christian Attiogbé

  2. Tallinn University of Technology, Tallinn, Estonia

    Sadok Ben Yahia

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Khouass, A.A., Attiogbé, J.C., Messabihi, M. (2021). Multi-facets Contract for Modeling and Verifying Heterogeneous Systems. In: Attiogbé, C., Ben Yahia, S. (eds) Model and Data Engineering. MEDI 2021. Lecture Notes in Computer Science(), vol 12732. Springer, Cham. https://doi.org/10.1007/978-3-030-78428-7_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-78428-7_4

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-78427-0

  • Online ISBN: 978-3-030-78428-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation