WPDRTS Selected papers from the 4th workshop on Parallel and distributed real-time systems
Hi-index | 0.00 |
We discuss the use of architecture specification languages to drive both automated analytic modeling and automated system implementation. We "co-generate" various formal models and an implementation from an architecture specification in a way that provides high assurance that the analysis results accurately predict implementation behavior. This approach enables improved system quality and functionality due to early and reliable design trade-off studies, rapid and low-cost system development and evolution, and increased assurance of correctness.