Dr Roopak Sinha

profile image

Associate Professor

Email: roopak.sinha@aut.ac.nz

ORCID: ORCID logo https://orcid.org/0000-0001-9486-7833

Links to relevant web pages:

Academic appointments:

  • Head of Doctoral Studies, AUT (2019 - ongoing)
  • Programme Leader - Software Engineering, AUT (2016 - 2019)
  • Academic Leader - Master of Service-Oriented Computing, AUT (2014 - 2016)

Qualifications:

  • PhD, The University of Auckland
  • Master of Commercialisation and Entrepreneurship, The University of Auckland
  • Bachelor of Engineering Honours (First class Honours), Manukau Institute of Technology
  • PG Certificate - Academic Practice, The University of Auckland
  • Senior Fellow, Higher Education Academy
  • SEI Software Architecture Professional Certificate, Carnegie Mellon University

Research interests:

Systematic, standards-first design of large-scale software systems
- Industry 4.0
- IoT
- Cyber-physical systems
- Intelligent transportation systems
- Industrial automation systems
- Home automation systems
- AI/Machine Learning systems
- Big Data systems
- Mobile systems
- Medical device software

Incorporating newer technologies into systems
- Digital twins
- Active security

Development of tools and software:
- Software architectures
- Requirements traceability
- Design automation and automatic compilation
- Testing and formal verification,
- Safety and security focussed designs

Professional activities:

Featured professional activities

  • Senior Member, IEEE, The Institute of Electrical and Electronics Engineers (2019 - ongoing)
  • KiwiNet Early Innovator Award, KiwiNet (2017 - 2018)

Appointment, affiliation, and membership

  • Senior Member, IEEE, The Institute of Electrical and Electronics Engineers (2019 - ongoing)
  • Assessor, Australian Research Council (2019 - ongoing)

Award, prize, fellowship, and scholarship

  • KiwiNet Early Innovator Award, KiwiNet (2017 - 2018)

Research outputs:

Featured research outputs

  • Humagain, S., Sinha, R., Lai, E., & Ranjitkar, P. (2019). A systematic review of route optimisation and pre-emption methods for emergency vehicles. Transport Reviews. doi:10.1080/01441647.2019.1649319

  • Sinha, R., Patil, S., Gomes, L., & Vyatkin, V. (2019). A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems. IEEE Transactions on Industrial Informatics, 1. doi:10.1109/tii.2019.2908665

  • Sinha, R., Dowdeswell, B., Zhabelova, G., & Vyatkin, V. (2019). TORUS: Scalable requirements traceability for large-scale cyber-physical systems. ACM Transactions on Cyber-Physical Systems, 3(2). doi:10.1145/3203208

  • Spray, J., & Sinha, R. (2018). Abstraction layered architecture: Writing maintainable embedded code. In C. E. Cuesta, D. Garlan, & J. Perez (Eds.), Software Architecture Vol. 11048 (pp. 131-146). Madrid. doi:10.1007/978-3-030-00761-4_9

Books

  • Sinha, R., Roop, P., & Basu, S. (2014). Correct-by-construction approaches for SoC design. New York, NY: Springer. doi:10.1007/978-1-4614-7864-5

