Architectural model driven dependability analysis of computer based safety system in nuclear power plant

Autor: Wakankar, Amol, Kabra, Ashutosh, Bhattacharjee, A.K., Karmakar, Gopinath

Publikováno v: In Nuclear Engineering and Technology April 2019 51(2):463-478

A review of defences against common cause failures in reactor protection systems.

Autor: Kumar, Manoj, Kabra, Ashutosh, Karmakar, G., Marathe, P.P

Publikováno v: 2015 4th International Conference on Reliability, Infocom Technologies & Optimization (ICRITO) (Trends & Future Directions); 2015, p1-6, 6p

Design, development and qualification of class IB software: A case study.

Autor: Nirgude, Yogesh, Kabra, Ashutosh, Karmakar, Gopinath

Publikováno v: 2015 International Conference on Industrial Instrumentation & Control (ICIC); 2015, p800-805, 6p

Energy-aware thermal comfort-band maintenance scheduling under peak power constraint.

Autor: Karmakar, Gopinath, Kabra, Ashutosh

Publikováno v: 2013 IEEE Recent Advances in Intelligent Computational Systems (RAICS); 2013, p122-127, 6p

Formalization of sequential function chart as synchronous model in LUSTRE.

Autor: Kabra, Ashutosh, Bhattacharjee, Anup, Karmakar, G., Wakankar, Amol

Publikováno v: 2012 3rd National Conference on Emerging Trends & Applications in Computer Science; 1/ 1/2012, p115-120, 6p