2013 18th International Conference on Engineering of Complex Computer Systems (ICECCS) (2013)
July 17, 2013 to July 19, 2013
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.
Transfer functions, Modeling, Standards, Semantics, Real-time systems, Laboratories
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.