Safety issues of cooperating embedded systems are very important since they are closely related to our living. In this research, modeling techniques and safety analysis techniques for cooperating embedded systems are provided. Behaviors of embedded systems and safety properties are described by Labeled Transition Systems (LTS). For convenient and effective analysis, we provide a slicing method of the state space of a system according to a property. Based on the slice models, we provided an equivalence algorithm of LTS models and a compositional analysis technique of safety properties. © IHP International Federation for information Processing 2007.
CITATION STYLE
Lee, W. J., Kim, H. J., & Chae, H. S. (2007). Safety property analysis techniques for cooperating embedded systems using LTS. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4761 LNCS, pp. 114–124). Springer Verlag. https://doi.org/10.1007/978-3-540-75664-4_12
Mendeley helps you to discover research relevant for your work.