Handling Heterogeneity in Formal Developments of Hardware and Software Systems

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~\cite{losl} and semantics. As a consequence, this development process leads to heterogeneous developments. Heterogeneity may appear in two different forms. The first one is related to the large variety of formal development techniques and to the semantics and proof systems carried out by these techniques. Several formal descriptions may be associated to a given system with different semantics. The second type of heterogeneity results from the modeling domain~\cite{dines1,dines2,dines3} chosen for formalizing the described system. Usually, this domain is not explicitly described nor formalized. Most of the knowledge related to this domain is hardly encoded by the formal system description. The last decade has made use of ontologies~\cite{Gruber93} as an explicit formalization of such modeling domains. Expressing, in formal models, references to ontological concepts contribute to reduce such a heterogeneity. It also allows developers to address specific properties related to interoperable, adaptive, reconfigurable and plastic systems.
Type de document :
Communication dans un congrès
Tiziana Margaria and Bernhard Steffen. ISoLA - 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - 2012, Oct 2012, Amirandes, Heraklion, Greece. Springer, 7610, pp.327-328, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-34032-1_33〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00743810
Contributeur : Dominique Méry <>
Soumis le : samedi 20 octobre 2012 - 19:28:37
Dernière modification le : jeudi 11 janvier 2018 - 06:25:24

Identifiants

Citation

Yamine Ait Ameur, Dominique Méry. Handling Heterogeneity in Formal Developments of Hardware and Software Systems. Tiziana Margaria and Bernhard Steffen. ISoLA - 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - 2012, Oct 2012, Amirandes, Heraklion, Greece. Springer, 7610, pp.327-328, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-34032-1_33〉. 〈hal-00743810〉

Partager

Métriques

Consultations de la notice

300