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 metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal-ecp.archives-ouvertes.fr/hal-00812339
Contributor : Marc Aiguier <>
Submitted on : Friday, April 12, 2013 - 8:37:15 AM
Last modification on : Thursday, April 25, 2019 - 11:12:27 AM
Long-term archiving on : Saturday, July 13, 2013 - 4:02:09 AM

File

main.pdf
Files produced by the author(s)

Identifiers

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

Share

Metrics

Record views

372

Files downloads

354