Designing Cyber-Physical Systems with aDSL: a Domain-Specific Language and Tool Support
暂无分享,去创建一个
Vahid Garousi | Boudewijn R. Haverkort | Bedir Tekinerdogan | Freek van den Berg | V. Garousi | B. Tekinerdogan | B. Haverkort | F. V. D. Berg
[1] Jozef Hooman,et al. Efficiently Computing Latency Distributions by Combined Performance Evaluation Techniques , 2016 .
[2] Stan Karanasios,et al. Information sharing and interoperability: the case of major incident management , 2014, Eur. J. Inf. Syst..
[3] Leigh R. Power. Post-facto integration technology: new discipline for an old practice , 1990, Systems Integration '90. Proceedings of the First International Conference on Systems Integration.
[4] Jeffrey S. Racine,et al. gnuplot 4.0: a portable interactive plotting utility , 2006 .
[5] Peter Fritzson. Modelica — A cyber-physical modeling language and the OpenModelica environment , 2011, 2011 7th International Wireless Communications and Mobile Computing Conference.
[6] Joseph Y.-T. Leung,et al. Handbook of Real-Time and Embedded Systems , 2007 .
[7] Boudewijn R. Haverkort,et al. A Domain Specific Language for Performance Evaluation of Medical Imaging Systems , 2014, MCPS.
[8] Svein G. Johnsen,et al. The ATHENA Interoperability Framework , 2007, IESA.
[9] Ravishankar K. Iyer,et al. Analysis of Safety-Critical Computer Failures in Medical Devices , 2013, IEEE Security & Privacy.
[10] Heiko Koziolek,et al. An industrial case study of performance and cost design space exploration , 2012, ICPE '12.
[11] Jozef Hooman,et al. iDSL: Automated Performance Evaluation of Service-Oriented Systems , 2017, ModelEd, TestEd, TrustEd.
[12] Reiner Anderl,et al. Potentials of the Asset Administration Shell of Industrie 4.0 for Service-Oriented Business Models , 2017 .
[13] Thomas A. Henzinger,et al. The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
[14] Paul C. Miller,et al. Interoperability: What is it and why should I want it? Ariadne 24 , 2000 .
[15] Edward A. Lee. Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).
[16] Siddhartha Kumar Khaitan,et al. Design Techniques and Applications of Cyberphysical Systems: A Survey , 2015, IEEE Systems Journal.
[17] António Grilo,et al. Factories of the future: challenges and leading innovations in intelligent manufacturing , 2017, Int. J. Comput. Integr. Manuf..
[18] Valeriy Vyatkin,et al. Knowledge-driven service orchestration engine for flexible information acquisition in industrial cyber-physical systems , 2016, 2016 IEEE 25th International Symposium on Industrial Electronics (ISIE).
[19] Thomas A. Henzinger,et al. The Embedded Systems Design Challenge , 2006, FM.
[20] David E. Culler,et al. System architecture directions for networked sensors , 2000, SIGP.
[21] Iveta Zolotová,et al. Industrial IoT Gateway with Machine Learning for Smart Manufacturing , 2016, APMS.
[22] Panganamala Ramana Kumar,et al. Abstractions, Architecture, Mechanisms, and a Middleware for Networked Control , 2009, IEEE Transactions on Automatic Control.
[23] Jozef Hooman,et al. Gaining Industrial Confidence for the Introduction of Domain-Specific Languages , 2013, 2013 IEEE 37th Annual Computer Software and Applications Conference Workshops.
[24] John Brennan,et al. General Interoperability Concepts , 2006 .
[25] Richard C. Gronback. Eclipse Modeling Project: A Domain-Specific Language Toolkit , 2009 .
[26] Sarmen Keshishzadeh,et al. Early Fault Detection in DSLs Using SMT Solving and Automated Debugging , 2013, SEFM.
[27] Nengcheng Chen,et al. Integrated open geospatial web service enabled cyber-physical information infrastructure for precision agriculture monitoring , 2015, Comput. Electron. Agric..
[28] Insup Lee,et al. Cyber-physical systems: The next computing revolution , 2010, Design Automation Conference.
[29] W. H. Berninger,et al. Medical imaging systems , 1981 .
[30] Steven P. Haveman,et al. Requirements for High Level Models Supporting Design Space Exploration in Model-based Systems Engineering , 2013, CSER.
[31] Boudewijn R. Haverkort,et al. iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems , 2015, EPEW.
[32] Boudewijn R. Haverkort,et al. Performance Evaluation for Collision Prevention Based on a Domain Specific Language , 2013, EPEW.
[33] Emden R. Gansner,et al. Graphviz - Open Source Graph Drawing Tools , 2001, GD.
[34] Brian J. Sauser,et al. System of Systems - the meaning of of , 2006, 2006 IEEE/SMC International Conference on System of Systems Engineering.
[35] Edward A. Lee,et al. Industrial Cyber-Physical Systems - iCyPhy , 2013, CSDM.
[36] Andreas Tolk,et al. The levels of conceptual interoperability model: applying systems engineering principles to M&S , 2009, SpringSim '09.
[37] Capers Jones,et al. Embedded Software: Facts, Figures, and Future , 2009, Computer.
[38] Edward A. Lee. Cyber-physical Systems -are Computing Foundations Adequate? Position Paper for Nsf Workshop on Cyber-physical Systems: Research Motivation, Techniques and Roadmap , 1998 .
[39] Holger Hermanns,et al. mctau: Bridging the Gap between Modest and UPPAAL , 2012, SPIN.
[40] Richard C. Gronback. Eclipse Modeling Project: A Domain-Specific Language (DSL) Toolkit , 2009 .
[41] Maria Spichkova,et al. From abstract modelling to remote cyber-physical integration/interoperability testing , 2014, ArXiv.
[42] Nikil D. Dutt,et al. Models, abstractions, and architectures: The missing links in cyber-physical systems , 2015, 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC).
[43] Jay Lee,et al. A Cyber-Physical Systems architecture for Industry 4.0-based manufacturing systems , 2015 .
[44] Jozef Hooman,et al. Computing Response Time Distributions Using Iterative Probabilistic Model Checking , 2015, EPEW.