Essays about: "Esterel"

Found 1 essay containing the word Esterel.

  1. 1. A tool for automatic formal analysis of fault tolerance

    University essay from Institutionen för datavetenskap

    Author : Markus Nilsson; [2005]
    Keywords : Dependability; Fault Tolerance; Esterel; Formal Verification; System Safety;

    Abstract : The use of computer-based systems is rapidly increasing and such systems can now be found in a wide range of applications, including safety-critical applications such as cars and aircrafts. To make the development of such systems more efficient, there is a need for tools for automatic safety analysis, such as analysis of fault tolerance. READ MORE