97 citations · 261 across the 11 of their papers we have counts for
5 papers · 1 filter
Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems
Roopak Sinha, Cheng Pang, Gerardo Santillán Martínez +2
Industrial cyber-physical systems require complex distributed software to orchestrate many heterogeneous mechatronic components and control multiple physical processes. Industrial…
A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems
Roopak Sinha, Sandeep Patil, Luis Gomes +1
Industrial automation systems (IAS) need to be highly dependable; they should not merely function as expected but also do so in a reliable, safe, and secure manner. Formal methods…
Janus: A Systems Engineering Approach to the Design of Industrial Cyber-Physical Systems
Dennis Jarvis, Jacqueline Jarvis, Chen-Wei Yang +2
The benefits that arise from the adoption of a systems engineering approach to the design of engineered systems are well understood and documented. However , with software systems,…
Combining closed-loop test generation and execution by means of model checking
Igor Buzhinsky, Valeriy Vyatkin
Model checking is an established technique to formally verify automation systems which are required to be trusted. However, for sufficiently complex systems model checking becomes…
Requirement verification in simulation-based automation testing
Eero Siivola, Seppo Sierla, Hannu Niemistö +2
The emergence of the Industrial Internet results in an increasing number of complicated temporal interdependencies between automation systems and the processes to be controlled. Th…