Amol Saxena's Books

Development of Safety-Critical Systems

Architecture and Software

By: Gopinath Karmakar,Amol Wakankar,Ashutosh Kabra,Paritosh Pandya

Write a review Read reviews Take a Quiz Solve Book Puzzle

Development of Safety-Critical Systems

Architecture and Software

By: Gopinath Karmakar,Amol Wakankar,Ashutosh Kabra,Paritosh Pandya

This book provides professionals and students with practical guidance for the development of safety-critical computer-based systems. It covers important aspects ranging from complying with standards and guidelines to the necessary software development process and tools, and also techniques pertaining to model-based application development platforms as well as qualified programmable controllers. After a general introduction to the book’s topic in chapter 1, chapter 2 discusses dependability aspects of safety systems and how architectural design at the system level helps deal with failures and yet achieves the targeted dependability attributes. Chapter 3 presents the software development process which includes verification and validation at every stage, essential to the development of software for systems performing safety functions. It also explains how the process helps in developing a safety case that can be independently verified and validated. The subsequent chapter 4 presents some important standards and guidelines, which apply to different industries and in different countries. Chapter 5 then discusses the steps towards complying with the standards at every phase of development. It offers a guided tour traversing the path of software qualification by exploring the necessary steps towards achieving the goal with the help of case studies. Chapter 6 highlights the application of formal methods for the development of safety systems software and introduces some available notations and tools which assist the process. Finally, chapter 7 presents a detailed discussion on the importance and the advantages of qualified platforms for safety systems application development, including programmable controller (PLC) and formal model-based development platforms. Each chapter includes case studies illustrating the subject matter. The book is aimed at both practitioners and students interested in the art and science of developing computer-based systems for safety-critical applications. Both audiences will get insights into the tools and techniques along with the latest developments in the design, analysis and qualification, which are constrained by the regulatory and compliance requirements mandated by the applicable guides and standards. It also addresses the needs of professionals and young graduates who specialize in the development of necessary tools and qualified platforms.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

373

Publisher

Springer Nature

Published Date

ISBN 10

3031279018

ISBN 13

9783031279010

Research in English Language Education in Indian Universities: A Directory

By: Amol Padwad

Write a review Read reviews Take a Quiz Solve Book Puzzle

Research in English Language Education in Indian Universities: A Directory

By: Amol Padwad

This directory is the first ever compilation of bibliographic data of research in English language education (ELE) from over 80 universities of India in the last 30 years. It covers particularly the theses and dissertations in ELE in Indian universities. The data consists of over a thousand entries, which can be searched in various ways - by keywords, levels of learners, geographical areas, universities or authors. In most cases, links are also provided to locate particular works in the libraries of respective universities. The book will be useful to those interested in studying the developments in English language education in India and those who wish to undertake research in ELE themselves.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

194

Publisher

Lulu.com

Published Date

ISBN 10

131241684X

ISBN 13

9781312416840

Proceedings of the 2nd National Conference on Emerging Trends in Information Technology (eIT-2007)

By: Amol C. Goje,Pravin L. Yannawar

Write a review Read reviews Take a Quiz Solve Book Puzzle

Proceedings of the 2nd National Conference on Emerging Trends in Information Technology (eIT-2007)

By: Amol C. Goje,Pravin L. Yannawar

Information Technology skill standards provide a common language for industry and education. It provides increased portability depending on attitude and performance of the professionals. The industry recognizes IT education programs that build competency among the students to perform the best in the new emerging trends in Information Technology. like Human Computer Interactions, Biometrics, Bioinformatics, Signal Processing. So this conference is organized to bring together leading academicians, industry experts and researchers in the area of emerging trends in Information Technology and facilitate personal interaction and discussions on various aspects of Information Technology. It also aims to provide a platform for the post-graduate students and research students to express their views about the emerging trends in Information Technology with interaction and exchange of ideas among the researchers and students from allover India. With this focus Technical/research papers are invitedfrom the students of MCA/ M.Sc (CS) / M.Sc.(IT)/ MCM and research students on the following topics. Biometrics Data Communication and Security Digital Image and Image Processing Human Computer Interaction Internet Technologies and Service Oriented Architecture Artificial Intelligence and Its Applications

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

358

Publisher

I. K. International Pvt Ltd

Published Date

ISBN 10

818986663X

ISBN 13

9788189866631

International Advances in Foot and Ankle Surgery

By: Amol Saxena

Write a review Read reviews Take a Quiz Solve Book Puzzle

International Advances in Foot and Ankle Surgery

By: Amol Saxena

A comprehensive textbook of some of the most common and difficult to deal with pathologies. The first truly international, multidisciplinary manual of foot and ankle surgery by the specialty’s leaders and most experienced surgeons. The management of various conditions in the foot and ankle will be approached by authors in different parts of the world. Authors will be invited to provide radiographs, diagrams, and intra-operative pictures to illustrate the procedures described. Current up to date trends and techniques using a scientific approach including evidence based guidelines where applicable. The reader will be exposed to a step-by-step approach to each procedure presented. No outcome research has been performed in this area, and the book may serve as a reference in this respect.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

539

Publisher

Springer Science & Business Media

Published Date

ISBN 10

0857296094

ISBN 13

9780857296092

Book's by Amol Saxena

Development of Safety-Critical Systems

Development of Safety-Critical Systems

Research in English Language Education in Indian Universities: A Directory

Research in English Language Education in Indian Universities: A Directory

Proceedings of the 2nd National Conference on Emerging Trends in Information Technology (eIT-2007)

Proceedings of the 2nd National Conference on Emerging Trends in Information Technology (eIT-2007)

International Advances in Foot and Ankle Surgery

International Advances in Foot and Ankle Surgery

Username

Password

Username

Password

Password again

Birthday

Email