Journal articles

  • Humagain, S., Sinha, R., Lai, E., & Ranjitkar, P. (2019). A systematic review of route optimisation and pre-emption methods for emergency vehicles. Transport Reviews. doi:10.1080/01441647.2019.1649319

  • Sinha, R., Patil, S., Gomes, L., & Vyatkin, V. (2019). A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems. IEEE Transactions on Industrial Informatics, 1. doi:10.1109/tii.2019.2908665

  • Afifi, S., GholamHosseini, H., & Sinha, R. (2019). A system on chip for melanoma detection using FPGA-based SVM classifier. Microprocessors and Microsystems, 65, 57-68. doi:10.1016/j.micpro.2018.12.005

  • Sinha, R., Dowdeswell, B., Zhabelova, G., & Vyatkin, V. (2019). TORUS: Scalable requirements traceability for large-scale cyber-physical systems. ACM Transactions on Cyber-Physical Systems, 3(2). doi:10.1145/3203208

  • Afifi, S., GholamHosseini, H., & Sinha, R. (2018). Dynamic hardware system for cascade SVM classification of melanoma. Neural Computing and Applications. doi:10.1007/s00521-018-3656-1

  • Afifi, S., Gholamhosseini, H., & Sinha, R. (2017). SVM classifier on chip for melanoma detection. Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS, 270-274. doi:10.1109/EMBC.2017.8036814

  • Bhatti, Z. E., Roop, P. S., & Sinha, R. (2017). Unified functional safety assessment of industrial automation systems. IEEE Transactions on Industrial Informatics, 3(1). doi:10.1109/TII.2016.2610185

  • Sinha, R., Pang, C., Martinez, G. S., & Vyatkin, V. (2016). Automatic test case generation from requirements for industrial cyber-physical systems. Automatisierungstechnik, 64(3). doi:10.1515/auto-2015-0075

  • Afifi, S., GholamHosseini, H., & Sinha, R. (2015). Hardware Implementations of SVM on FPGA: A State-of-the-Art Review of Current Practice. International Journal of Innovative Science, Engineering &Technology (IJISET), 2(11). Retrieved from http://www.ijiset.com/

  • Sinha, R., Roop, P. S., Shaw, G., Salcic, Z., & Kuo, M. (2015). Hierarchical and concurrent ECCs for IEC 61499 function blocks. IEEE Transactions on Industrial Informatics, 12(1). doi:10.1109/TII.2015.2496262

  • Sinha, R., Girault, A., Goessler, G., & Roop, P. S. (2014). A formal approach to incremental converter synthesis for system-on-chip design. ACM Transactions on Design Automation of Electronic Systems (TODAES), 20(1). doi:10.1145/2663344

  • Sinha, R., Roop, P., & Ranjitkar, P. (2013). Virtual Traffic Lights+: A robust, practical, and functionally safe intelligent transportation system. Transportation Research Record: Journal of the Transportation Research Board, 2381. doi:10.3141/2381-09

  • Sinha, R., Roop, P. S., & Basu, S. (2008). SoC design approach using convertibility verification. EURASIP Journal on Embedded Systems, 2008.

  • Sinha, R., Roop, P. S., & Basu, S. (2008). A model checking approach to protocol conversion. Electronic Notes in Theoretical Computer Science, 203.

  • Basu, S., Roop, P. S., & Sinha, R. (2007). Local module checking for CTL specifications. Electronic Notes in Theoretical Computer Science, 176.

  • Sinha, R., Roop, P. S., & Khoussainov, B. (2005). Adaptive Verification using Forced Simulation. Electronic Notes in Theoretical Computer Science, 141.

Book chapters

  • Ortel, M., Malot, M., Baumgart, A., Becker, J. S., Bogusch, R., Farfeleder, S., . . . Rehkop, P. (2013). Requirements engineering. In A. Rajan, & T. Wahl (Eds.), CESAR: Cost-efficient methods and processes for safety-relevant embedded systems (pp. 69-1243). Springer. Retrieved from http://www.springer.com/gp/book/9783709113868

