Search for dissertations about: "formal"

Showing result 6 - 10 of 1257 swedish dissertations containing the word formal.

2. 6. Formal Development of Safe and Secure Java Card Applets

   Author : Wojciech Mostowski; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; object-oriented design; Java Card; formal verification; formal specification; dynamic logic;

   Abstract : This thesis is concerned with formal development of Java Card applets. Java Card is a technology that provides a means to program smart cards with (a subset of) the Java language. In recent years Java Card technology gained great interest in the formal verification community. There are two reasons for this. READ MORE

4. 7. Correct-by-Construction Tactical Planners for Automated Cars

   Author : Jonas Krook; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Reactive Synthesis; tactical planning; formal verification; formal synthesis; Formal methods; Model Checking; Supervisory Control Theory.; automated cars;

   Abstract : One goal of developing automated cars is to completely free people from driving tasks. Automated cars that require no human driver need to handle all traffic situations that a human driver is expected to handle, and possibly more. READ MORE

5. 8. Towards Development of Safe and Secure Java Card Applets

   Author : Wojciech Mostowski; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; formal methods; Java; formal specification; object-oriented development; formal verification; Dynamic Logic; UML; OCL; Java Card;

   Abstract : This thesis is concerned with different aspects of Java Card application development and use of formal methods in the Java Card world. Java Card is a technology that provides means to program smart (chip) cards with (a subset of) the Java language. READ MORE

6. 9. Formal Approaches to Service-oriented Design : From Behavioral Modeling to Service Analysis

   Author : Aida Čaušević; Paul Pettersson; Jonathan P. Bowen; Mälardalens högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; service-oriented software engineering; formal modeling; service-oriented systems; resources; analysis; behavior; correctness check; Computer science; Datavetenskap; Computer Science; datavetenskap;

   Abstract : Service-oriented systems (SOS) have recently emerged as context-independent component-based systems. In contrast to components, services can be created, invoked, composed and destroyed at run-time. Services are assumed to be platform independent and available for use within heterogeneous applications. READ MORE

7. 10. Formal Verification of Peripheral Memory Isolation

   Author : Jonas Haglund; Roberto Guanciale; Mads Dam; Gligor Virgil; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; formal verification; interactive theorem proving; direct memory access; memory isolation; input output; formell verifiering; interaktiv datorassisterad beviskonstruktion; direkt minnesåtkomst; minnesisolering; indata utdata; Datalogi; Computer Science;

   Abstract : In many contexts, computers run both critical and untrusted software,necessitating the need for isolating critical software from untrusted software.These computers contain CPUs, memory and peripherals. READ MORE