Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems-Reference-Cited by-同舟云学术

Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems

Published:2013 Issue: Volume: Page:189-244
ISSN:2193-0155
Container-title:Embedded Systems
language:
Short-container-title:

Author:

Basten Twan,Hendriks Martijn,Trčka Nikola,Somers Lou,Geilen Marc,Yang Yang,Igna Georgeta,de Smet Sebastian,Voorhoeve Marc,van der Aalst Wil,Corporaal Henk,Vaandrager Frits

Publisher

Springer New York

Link

http://link.springer.com/content/pdf/10.1007/978-1-4614-4821-1_7

Reference80 articles.

1. AADL. http://www.aadl.info/ (2012). Accessed Oct 2012

2. Alur, R., Courcoubetis, C., Dill, D.L.: Model-checking in dense real-time. Inf. Comput. 104, 2–34 (1993)

3. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theor. Comput. Sci. 138, 3–34 (1995)

4. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126, 183–235 (1994)

5. Apache Felix. http://felix.apache.org/ (2012). Accessed Oct 2012

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Communication of Simulation and Modelling Activities in Early Systems Engineering;Procedia Computer Science;2015

2. Multi-objective optimization in rule-based design space exploration;Proceedings of the 29th ACM/IEEE international conference on Automated software engineering;2014-09-15

3. A blueprint for system-level performance modeling of software-intensive embedded systems;International Journal on Software Tools for Technology Transfer;2014-08-29

4. A model-driven framework for guided design space exploration;Automated Software Engineering;2014-08-20

5. Early Fault Detection Using Design Models for Collision Prevention in Medical Equipment;Foundations of Health Information Engineering and Systems;2014