Essays about: "timeliness properties"

Found 5 essays containing the words timeliness properties.

1. 1. ROBOREBECA: A NEWFRAMEWORK TO DESIGN VERIFIED ROS-BASED ROBOTIC PROGRAMS

   University essay from Mälardalens högskola/Akademin för innovation, design och teknik

   Author : Saeid Dehnavi; [2019]
   Keywords : ;

   Abstract : Robotic technology helps humans in different areas such as manufacturing, health care and educa-tion. Due to the ubiquitous revolution, today’s focus is on mobile robots and their applications in avariety of cyber-physical systems. READ MORE

3. 2. Analysis of Time-related Properties in Real-time Data Aggregation Design

   University essay from Mälardalens högskola/Akademin för innovation, design och teknik

   Author : xiaoxiang hu; [2018]
   Keywords : data aggregation; UML; task model; timeliness properties; schedulability; feasibility analyses.;

   Abstract : Data aggregation is extensively used in data management systems nowadays. Based on a data aggregation taxonomy named DAGGTAX, we propose an analytic process to evaluate the run-time platform and time-related parameters of Data Aggregation Processes (DAP) in a real-time system design, which can help designers to eliminate infeasible design decisions at early stage. READ MORE

4. 3. Model checking transaction properties for concurrent real-time transactions in UPPAAL

   University essay from Mälardalens högskola/Inbyggda system

   Author : Jinle Li; [2016]
   Keywords : Real-time transaction management; MVCC; model-checking; timeliness; isolation;

   Abstract : As a technique to ensure absence of undesired interference in transactional computations, Concurrency Control (CC) guarantees logical data consistency via providing transaction isolation, thus contributing to their dependability. However, single-version CC, which requires that a transaction system always works on the current version of a data item, may introduce unpredictable delays for real-time transactions because of unbounded blocking time which may cause deadline misses. READ MORE

5. 4. Instrumentation of timed automata for formal verification of timed properties

   University essay from Institutionen för datavetenskap

   Author : Mikael Hagman; [2007]
   Keywords : Embedded systems; formal verification; Petri Net; PRES ; Timed Automata;

   Abstract : Embedded systems are used in many technical products of today. The tendency also points to the fact that they are in many ways becoming more and more complex as technology advances. Systems like advanced avionics, air bags, ABS brakes or any real-time embedded system requires reliability, correctness and timeliness. READ MORE

6. 5. Automated Selective Test Case Generation Methods for Real-Time Systems

   University essay from Institutionen för datavetenskap

   Author : Robert Nilsson; [2000]
   Keywords : Test Case Generation; Real-Time; Automation; Timeliness;

   Abstract : This work aims to investigate the state of the art in test case generation for real-time systems, to analyze existing methods, and to propose future research directions in this area. We believe that a combination of design for testability, automation, and sensible test case selection is the key for verifying modern real-time systems. READ MORE