Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download
Contributor : Marc Aiguier Connect in order to contact the contributor
Submitted on : Friday, April 12, 2013 - 8:37:15 AM
Last modification on : Wednesday, April 8, 2020 - 3:54:34 PM
Long-term archiving on: : Saturday, July 13, 2013 - 4:02:09 AM


Files produced by the author(s)




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. pp.1-10, ⟨10.1109/iceccs.2013.19⟩. ⟨hal-00812339⟩



Les métriques sont temporairement indisponibles