Search for dissertations about: "formal specification"

Showing result 1 - 5 of 79 swedish dissertations containing the words formal specification.

  1. 1. Formal Specification and Verification of Safety-Critical Software

    Author : Daniel Larsson; [2006]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; fault injection; fault tolerance; safety-critical; dependability; formal verification; Formal specification;

    Abstract : This thesis is about formal specification and formal verification of software and consists of three different parts. In the first two parts, the formal specification language OCL is treated in two different contexts. The third part describes a technique for analysing the consequences of hardware faults as part of formal software verification. READ MORE

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

    Author : Wojciech Mostowski; [2005]
    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

  3. 3. Pattern-based Specification and Formal Analysis of Embedded Systems Requirements and Behavioral Models

    University dissertation from Mälardalen University Press

    Author : Predrag Filipovikj; Mälardalens högskola.; [2017]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; pattern-based formal requirements specification; formal requirements consistency analysis; formal analysis of Simulink models; Computer Science; datavetenskap;

    Abstract : Since the first lines of code were introduced in the automotive domain, vehicles have transitioned from being predominantly mechanical systems to software intensive systems. With the ever-increasing computational power and memory of vehicular embedded systems, a set of new, more powerful and more complex software functions are installed into vehicles to realize core functionalities. READ MORE

  4. 4. Specification Decomposition and Formal Behavior Generation in Multi-Robot Systems

    University dissertation from Stockholm : KTH Royal Institute of Technology

    Author : Philipp Schillinger; KTH.; [2017]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; ltl; robot; robotics; multi-agent; behavior synthesis; formal methods; decomposition; high-level planning; multi-objective search; resource constraints; Electrical Engineering; Elektro- och systemteknik;

    Abstract : While autonomous robot systems are becoming increasingly common, their usage is still mostly limited to rather simple tasks. This primarily results from the need for manually programming the execution plans of the robots. Instead, as shown in this thesis, their behavior can be automatically generated from a given goal specification. READ MORE

  5. 5. Specification Decomposition and Formal Behavior Generation in Multi-Robot Systems

    University dissertation from KTH Royal Institute of Technology

    Author : Philipp Schillinger; KTH.; [2019]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Multi-Robot Systems; Linear Temporal Logics; LTL; Robotics; Behavior Synthesis; Constrained Planning; Planning under Uncertainty; Multi-Agent Planning; Task Allocation; Mission Decomposition; Formal Methods; Electrical Engineering; Elektro- och systemteknik;

    Abstract : Autonomous robot systems are becoming increasingly common in service applications and industrial scenarios. However, their use is still mostly limited to rather simple tasks. This primarily results from the considerable effort that is required to manually program the execution plans of the robots. READ MORE