Abstract
The topic of this paper is the design of dynamical systems, such as embedded or cyber-physical systems. Is there a science of system design, and if so, what are its elements? We believe that its key elements are three: modeling, analysis, and implementation, and we discuss fundamental research challenges in each category. We then argue that compositionality is an essential cross-cutting concern, and one of the foundations for mastering change. Beyond compositionality, we discuss other key problems when dealing with change, namely, multi-view modeling and synthesis.
| Original language | English |
|---|---|
| Pages (from-to) | 113-129 |
| Number of pages | 17 |
| Journal | Lecture Notes in Computer Science |
| Volume | 9960 |
| DOIs | |
| Publication status | Published - 2016 |
| MoE publication type | A1 Journal article-refereed |
Keywords
- Compositionality
- Computer-aided system design
- Formal verification
- Learning
- Modularity
- Multi-view modeling
- Synthesis
- System modeling