Binary Information Press
UML sequence diagram has been widely used in modeling and analysis of various systems. However, its classic semantics is not suitable for safety-critical systems because it is designed for software systems initially. Moreover, due to its lack of formal semantics, it doesn't ensure correctness and reliability. Therefore, this paper is designed to adapt classic sequence diagram to safety-critical systems and provide a formal semantic for the adapted sequence diagram. Furthermore, a case study is illuminated to present the use of the adapted sequence diagram.