Designing Safe, Reliable Systems Using Scade

@inproceedings{Abdulla2004DesigningSR,
  title={Designing Safe, Reliable Systems Using Scade},
  author={Parosh Aziz Abdulla and Johann Deneux and Gunnar St{\aa}lmarck and Herman {\AA}gren and Ove {\AA}kerlund},
  booktitle={ISoLA},
  year={2004}
}
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers design safe and reliable systems. Systems are reliable if they keep operating safely when components fail. Our tool is at the core of the Scade Design Verifier integrated within Scade, a product developed by Esterel Technologies. Scade includes a graphical interface to build formal models in the synchronous data-flow… CONTINUE READING
Highly Cited
This paper has 80 citations. REVIEW CITATIONS
52 Citations
19 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 52 extracted citations

80 Citations

051015'07'10'13'16
Citations per Year
Semantic Scholar estimates that this publication has 80 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…