Search for dissertations about: "correctness check"

Showing result 1 - 5 of 14 swedish dissertations containing the words correctness check.

2. 1. 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

4. 2. Correctness and Safety in Planning and Control via State-Space Partitions and Barrier Functions

   Author : Xiao Tan; Dimos V. Dimarogonas; Samuel Coogan; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Dynamical systems; Control barrier functions; Optimeringslära och systemteori; Optimization and Systems Theory;

   Abstract : Autonomous systems have become increasingly prevalent in various industries, ranging from household cleaning robots to line inspection drones and copilot vehicles. Ensuring real-time safety is becoming a critical issue when the environment is rapidly changing. READ MORE

5. 3. Parameterized Verification of Synchronized Concurrent Programs

   Author : Zeinab Ganjei; Ahmed Rezine; Petru Ion Eles; Zebo Peng; Alastair Donaldson; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : There is currently an increasing demand for concurrent programs. Checking the correctness of concurrent programs is a complex task due to the interleavings of processes. Sometimes, violation of the correctness properties in such systems causes human or resource losses; therefore, it is crucial to check the correctness of such systems. READ MORE

6. 4. Systematic Design and Analysis of Customized Data Management for Real-Time Database Systems

   Author : Simin Cai; Cristina Seceleanu; Barbara Gallina; Dag Nyström; Marieke Huisman; Mälardalens högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

   Abstract : Modern real-time data-intensive systems generate large amounts of data that are processed using complex data-related computations such as data aggregation. In order to maintain logical data consistency and temporal correctness of the computations, one solution is to model the latter as transactions and manage them using a Real-Time Database Management System (RTDBMS). READ MORE

7. 5. Maintaining data consistency in embedded databases for vehicular systems

   Author : Thomas Gustafsson; Jörgen Hansson; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Engine control software; real-time; embedded applications; metainformation; algorithms; Performance evaluations; HP2PL; OCC; Computer science; Datavetenskap;

   Abstract : The amount of data handled by real-time and embedded applications is increasing. This calls for data-centric approaches when designing embedded systems, where data and its metainformation (e.g., temporal correctness requirements) are stored centrally. READ MORE