System Assurances
Modeling and Management
- 1st Edition - February 21, 2022
- Latest edition
- Editors: Prashant Johri, Adarsh Anand, Juri Vain, Jagvinder Singh, Mohammad Tabrez Quasim
- Language: English
- Paperback ISBN:9 7 8 - 0 - 3 2 3 - 9 0 2 4 0 - 3
- eBook ISBN:9 7 8 - 0 - 3 2 3 - 9 0 2 4 1 - 0
System Assurances: Modeling and Management updates on system assurance and performance methods using advanced analytics and understanding of software reliability growth modeli… Read more
System Assurances: Modeling and Management updates on system assurance and performance methods using advanced analytics and understanding of software reliability growth modeling from today’s debugging team’s point-of-view, along with information on preventive and predictive maintenance and the efficient use of testing resources. The book presents the rapidly growing application areas of systems and software modeling, including intelligent synthetic characters, human-machine interface, menu generators, user acceptance analysis, picture archiving and software systems. Students, research scholars, academicians, scientists and industry practitioners will benefit from the book as it provides better insights into modern related global trends, issues and practices.
- Provides software reliability modeling, simulation and optimization
- Offers methodologies, tools and practical applications of reliability modeling and resources allocation
- Presents cost modeling and optimization associated with complex systems
Academia, Researcher in software engineering and information sciences working in the field of modelling. Undergraduate and Postgraduate in engineering. Professionals in research groups of large companies, Universities and Research institutes involved in the epidemiology analysis and working to fight against global outbreaks
1. Statistical analysis approach for the quality assessment of open-source software
Yoshinobu Tamura and Shigeru Yamada
2. Analytical modeling and performance evaluation of SIP signaling protocol: Analytical modeling of SIP
Nikesh Choudhary, Vandana Khaitan (nee Gupta), and Vaneeta Goel
3. An empirical validation for predicting bugs and the release time of open source software using entropy measures—Software reliability growth models
Anjali Munde
4. Risk assessment of starting air system of marine diesel engine using fuzzy failure mode and effects analysis
Rajesh S. Prabhu Gaonkar and Sunay P. Pai
5. Test scenario generator learning for model-based testing of mobile robots
Gert Kanter and Marti Ingmar Liibert
6. Testing effort-dependent software reliability growth model using time lag functions under distributed environment
Sudeept Singh Yadav, Avneesh Kumar, Prashant Johri, and J.N. Singh
7. Design and performance analysis of MIMO PID controllers for a paper machine subsystem
Niharika Varshney, Parvesh Saini, and Ashutosh Dixit
8. Network and security leveraging IoT and image processing: A quantum leap forward
Ajay Sudhir Bale, S. Saravana Kumar, S. Varun Yogi, Swetha Vura, R. Baby Chithra, N. Vinay, and P. Pravesh
9. Modeling software patching process inculcating the impact of vulnerabilities discovered and disclosed
Deepti Aggrawal, Jasmine Kaur, and Adarsh Anand
10. Extension of software reliability growth models by several testing-time functions
Yuka Minamino, Shinji Inoue, and Shigeru Yamada
11. A semi-Markov model of a system working under uncertainty
R.K. Bhardwaj, Purnima Sonker, and Ravinder Singh
12. Design and evaluation of parallel-series IRM system
Sridhar Akiri, P. Sasikala, Pavan Kumar Subbara, and VSS Yadavalli
13. Modeling and availability assessment of smart building automation systems with multigoal maintenance
Yuriy Ponochovniy, Vyacheslav Kharchenko, and Olga Morozova
14. A study of bitcoin and Ethereum blockchains in the context of client types, transactions, and underlying network architecture
Rohaila Naaz and Ashendra Kumar Saxena
15. High assurance software architecture and design
Muhammad Ehsan Rana and Omar S. Saleh
16. Online condition monitoring and maintenance of photovoltaic system
Neeraj Khera
17. Fault diagnosis and fault tolerance
Afaq Ahmad and Sayyid Samir Al Busaidi
18. True power loss diminution by Improved Grasshopper Optimization Algorithm
Lenin Kanagasabai
19. Security analytics
Vani Rajasekar, J Premalatha, and Rajesh Kumar Dhanaraj
20. Stochastic modeling of the mean time between software failures: A review
Gabriel Pena, Veronica Moreno, and Nestor Barraza
21. Inliers prone distributions: Perspectives and future scopes
K. Muralidharan and Pratima Bavagosai
22. Integration of TPM, RCM, and CBM: A practical approach applied in Shipbuilding industry
Rupesh Kumtekar, Swapnil Kamble, and Suraj Rane
23. Revolutionizing the internet of things with swarm intelligence
Abhishek Kumar, Jyotir Moy Chatterjee, Manju Payal, and Pramod Singh Rathore
24. Security and challenges in IoT-enabled systems
S. Kala and S. Nalesh
25. Provably correct aspect-oriented modeling with UPPAAL timed automata
Juri Vain, Leonidas Tsiopoulos, and Gert Kanter
26. Relevance of data mining techniques in real life
Palwinder Kaur Mangat and Kamaljit Singh Saini
27. D-PPSOK clustering algorithm with data sampling for clustering big data analysis
C. Suresh Gnana Dhas, N. Yuvaraj, N.V. Kousik, and Tadele Degefa Geleto
28. A review on optimal placement of phasor measurement unit (PMU)
Ashutosh Dixit, Arindam Chowdhury, and Parvesh Saini
29. Effective motivational factors and comprehensive study of information security and policy challenges
M. Arvindhan
30. Integration of wireless communication technologies in internet of vehicles for handover decision and network selection
Shaik Mazhar Hussain, Kamaludin Mohamad Yusof, Afaq Ahmad, and Shaik Ashfaq Hussain
31. Modeling HIV-TB coinfection with illegal immigrants and its stability analysis
Rajinder Sharma
- Edition: 1
- Latest edition
- Published: February 21, 2022
- Language: English
PJ
Prashant Johri
Dr. Prashant Johri is a Professor in the School of Computing Science & Engineering, Galgotias University, Greater Noida, India. He received his B.Sc.(H) and M.C.A. from Aligarh Muslim University, Aligarh, and a Ph.D. in Computer Science from Jiwaji University, Gwalior, India. He has also worked as a Professor and Director (M.C.A.), Galgotias Institute of Management and Technology (G.I.M.T.), and Noida Institute of Engineering and Technology (N.I.E.T.) Greater Noida. He has served as Chair in many conferences and affiliated as a member of the program committee in many conferences in India and abroad. He has supervised 10 PhD students and many PG and U G Students for their theses and projects. He has published over 200 scientific articles, including journal papers, book chapters, and conference papers. He has published many edited books with reputable publications. He has organized several conferences/Workshops/Seminars at the national and international levels. He voluntarily served as a reviewer for various International Journals and conferences. His research interests include Artificial Intelligence, Machine Learning, Data Science, Blockchain, Healthcare, Agriculture, Entrepreneurship, Sustainable Development, Image Processing, Software Reliability, and Cloud Computing. He is actively publishing in these areas.
Affiliations and expertise
Professor, School of Computing Science & Engineering, Galgotias University, Greater Noida, IndiaAA
Adarsh Anand
Dr. Adarsh Anand did his Ph.D. in the area of Operational Research. Presently he is working as an Assistant Professor in the Department of Operational Research, University of Delhi (INDIA). He has been conferred with Young Promising Researcher in the field of Technology Management and Software Reliability by Society for Reliability Engineering, Quality and Operations Management in 2012. He is a lifetime member of the Society for Reliability Engineering, Quality and Operations Management. He is also on the editorial board of International Journal of Mathematical, Engineering and Management Sciences. He has edited two books entitled “System reliability Management: Solutions & Technologies” and “Recent Advancements in Software Reliability Assurance”; both by CRC Press Taylor & Francis Group. He has Guest edited several Special Issues for Journals of international repute. His research interest includes software reliability growth modelling, modelling innovation adoption and successive generations in marketing, and social network analysis.
Affiliations and expertise
Assistant Professor, Departmetn of Operational Research, University of Delhi, New Delhi, IndiaJV
Juri Vain
Prof. Juri Vain graduated in System Engineering from Tallinn Polytechnic Institute, Estonia in 1979. He received his PhD in computer science from the Institute of Cybernetics at Estonian Academy of Sciences in 1987. Currently, he is Tenure Professor of Formal Methods at the Department of Software Science, Tallinn University of Technology. His research interests include formal methods, model-based testing, cyber physical systems, human-computer interaction, autonomous robotics, and artificial intelligence. He has been leading researcher in several international projects under EU framework programs and Centre of Excellence on Human Adaptive Mechatronics at Tokyo Denki University. He has published 200 scientific articles including journal papers, book chapters and conference papers. He has been invited speaker at many international conferences and summer schools. Under his supervision 8 PhD thesis and more than 20 MSc thesis have been defended. He is teaching formal methods, model-based testing and constraint logic programming
Affiliations and expertise
Tenure Professor of Formal Methods, Department of Software Science, Tallinn University of Technology, Tallinn, EstoniaJS
Jagvinder Singh
Dr. Jagvinder Singh is an Assistant Professor at USME, DTU East Campus. He has completed his Ph.D (Operations Research) as well as M.sc (Operations Research) from University of Delhi (D.U). He has more than 8 years of teaching experience at University of Delhi in teaching the students of graduation as well as post graduation level. He has more than 30 research papers published to his credit at various reputed national as well as international journals some of them are published by renowned publishing houses such as Elsevier, Emerald, Taylor &Francis, Springer etc. His area of specialization is Mathematical Modelling in software reliability and management sciences. He is also involved as a supervisor and is guiding 4 of his research scholars.
Affiliations and expertise
Assistant Professor, USME, DTU East Campus, IndiaMQ
Mohammad Tabrez Quasim
Dr.Mohammd Tabrez Quasim received his Ph.D ( Computer Science) from Tilkamanjhi Bhagalpur University and M.C.A. from Punjab Technical University, Punjab, India. Presently he is working as Assistant Professor at University of Bisha, Saudi Arabia. His research interests include but are not limited to IOT, Big Data, Cloud Computing, Blockchain, Wireless Sensors Networks. He has more than 10 year of experience in his research area. He has published many journal articles, Edited Book, Book Chapters and conference papers in various internationally recognized academic databases. He is contributing to the research community by various volunteer activities in the capacity of editor for many journal and conference chair in various reputed IEEE/Springer.
Affiliations and expertise
Assistant Professor, Univeristy of Bisha, Saudi ArabiaRead System Assurances on ScienceDirect