Specialization :   Software Engineering

Our research group mostly focuses on the area of dependable and smart software development for various types of end users. We intend to set up a dependability and smart systems development lab that will provide a facility for learning the concepts by researchers, and the same can be used for conducting purposeful research in the area of software development. This facility will be available for experimenting with recent and newer technologies available at the time of research being taken up. 

Our lab intends to cover all types of research that can be done in the area of software development with specific focus on the dependability quality attribute. 
Various ways of reusing software artefacts, structures and design experiences (best practices) need to be accommodated while pursuing such a research oriented study. One way of reusing knowledge related to a software component is to encode the knowledge in an ontology. Ontologies are considered best modelling tools to encode domain knowledge in a declarative format. In our group we focus on the ontological way of quantifying and qualifying attributes of dependability. Ontological methodology has to be developed for defining requirements of dependability and smartness in software systems. There is a need to discover novel techniques of using ontologies in requirements and design engineering so that the reasoning capabilities of ontologies can be applied to derive new information from existing knowledge and yield better quality software.

Research Areas
1.    Software Engineering, Software Architecture, Software Design Patterns
2.    Distributed Computing 
3.    Ontologies, Semantic Technologies, Logic
4.    Applying concepts of Artificial Intelligence and Machine Learning in Software Engineering

Recent Publications:

•    Vinay Kumar, Lalit singh, and A.K. Tripathi, “Reliability Analysis of safety-critical and control systems: A state-of-the-art review”, IET Software, Online ISSN 1751-8814, (August 2017), pp. 1-35.
•    Vinay Kumar, Lalit singh, Pooja Singh, and A.K. Tripathi, “Analysis of safety critical systems using transformation of UML into state space models: A Case Study of NPP”, IEEE Software ISSN 0740-7459, volume: 34(4) (July 2017), 38-47.
•    Vinay Kumar, Lalit singh, and A.K. Tripathi, “Transformation of deterministic models into state space models for safety analysis of safety critical systems: A case study of NPP”, Annals of Nuclear Energy, Elsevier Journal ISSN 0306-4549, volume: 105 (July 2017), pp. 133-143.
•    Vinay Kumar, Lalit singh, and A.K. Tripathi, “A Probabilistic Hazard Assessment Framework for the Safety-critical and Control Systems: A Case Study For a Nuclear Power Plant”, Nuclear Technology Journal ISSN 0029- 5450 (ANS), volume: 197 no. 1 (January 2017), pp. 22-28.
•    Lalit Kumar Singh, Gopika Vinod, Anil Kumar Tripathi, “Early Prediction of Software Reliability: A Case Study with a Nuclear Power Plant System.” IEEE Computer, Vol.  49, No. 1, (2016), pp. 52-58
•    Amrita Chaturvedi, Prabhakar T.V.: Ontology driven observer pattern. In: International Workshop on Ontologies meet Advanced Information Systems (OAIS 2013) in conjunction with 17th East-European Conference on Advances in Databases and Information Systems (ADBIS 2013), Springer International Publishing Switzerland, Genova, Italy. (September 2013) 307 – 316.
•    Amrita Chaturvedi, Prabhakar T.V.: Ontology driven creational design pattern – creating objects on the fly. In: Proceedings of International Conference on Reliable and Convergent Systems (ACM RACS 2013), ACM Press, Montreal, Canada. (October 2013) 312 – 321.
•    Amrita Chaturvedi, Prabhakar T.V.: Ontology driven builder pattern – a plug and play component. In: The 29th ACM Symposium on Applied Computing (ACM SAC 2014), ACM Press, Gyeongju, Korea. (March 2014).
•    Anurag Tiwari and Amrita Chaturvedi, "Class partition approach for software effort estimation using support vector machine," 2016 IEEE International Conference on Electrical, Computer and Electronics Engineering (UPCON 2016), Varanasi, India. (December 2016) 653-659. doi: 10.1109/UPCON.2016.7894732
•    Aditya Vardhan, Amrita Chaturvedi: Ontology driven shopping cart: A comparative analysis. In: International Conference on Information Communication and Computing Technology, Spinger LNCS Communications in Computer and Information Science (CCIS), New Delhi, India. (May 2017).