Enhanced compositional safety analysis for distributed embedded systems using LTS equivalence

Authors:
Hui Guo;Youngsul Shin;Woo Jin Lee
Affiliations:
School of Electrical Engineering and Computer Science, Kyungpook National University, Buk-gu, Daegu, South Korea;School of Electrical Engineering and Computer Science, Kyungpook National University, Buk-gu, Daegu, South Korea;School of Electrical Engineering and Computer Science, Kyungpook National University, Buk-gu, Daegu, South Korea
Venue:
ACOS'07 Proceedings of the 6th Conference on WSEAS International Conference on Applied Computer Science - Volume 6
Year:
2007

Citing 8
Cited 0

Context constraints for compositional reachability analysis

ACM Transactions on Software Engineering and Methodology (TOSEM)
Checking safety properties using compositional reachability analysis

ACM Transactions on Software Engineering and Methodology (TOSEM)
Communication and Concurrency

Communication and Concurrency
Tractable Dataflow Analysis for Distributed Systems

IEEE Transactions on Software Engineering
Synthesis of Behavioral Models from Scenarios

IEEE Transactions on Software Engineering
Behaviour Analysis of Software Architectures

WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Compatibility Verification for Web Service Choreography

ICWS '04 Proceedings of the IEEE International Conference on Web Services
Generating Annotated Behavior Models from End-User Scenarios

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.01

Visualization

Abstract

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.