The Community for Technology Leaders
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
93 ms
(Ver 3.3 (11022016))