Enhanced compositional safety analysis for distributed embedded systems using LTS equivalence
Hui Guo, Youngsul Shin, Woo Jin Lee · ACOS'07 Proceedings of the 6th Conference on WSEAS International Conference on Applied Computer Science - Volume 6 · 2007
Real-time systems such as aeronautic systems, medical systems, and nuclear power plant systems are generally operated in a standalone mode. In the home network and ubiquitous computing systems, integrated services related with several embedded systems are focused, which is called distributed embedded systems. Safety issues of distributed embedded systems are very important since they are closely related to our living. In this research, distributed embedded systems and its safety properties are described by Labeled Transition Systems (LTS). For efficiently checking safety issues, we enhance the existing compositional safety analysis technique [10] using LTS equivalence concept.