Conference contributions

  • Tanveer, A., Sinha, R., MacDonell, S. G., Leitao, P., & Valeriy, V. (2019). Designing actively secure, highly available industrial automation applications. In IEEE International Conference on Industrial Informatics. Helsinki-Espoo. Retrieved from https://www.indin2019.org/

  • Deylami, H., Gutierrez, J., & Sinha, R. (2019). More Than Old Wine in New Bottles: A Secure Live Virtual Machine Job Migration Framework for Cloud Systems Integrity. In Proceedings of the 2018 Eleventh International Conference on Mobile Computing and Ubiquitous Network (ICMU). Auckland. doi:10.23919/ICMU.2018.8653611

  • Sharma, C., & Sinha, R. (2019). A schema-first formalism for labeled property graph databases: Enabling structured data loading and analytics. In BDCAT '19: Proceedings of the 6th IEEE/ACM International Conference on Big Data Computing, Applications and Technologies (pp. 71-80). Auckland. doi:10.1145/3365109.3368782

  • Afifi, S., Gholamhosseini, H., Sinha, R., & Lindén, M. (2019). A Novel Medical Device for Early Detection of Melanoma. In Studies in Health Technology and Informatics Vol. 261 (pp. 122-127). Genoa: IOS Press.

  • Humagain, S., & Sinha, R. (2019). Routing Autonomous Emergency Vehicles in Smart Cities Using Real Time Systems Analogy: A Conceptual Model. In IEEE International Conference on Industrial Informatics. Helsinki-Espoo.

  • Sharma, C., Sinha, R., & Leitao, P. (2019). IASelect: Finding Best-fit Agent Practices in Industrial CPS Using Graph Databases. In IEEE International Conference on Industrial Informatics (INDIN). Helsinki-Espoo.

  • Karnouskos, S., Sinha, R., Leitao, P., Ribeiro, L., & Strasser, T. I. (2018). The Applicability of ISO/IEC 25023 Measures in the Integration of Agents and Automation Systems. In Online Proceedings (pp. 2927-2934). Washington D.C..

  • Tanveer, A., Sinha, R., & MacDonell, S. (2018). On Design-time Security in IEC 61499 Systems: Conceptualisation, Implementation, and Feasibility. In 2018 IEEE 16th International Conference on Industrial Informatics (INDIN). Porto. doi:10.1109/INDIN.2018.8472093

  • Spray, J., & Sinha, R. (2018). Abstraction layered architecture: Writing maintainable embedded code. In C. E. Cuesta, D. Garlan, & J. Perez (Eds.), Software Architecture Vol. 11048 (pp. 131-146). Madrid. doi:10.1007/978-3-030-00761-4_9

  • Karnouskos, S., Sinha, R., Leitão, P., Ribeiro, L., & Strasser, T. (2018). Assessing the Integration of Software Agents and Industrial Automation Systems with ISO/IEC 25010. In 2018 IEEE International Conference on Industrial Informatics (INDIN). Porto. Retrieved from https://web.fe.up.pt/~indin2018/program/program-dsr.html#s36

  • Yu, X., Liang, L., Zhou, R., & Sinha, R. (2017). A Software Architecture for Energy Consumption Optimization in Location-Based Mobile Applications. In Annual Conference of the IEEE Industrial Electronics Society (IECON 2017). Beijing. doi:10.1109/IECON.2017.8216936

  • Sinha, R., Narula, A., & Grundy, J. C. (2017). Parametric Statecharts: Designing Flexible IoT Apps. In Australasian Computer Science Conference. Melbourne.

  • Gowdra, N., & Sinha, R. (2017). DynaCool: Efficient cooling of next-generation large-scale data centers. In Proceedings: IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society (pp. 5420-5425). Beijing: IEEE. doi:10.1109/IECON.2017.8216939

  • Sinha, R., Narula, A., & Grundy, J. (2017). Parametric statecharts: Designing flexible IoT apps: Deploying android m-health apps in dynamic smart-homes. In Proceedings of the Australasian Computer Science Week Multiconference (pp. 1-8). Melbourne: ACM. doi:10.1145/3014812.3014841

  • Dowdeswell, B., Sinha, R., & Haemmerle, E. (2017). TORUS: Tracing complex requirements for large cyber-physical systems. In Proceedings: 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS 2016) (pp. 23-32). Dubai: IEEE. doi:10.1109/ICECCS.2016.013

  • Hossain, A., Ray, S. K., & Sinha, R. (2016). A smartphone-assisted post-disaster victim localization method. In 18th IEEE International Conference on High Performance Computing and Communications. Sydney.

  • Afifi, S., Gholamhosseini, H., & Sinha, R. (2016). A low-cost FPGA-based SVM classifier for melanoma detection. In IEEE-EMBS Conference on Biomedical Engineering and Sciences. Kuala Lumpur. doi:10.1109/IECBES.2016.7843526

  • Afifi, S., GholamHosseini, H., & Sinha, R. (2016). Hardware Acceleration of SVM-Based Classifier for Melanoma Images. In Image and Video Technology – PSIVT 2015 Workshops. PSIVT 2015. Lecture Notes in Computer Science Vol. 9555 (pp. 235-245). : Springer International Publishing. doi:10.1007/978-3-319-30285-0_19

  • Sinha, R. (2016). Conversing at Many Layers: Multi-layer System-on-Chip Protocol Conversion. In Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS Vol. 2016-January (pp. 170-173). doi:10.1109/ICECCS.2015.25

  • Sinha, R., Pang, C., Martinez, G. S., Kuronen, J., & Vyatkin, V. (2016). Requirements-aided automatic test case generation for industrial cyber-physical systems. In Proceedings of the 20th International Conference on Engineering of Complex Computer Systems (ICECCS 2015) (pp. 198-201). Queensland: IEEE. doi:10.1109/ICECCS.2015.32

  • Shereen, A., GholamHosseini, H., & Sinha, R. (2016). Hardware Acceleration of SVM-Based Classifier for Melanoma Images.. In Image and Video Technology – PSIVT 2015 Workshops Vol. 9555 (pp. 235-245). . doi:10.1007/978-3-319-30285-0_19

  • Sinha, R., Pang, C., Santillan, G., Kuronen, J., & Vyatkin, V. (2015). Requirements-Aided Automatic Test-Case Generation for Industrial Control Software. In International Conference on Engineering of Complex Computer Systems (ICECCS 2015) (pp. 198-201). Gold Coast.

  • Sinha, R. (2015). Conversing at Many Layers: Implementing Multi-Layer On-chip Protocol Converters. In Proceedings of the International Conference on Engineering of Complex Computer Systems (ICECCS) (pp. 170-173). Gold Coast.

  • Afifi, S., GholamHosseini, H., & Sinha, R. (2015). Hardware Acceleration of SVM-based Classifier for Melanoma Images. Auckland.

  • Sinha, R., Patil, S., Pang, C., Vyatkin, V., & Dowdeswell, B. (2015). Requirements Engineering of Industrial Automation Systems - Adapting the CESAR Requirements Meta Model for Safety-Critical Smart grid Software. In 41st Annual Conference of the IEEE Industrial Electronics Society (pp. 2172-2177). Pacifico Yokohama.

  • Ray, S. K., Sinha, R., & Ray, S. K. (2015). A Smartphone-based Post-Disaster Management Mechanism Using WiFi Tethering. In The 10th IEEE Conference on Industrial Electronics and Applications (pp. 966-971). Auckland. doi:10.1109/ICIEA.2015.7334248

  • Menon, V., Sinha, R., & MacDonell, S. (2015). Architectural challenges in migrating plan-driven projects to agile. In 10th International Conference on Evaluation of Novel Approaches to Software Engineering (pp. 223-228). Barcelona: SCITEPRESS. doi:10.5220/0005383502230228

  • Afifi, S., Gholamhosseini, H., & Roopak, S. (2015). Hardware Acceleration of SVM-based Classifier for Melanoma Images. In 7th Pacific Rim Symposium on Image and Video Technology. Auckland.

  • Johnson, K., Sinha, R., Calinescu, R., & Ruan, J. (2015). A multi-agent framework for dependable adaptation of evolving system architectures. In Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications (pp. 159-166). Funchal: IEEE. doi:10.1109/SEAA.2015.49

  • Sinha, R., Dowdeswell, B., & Vyatkin, V. (2015). Slicing the Pi: Device-specific IEC 61499 design. In 2015 IEEE 13th International Conference on Industrial Informatics (INDIN) (pp. 1257-1262). Cambridge: IEEE. doi:10.1109/INDIN.2015.7281915

  • Johnson, K., Sinha, R., Calinescu, R., & Ruan, J. (2015). A Multi-Agent Framework for Dependable Adaptation of Evolving System Architectures. In Software Engineering and Advanced Applications (SEAA), 2015 41st Euromicro Conference on (pp. 159-166). IEEE.

  • Sinha, R., & Rowe, G. (2014). The Lecture Checklist: Inexpensively Improving Teaching Performance. In Annual Conference of the Australasian Association for Engineering Education (AAEE2014). Wellington.

  • Pearce, H., Sinha, R., Hikmet, M., & Roop, P. S. (2014). An Augmented Reality Demo Environment For Intelligent Transportation Systems. In ITS Asia Pacific Forum Vol. 14. Auckland.

  • Sinha, R., Vyatkin, V., Salcic, Z., & Park, H. J. (2014). Competitors or cousins? Studying the parallels between distributed programming languages SystemJ and IEC61499. In Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA) (pp. 1-7). Barcelona: IEEE. doi:10.1109/ETFA.2014.7005073

  • Sinha, R., Johnson, K., & Calinescu, R. (2014). A scalable approach for re-configuring evolving industrial control systems. In Proceedings of the 2014 Emerging Technology and Factory Automation (ETFA) Vol. 19 (pp. 1-8). Barcelona: IEEE. doi:10.1109/ETFA.2014.7005126

  • Sinha, R., Vyatkin, V., Salcic, Z., & Park, H. (2014). Competitors or Cousins? Studying the Parallels between Distributed Programming Languages SystemJ and IEC61499. In 2014 IEEE International Conference on Robotics and Automation (ICRA). .

  • Sinha, R., Roop, P., Ranjitkar, P., Zeng, J., & Zhu, X. (2013). Model-based Design of Coordinated Traffic Controllers. In 20th ITS World Congress. .

  • Bhatti, Z. E., Sinha, R., & Roop, P. (2013). Unified Functional Safety Assessment of Industrial Automation Systems. In IEEE International Conference on Emerging Technology and Factory Automation (ETFA). .

  • Sinha, R., Roop, P., & Ranjitkar, P. (2013). Virtual Traffic Lights+: A Robust, Practical, and Functionally Safe Intelligent Transportation System. In Transport Research Board (TRB), 92nd Annual Meeting. .

  • Andalam, S., Sinha, R., Roop, P., Girault, A., & Reineke, J. (2013). Precise timing analysis for direct-mapped caches. In Proceedings of the 50th Annual Design Automation Conference (pp. 1-10). Austin, Texas: ACM.

  • Sinha, R., Roop, P. S., Salcic, Z., & Basu, S. (2012). Correct-by-construction multi-component SoC design. In Proceedings -Design, Automation and Test in Europe, DATE (pp. 647-652). Dresden: IEEE. doi:10.1109/DATE.2012.6176551

  • Andalam, S., Sinha, R., & Roop, P. S. (2011). Environment Modelling for Tighter Timing Analysis of Synchronous Programs. In Electronic Design, Test and Application (DELTA), 2011 Sixth IEEE International Symposium on (pp. 150-155). .

  • Kuo, M., Sinha, R., & Roop, P. (2011). Efficient WCRT analysis of synchronous programs using reachability. In Proceedings of the 48th Design Automation Conference on - DAC \textquotesingle11. ACM Press. doi:10.1145/2024724.2024837

  • Bhatti, Z. E., Sinha, R., & Roop, P. S. (2011). Observer based verification of IEC 61499 function blocks. In Industrial Informatics (INDIN), 2011 9th IEEE International Conference on (pp. 609-614). .

  • Roop, P., Girault, A., Sinha, R., & Goessler, G. (2009). Specification enforcing refinement for convertibility verification. In Application of Concurrency to System Design, 2009. ACSD’09. Ninth International Conference on (pp. 148-157). .

  • Sinha, R., Roop, P. S., Basu, S., & Salcic, Z. (2009). Multi-clock SoC design using protocol conversion. In Proceedings of the Conference on Design, Automation and Test in Europe (pp. 123-128). .

  • Sinha, R., Roop, P. S., & Basu, S. (2008). A module checking based converter synthesis approach for socs. In VLSI Design, 2008. VLSID 2008. 21st International Conference on (pp. 492-501). .

Theses

  • Sinha, R. (2009). Automated techniques for formal verification of SoCs. (University of Auckland).

  • Chen, S., Sinha, R., & Roop, P. (2008). Generalised Adapter Synthesis using Forced Model Checking. (University of Auckland).