An adequate logic for heterogeneous systems

Abstract : We coalgebraically define a unified semantics for systems with an emphasis on the notion of time. Such a semantics intends to formalize system that underly system engineering (i.e. the discipline focusing on the integration mastery of large industrial systems).Moreover, we give a formal meaning to another important aspect of systems engineering : system requirements, constraining the expected properties of a system. To express such requirements, we define a logic that extends μ-calculus to our coalgebraic definition of systems. We establish an important property of this logic: adequacy.
Type de document :
Communication dans un congrès
18th International Conference on Engineering of Complex Computer Systems (ICECCS), Jul 2013, Singapore, Singapore. IEEE Computer Society, pp.1-10, 2013, 〈10.1109/iceccs.2013.19 〉
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal-ecp.archives-ouvertes.fr/hal-00812339
Contributeur : Marc Aiguier <>
Soumis le : vendredi 12 avril 2013 - 08:37:15
Dernière modification le : jeudi 10 mai 2018 - 02:06:22
Document(s) archivé(s) le : samedi 13 juillet 2013 - 04:02:09

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Marc Aiguier, Boris Golden, Daniel Krob. An adequate logic for heterogeneous systems. 18th International Conference on Engineering of Complex Computer Systems (ICECCS), Jul 2013, Singapore, Singapore. IEEE Computer Society, pp.1-10, 2013, 〈10.1109/iceccs.2013.19 〉. 〈hal-00812339〉

Partager

Métriques

Consultations de la notice

336

Téléchargements de fichiers

194