Automatic test case generation from requirements for industrial cyber-physical systems
暂无分享,去创建一个
Valeriy Vyatkin | Roopak Sinha | Cheng Pang | Gerardo Santillán Martínez | V. Vyatkin | Cheng Pang | R. Sinha | Gerardo Santillán Martínez
[1] Kari Koskinen,et al. Challenges in industrial adoption of model-driven technologies in process control application design , 2011, 2011 9th IEEE International Conference on Industrial Informatics.
[2] Insup Lee,et al. Cyber-physical systems: The next computing revolution , 2010, Design Automation Conference.
[3] Frank van Harmelen,et al. Web Ontology Language: OWL , 2004, Handbook on Ontologies.
[4] Daniel Sundmark,et al. Model-Based Test Suite Generation for Function Block Diagrams Using the UPPAAL Model Checker , 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.
[5] Juan-Zi Li,et al. Ontology-Based Test Case Generation for Testing Web Services , 2007, Eighth International Symposium on Autonomous Decentralized Systems (ISADS'07).
[6] James H. Christensen. IEC 61499 Architecture, Engineering Methodologies and Software Tools , 2002, BASYS.
[7] Valeriy Vyatkin,et al. Redesign Distributed PLC Control Systems Using IEC 61499 Function Blocks , 2012, IEEE Transactions on Automation Science and Engineering.
[8] David Hästbacka,et al. Model-driven development of industrial process control applications , 2011, J. Syst. Softw..
[9] Thomas Moser,et al. DODT: Increasing requirements formalism using domain ontologies for improved embedded systems development , 2011, 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems.
[10] Birgit Vogel-Heuser,et al. Model-driven Engineering of Manufacturing Automation Software Projects - A SysML-based Approach , 2014, ArXiv.
[11] Valeriy Vyatkin,et al. Software Engineering in Industrial Automation: State-of-the-Art Review , 2013, IEEE Transactions on Industrial Informatics.
[12] Pekka Aarnio,et al. Industrial evaluation of functional Model-Based Testing for process control applications using CAEX , 2013, 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA).
[13] Birgit Vogel-Heuser,et al. Automated Test Case Generation for Industrial Control Applications , 2011, ICARA.
[14] Valeriy Vyatkin,et al. An OPC UA Based Architecture for Testing Tracking Simulation Methods , 2015, 2015 IEEE Trustcom/BigDataSE/ISPA.
[15] Valeriy Vyatkin,et al. Time-Complemented Event-Driven Architecture for Distributed Automation Systems , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[16] Víctor M. González Suárez,et al. Model-based automated testing of critical PLC programs , 2013, 2013 11th IEEE International Conference on Industrial Informatics (INDIN).
[17] A. Fay,et al. Object-oriented engineering data exchange as a base for automatic generation of simulation models , 2009, 2009 35th Annual Conference of IEEE Industrial Electronics.
[18] Valeriy Vyatkin,et al. Model-Driven Development of Control Software for Distributed Automation: A Survey and an Approach , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[19] Valeriy Vyatkin. IEC 61499 as Enabler of Distributed and Intelligent Automation: State-of-the-Art Review , 2011, IEEE Transactions on Industrial Informatics.
[20] Doo-Hwan Bae,et al. Automated test case generation for FBD programs implementing reactor protection system software , 2014, Softw. Test. Verification Reliab..