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. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1109/ICECCS.2013.19 | Engineering of Complex Computer Systems |
Keywords | DocType | ISBN |
formal meaning,heterogeneous systems,important property,systems engineering,adequate logic,unified semantics,underly system engineering,expected property,coalgebraic definition,important aspect,system requirement,large industrial system,system requirements,real time systems,modeling,transfer functions,semantics,formal logic | Conference | 978-0-7695-5007-7 |
Citations | PageRank | References |
1 | 0.37 | 6 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marc Aiguier | 1 | 98 | 14.95 |
Boris Golden | 2 | 22 | 1.72 |
Daniel Krob | 3 | 340 | 44.90 |