Advances in Cyber Security and Intelligent Analytics

Chapter 12Ensuring liveliness property in safety-critical systems

Ankur Maurya, Sharad Nigam, and Divya Kumar

DOI: 10.1201/9781003269144-12

CONTENTS

• 12.1 Introduction

• 12.2 Related work

• 12.3 Preliminaries

  • 12.3.1 Failure mode and effect analysis

  • 12.3.2 Fault tree analysis

  • 12.3.3 Markov process

  • 12.3.4 Petri net

• 12.4 Proposed methodology

  • 12.4.1 Requirement analysis

  • 12.4.2 Validity

  • 12.4.3 Petri net analysis

  • 12.4.4 Reachability graph

• 12.5 Conclusion

• References

12.1 INTRODUCTION

Safety-critical systems are those systems, the malfunctioning or failure of which can create serious issues such as death or critical injury, economical loss or environmental damage [1]. The examples of safety-critical systems are blowout preventer [2], nuclear power ...