Search for dissertations about: "formal specification"

Showing result 6 - 10 of 100 swedish dissertations containing the words formal specification.

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

   Author : Philipp Schillinger; Dimos V. Dimarogonas; Mathias Bürger; Stephen L. Smith; KTH; []
   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

4. 7. Verification Based Failure Detection for Real-Time Java and Floating-Point Computations

   Author : Gabriele Paganelli; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Debugging; Floating-Point; Formal Methods; Testing; Real-Time Java; Coverage; Satisfiability Modulo Theories; Certification; Formal Specification;

   Abstract : To err is human, and machines help us avoiding errors. This thesis presents two ways, based on verification technology, to prevent failures.Safety critical Real-Time Java applications usually need a certification. Tests fulfilling specific coverage criteria can be part of such certification, like in the DO-178 standard. READ MORE

5. 8. On Formal Specification and Verification of Function Block Applications in Industrial Control Logic Development

   Author : Oscar Ljungkrantz; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; safety logic; function block; IEC 61131; software requirements and specification; formal verification; reusable automation component RAC ; temporal logic; manufacturing automation software; programmable logic controller PLC ; model checking;

   Abstract : Developing a control system for an automated manufacturing system is a challenging task. In addition to controlling and coordinating the machines and robots used in the production, the safety of the operators must be assured. READ MORE

6. 9. Specification of Resource Allocation Systems; a STEP towards a unified framework

   Author : Petter Falkman; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Flexible manufacturing systems; supervisory control theory; supervis synthesis; specification; Resource allocation systems;

   Abstract : In recent years growing demands on flexibility and ability to decrease time to market has made it increasingly important for engineering companies to find ways of making information exchange between product design and manufacturing systems design more efficient. A much shortened iteration cycle could be obtained ifinformation about product design solutions could be made instantly available for engineers involved in manufacturing systems design. READ MORE

7. 10. Formal specification of object-oriented modelling concepts

   Author : Gunnar Övergaard; KTH; []
   Keywords : ;

   Abstract : .... READ MORE