Sökning: "Esterel"

Hittade 2 uppsatser innehållade ordet Esterel.

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

   Uppsats för yrkesexamina på grundnivå, Institutionen för datavetenskap

   Författare :Markus Nilsson; [2005]
   Nyckelord :Dependability; Fault Tolerance; Esterel; Formal Verification; System Safety;

   Sammanfattning : 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. LÄS MER

3. 2. Analysis of Intent Specification and SystemUpgrade Traceability

   Uppsats för yrkesexamina på grundnivå, Institutionen för datavetenskap

   Författare :Jonas Elmqvist; [2003]
   Nyckelord :Datalogi; Intent Specification; SpecTRM; Traceability; Verification; Component-Based Systems Engineering; Datalogi;

   Sammanfattning : The impact of computer programs in safety-critical systems has increased in the past decades and computer-based systems can now be found in a wide range of applications. A new approach for developing dependable systems is documenting all design rationale that affects safety using Intent Specifications. LÄS MER