Model checking Trampoline OS: a case study on safety analysis for automotive software

2012 ◽  
Vol 24 (1) ◽  
pp. 38-60 ◽  
Author(s):  
Yunja Choi
Keyword(s):  
Model Checking ◽  
Safety Analysis ◽  
Automotive Software

Efficient Safety Analysis of Automotive Software Systems

2009 ◽  
Vol 2 (1) ◽  
pp. 258-270 ◽  
Author(s):  
Mario Trapp ◽  
Soeren Kemmann ◽  
Ralf Kalmar ◽  
Christian Denger
Keyword(s):  
Safety Analysis ◽  
Software Systems ◽  
Automotive Software

Verification of Medical Guidelines by Model Checking – A Case Study

2006 ◽  
pp. 219-233 ◽  
Author(s):  
Simon Bäumler ◽  
Michael Balser ◽  
Andriy Dunets ◽  
Wolfgang Reif ◽  
Jonathan Schmitt
Keyword(s):  
Model Checking ◽  
Medical Guidelines

scholarly journals Road safety analysis using multi criteria approach: A case study in India

2017 ◽  
Vol 25 ◽  
pp. 4649-4661 ◽  
Author(s):  
Shalini Kanuganti ◽  
Ruchika Agarwala ◽  
Bhupali Dutta ◽  
Pooja N. Bhanegaonkar ◽  
Ajit Pratap Singh ◽  
...  
Keyword(s):  
Road Safety ◽  
Safety Analysis

Reliability analysis and safety model checking of Safety-Critical and control Systems: A case study of NPP control system

2022 ◽  
Vol 166 ◽  
pp. 108812
Author(s):  
Vinay Kumar ◽  
Kailash Chandra Mishra ◽  
Pooja Singh ◽  
Aditya Narayan Hati ◽  
Mohan Rao Mamdikar ◽  
...  
Keyword(s):  
Control System ◽  
Model Checking ◽  
Reliability Analysis ◽  
Control Systems ◽  
Safety Critical ◽  
And Control
Sign in / Sign up

Export Citation Format

Share Document