Safety property analysis techniques for cooperating embedded systems using LTS

Authors:
Woo Jin Lee;Ho-Jun Kim;Heung Seok Chae
Affiliations:
EECS, Kyungpook National University, Daegu, South Korea;EECS, Kyungpook National University, Daegu, South Korea;Department of Computer Science and Engineering, Pusan National University, Busan, South Korea
Venue:
SEUS'07 Proceedings of the 5th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Year:
2007

Citing 14
Cited 0

Task interaction graphs for concurrency analysis

ICSE '89 Proceedings of the 11th international conference on Software engineering
Compositional reachability analysis using process algebra

TAV4 Proceedings of the symposium on Testing, analysis, and verification
Automated Analysis of Concurrent Systems with the Constrained Expression Toolset

IEEE Transactions on Software Engineering
Data flow analysis for verifying properties of concurrent programs

SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
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)
Symbolic Model Checking

Symbolic Model Checking
Communication and Concurrency

Communication and Concurrency
Machines, Languages and Computation

Machines, Languages and Computation
Tractable Dataflow Analysis for Distributed Systems

IEEE Transactions on Software Engineering
Winston: A Toll for Hierarchical Design and Simulation of Concurrent Systems

Proceedings of the BCS-FACS Workshop on Specification and Verification of Concurrent Systems
Putting Advanced Reachability Analysis Techniques Together: the "ARA" Tool

FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties

CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification
An incremental approach to reachability analysis of distributed programs

IWSSD '93 Proceedings of the 7th international workshop on Software specification and design

Quantified Score

Hi-index	0.00

Visualization

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.