Skip to main content
SpringerLink
Log in
Book cover

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

ISoLA 2012: Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies pp 327–328Cite as

Handling Heterogeneity in Formal Developments of Hardware and Software Systems

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7610))

Abstract

Nowadays, the formal development of hardware and/or software systems implies the design of several models on which properties are expressed and then formally verified. Moreover, these models may be expressed in different modeling languages [1] and semantics. As a consequence, this development process leads to heterogeneous developments. Heterogeneity may appear in two different forms.

This is a preview of subscription content, 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 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

Learn about institutional subscriptions

References

  1. Bjorner, D., Henson, M.C. (eds.): Logics of Specification Languages. EATCS Textbook in Computer Science. Springer (2007)

    Google Scholar 

  2. Bjorner, D.: Software Engineering 1 Abstraction and Modelling. Texts in Theoretical Computer Science. An EATCS Series (2006) ISBN: 978-3-540-21149-5

    Google Scholar 

  3. Bjorner, D.: Software Engineering 2 Specification of Systems and Languages. Texts in Theoretical Computer Science. An EATCS Series (2006) ISBN: 978-3-540-21150-1

    Google Scholar 

  4. Bjorner, D.: Software Engineering 3 Domains, Requirements, and Software Design. Texts in Theoretical Computer Science. An EATCS Series (2006) ISBN: 978-3-540-21151-8

    Google Scholar 

  5. Gruber, T.R.: A translation approach to portable ontology specifications. Knowl. Acquis. 5(2), 199–220 (1993)

    Article  Google Scholar 

  6. Zalila, F., Crégut, X., Pantel, M.: Leveraging Formal Verification Tools for DSML Users: A Process Modeling Case Study. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol. 7610, pp. 330–344. Springer, Heidelberg (2012)

    Google Scholar 

  7. Boukhari, I., Bellatreche, L., Jean, S.: An Ontological Pivot Model to Interoperate Heterogeneous User Requirements. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol. 7610, pp. 345–359. Springer, Heidelberg (2012)

    Google Scholar 

  8. Garlan, D., Schmerl, B.: Model-based adaptation for self-healing systems. In: Proceedings of the First Workshop on Self-healing Systems, WOSS 2002, pp. 27–32. ACM, New York (2002)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Université de Lorraine, LORIA CNRS UMR 7503, Vandœuvre-lès-Nancy, France

    Dominique Méry

  2. Ecole Nationale Supérieure d’Electrotechnique, d’Electronique, d’Informatique, d’Hydraulique et des Télécommunications (ENSEEIHT), IRIT, 2, rue Charles Camichel, B.P. 7122, 31071, Toulouse Cedex, France

    Yamine Ait-Ameur

Authors
  1. Yamine Ait-Ameur
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dominique Méry
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, Universität Potsdam, August-Bebel-Straße 89, 14482, Potsdam, Germany

    Tiziana Margaria

  2. Fakultät für Informatik, Technische Universität Dortmund, Otto-Hahn-Straße 14, 44227, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ait-Ameur, Y., Méry, D. (2012). Handling Heterogeneity in Formal Developments of Hardware and Software Systems. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies. ISoLA 2012. Lecture Notes in Computer Science, vol 7610. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34032-1_33

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-34032-1_33

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-34031-4

  • Online ISBN: 978-3-642-34032-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation