A discipline of multiprogramming: programming theory for distributed applications
A discipline of multiprogramming: programming theory for distributed applications
Software Fault Tolerance
Using Simplicity to Control Complexity
IEEE Software
Foundations for Circular Compositional Reasoning
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Rewriting-Based Techniques for Runtime Verification
Automated Software Engineering
The meta-object facility typed
Proceedings of the 2006 ACM symposium on Applied computing
Semantics and pragmatics of Real-Time Maude
Higher-Order and Symbolic Computation
An algebraic semantics for MOF
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Taming distributed system complexity through formal patterns
Science of Computer Programming
| Hi-index | 0.00 |
The design of cyber physical systems (CPS) presents many challenges because of their complexity, strong safety requirements, distribution, and real-time nature. We propose a novel paradigm, based on the idea of using simplicity to control complexity, to achieve highly reliable CPS designs. The goal is to embody design rules of this complexity-control nature in highly reusable, very robust, and formally verified architectural patterns. We discuss some preliminary work and experiments illustrating how this can be done for CPS systems.