64 citations · 162 across the 14 of their papers we have counts for
12 papers · 1 filter
Assessing the Integration of Software Agents and Industrial Automation Systems with ISO/IEC 25010
Stamatis Karnouskos, Roopak Sinha, Paulo Leitão +2
Agent-technologies have been used for higher-level decision making in addition to carrying out lower-level automation and control functions in industrial systems. Recent research h…
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…
The Applicability of ISO/IEC 25023 Measures to the Integration of Agents and Automation Systems
Stamatis Karnouskos, Roopak Sinha, Paulo Leitão +2
The integration of industrial automation systems and software agents has been practiced for many years. However, such an integration is usually done by experts and there is no cons…
IASelect: Finding Best-fit Agent Practices in Industrial CPS Using Graph Databases
Chandan Sharma, Roopak Sinha, Paulo Leitao
The ongoing fourth Industrial Revolution depends mainly on robust Industrial Cyber-Physical Systems (ICPS). ICPS includes computing (software and hardware) abilities to control com…
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,…
Assessing Support for Industry Standards in Reference Medical Software Architectures
Shihui Han, Roopak Sinha, Andrew Lowe
Industrial standards for developing medical device software provide requirements that conforming devices must meet. A number of reference software architectures have been proposed…
Can Commercial Testing Automation Tools Work for IoT? A Case Study of Selenium and Node-Red
Neenu Varghese, Roopak Sinha
Background: Testing IoT software is challenging due to large scale, volume of data and heterogeneity. Testing automation is a much-needed feature in the domain. Aims: The first goa…
Diagnosable-by-Design Model-Driven Development for IEC 61499 Industrial Cyber-Physical Systems
Barry Dowdeswell, Roopak Sinha, Stephen G. MacDonell
Integrating the design and creation of fault identification and diagnostic capabilities into Model-Driven Development methodologies is one approach to enhancing the resilience of I…
Employing Agent Beliefs during Fault Diagnosis for IEC 61499 Industrial Cyber-Physical Systems
Barry Dowdeswell, Roopak Sinha, Dennis Jarvis +2
We have come to rely on industrial-scale cyber-physical systems more and more to manage tasks and machinery in safety-critical situations. Efficient, reliable fault identification…
Architectural Challenges in Migrating Plan-driven Projects to Agile
Vinod Menon, Roopak Sinha, Stephen MacDonell
Software development has steadily embraced agile software development methodology/method (ASDM) and has been moving away from the plan driven software development methodology (PDM)…
Finding faults: A scoping study of fault diagnostics for Industrial Cyber-Physical Systems
Barry Dowdeswell, Roopak Sinha, Stephen G. MacDonell
Context: As Industrial Cyber-Physical Systems (ICPS) become more connected and widely-distributed, often operating in safety-critical environments, we require innovative approaches…