AutomationML as a Basis for Offline - And Realtime-simulation - Planning, Simulation and Diagnosis of Automation Systems
暂无分享,去创建一个
Oliver Niggemann | Barath Kumar | Alexander Maier | Natalia Moriz | Olaf Graeser | O. Niggemann | A. Maier | N. Moriz | Olaf Graeser | B. Kumar
[1] Rainer Draht,et al. Datenaustausch in der Anlagenplanung mit AutomationML , 2010 .
[2] Stefan Kühne,et al. Evaluation of OrViA Framework for Model-Driven SOA Implementations: An Industrial Case Study , 2008, BPM.
[3] Peter Szulman,et al. Using Ontology-Based Reference Models in Digital Production Engineering Integration , 2005 .
[4] Wolfgang Kuehn,et al. Digital Factory - Simulation Enhancing the Product and Production Engineering Process , 2006, Proceedings of the 2006 Winter Simulation Conference.
[5] Oliver Niggemann,et al. Statistical Models of Network Traffic , 2010 .
[6] Oliver Niggemann,et al. Models for model's sake , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.
[7] Oliver Niggemann,et al. Durchgehende Systemverifikation im Automotiven Entwicklungsprozess , 2008, MBEES.
[8] Heinz Gall. Functional safety IEC 61508 / IEC 61511 the impact to certification and the user , 2008, 2008 IEEE/ACS International Conference on Computer Systems and Applications.
[9] C. Sunder,et al. Model-driven embedded systems design environment for the industrial automation sector , 2008, 2008 6th IEEE International Conference on Industrial Informatics.
[10] P Steiner,et al. Anforderungen und Architektur zukuenftiger Karosserieelektroniksysteme / Requirements and system architecture of future body electronics , 2001 .
[11] Jeremy Sproston. Decidable Model Checking of Probabilistic Hybrid Automata , 2000, FTRTFT.
[12] P. Supavatanakula,et al. Diagnosis of timed automata : Theory and application to the DAMADICS actuator benchmark problem , 2004 .
[13] Andreas Abel,et al. Functional Mock-up Interface in Mechatronic Gearshift Simulation for Commercial Vehicles , 2012 .
[14] Stephen J. Mellor,et al. MDA Distilled Principles Of Model-Driven Architecture , 2004 .
[15] Horst Lichter,et al. Model Driven Development Challenges in the Automation Domain , 2008, 2008 32nd Annual IEEE International Computer Software and Applications Conference.
[16] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..
[17] Vicenç Puig,et al. Diagnosis of timed automata: Theory and application to the DAMADICS actuator benchmark problem , 2006 .