2013 18th International Conference on Engineering of Complex Computer Systems (ICECCS) (2013)

Singapore, Singapore

July 17, 2013 to July 19, 2013

ISBN: 978-0-7695-5007-7

pp: 65-74

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.

INDEX TERMS

Transfer functions, Modeling, Standards, Semantics, Real-time systems, Laboratories

CITATION

M. Aiguier, B. Golden and D. Krob, "An Adequate Logic for Heterogeneous Systems,"

*2013 18th International Conference on Engineering of Complex Computer Systems (ICECCS)*, Singapore, Singapore, 2013, pp. 65-74.

doi:10.1109/ICECCS.2013.19

CITATIONS