@inproceedings{27d5a0e8053c46feaa4e3ad5b56b0e67,
title = "Safety property analysis techniques for cooperating embedded systems using LTS",
abstract = "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.",
keywords = "Embedded system, LTS, Safety property analysis, Slice model",
author = "Lee, {Woo Jin} and Kim, {Ho Jun} and Chae, {Heung Seok}",
year = "2007",
doi = "10.1007/978-3-540-75664-4_12",
language = "English",
isbn = "9783540756637",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "114--124",
editor = "Roman Obermaisser and Peter Puschner and Yunmook Nah and Peter Rammig",
booktitle = "Software Technologies for Embedded and Ubiquitous Systems - 5th IFIP WG 10.2 International Workshop, SEUS 2007, Revised Papers",
address = "Germany",
note = "5th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems, SEUS 2007 ; Conference date: 07-05-2007 Through 08-05-2007",
}