Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction

Abstract : System engineering is a complex discipline[1], which is becoming more and more complicated by the heterogeneity of the subsystem components[2] and of the models involved in their design. This complexity can be managed only through the use of formal methods[3]. However, in general the engineering of software in such systems leads to a need for a mix of modelling languages and semantics; and this often leads to unexpected and undesirable interactions between components at all levels of abstraction[4]. There are currently no generally applicable tools for dealing with this heterogeneity of interactions in the engineering of complex systems.
Type de document :
Communication dans un congrès
ISoLA 2014, Oct 2014, Corfu, Greece. Proceedings of the 6th International Symposium, ISoLA 2014, pp.570-572, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications. 〈10.1007/978-3-662-45231-8_47〉
Liste complète des métadonnées

https://hal-supelec.archives-ouvertes.fr/hal-01103304
Contributeur : Elodie Dubrac <>
Soumis le : mercredi 14 janvier 2015 - 14:41:26
Dernière modification le : jeudi 29 mars 2018 - 11:06:05

Identifiants

Citation

Jean-Paul Gibson, Idir Ait-Sadoune. Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. ISoLA 2014, Oct 2014, Corfu, Greece. Proceedings of the 6th International Symposium, ISoLA 2014, pp.570-572, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications. 〈10.1007/978-3-662-45231-8_47〉. 〈hal-01103304〉

Partager

Métriques

Consultations de la notice

354