1. Uniting Academic Achievements on Performance Analysis with Industrial Needs
- Author
-
Theelen, B., Hooman, J.J.M., Campos, J., Haverkort, B.R., Campos, J., and Haverkort, B.R.
- Subjects
Model checking ,Domain-specific language ,Computer science ,High Tech Systems & Materials ,Domain specific languages ,Performance modeling ,Bridging (programming) ,Software Science ,Electronics Informatics ,Quantitative analysis ,Performance modelling ,TS - Technical Sciences ,Industrial Innovation ,business.industry ,Performance analysis ,ESI - Embedded Systems Innovation ,Formal methods ,Engineering management ,Information and Communications Technology ,ICT ,Lecture Notes in Computer Science ,Artificial intelligence ,business ,Simulation - Abstract
In our mission to advance innovation by industrial adoption of academic results, we perform many projects with high-tech industries. Favoring formal methods, we observe a gap between industrial needs in performance modeling and the analysis capabilities of formal methods for this goal. After clarifying this gap, we highlight some relevant deficiencies for state-of-the-art quantitative analysis techniques (focusing on model checking and simulation). As an ingredient to bridging the gap, we propose to unite domain-specific industrial contexts with academic performance approaches through Domain Specific Languages (DSLs). We illustrate our vision with examples from different high-tech industries and discuss lessons learned from the migration process of adopting it.
- Published
- 2015