Search for dissertations about: "Runtime Monitoring"

Showing result 1 - 5 of 27 swedish dissertations containing the words Runtime Monitoring.

  2. 1. Runtime Monitoring of Automated Driving Systems

    Author : Ayhan Mehmed; Sasikumar Punnekkat; Aida Causevic; Hans Hansson; Daniel Watzening; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Runtime Monitoring; Automated Driving Systems; Computer Science; datavetenskap;

    Abstract : It is the period of the World's history, where the technological progress reached a level that enables the first steps towards the development of vehicles with automated driving capabilities. The swift response from the significant portion of the industry resulted in a race, the final line set at the introduction of vehicles with full automated driving capabilities. READ MORE

  4. 2. Inlined Reference Monitors : Certification,Concurrency and Tree Based Monitoring

    Author : Andreas Lundblad; Mads Dam; Gul Agha; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Runtime monitoring; policy enforcement; tree automata; monitor inlining; certification; concurrency;

    Abstract : Reference monitor inlining is a technique for enforcing security policies by injecting security checks into the untrusted software in a style similar to aspect-oriented programming. The intention is that the injected code enforces compliance with the policy (security), without adding behavior (conservativity) or affecting existing policy compliant behavior (transparency). READ MORE

  5. 3. Runtime Monitoring for Safe Automated Driving Systems

    Author : Ayhan Mehmed; Sasikumar Punnekkat; Michael Paulitsch; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Abstract : Mass-produced passenger vehicles are one of the greatest inventions of the 20th century that significantly changed human lives. Several safety measures such as traffic signs, traffic lights, mandatory driver education, seat belts, airbags, and anti-lock braking systems were introduced throughout the years. READ MORE

  6. 4. Unified Static and Runtime Verification of Object-Oriented Software

    Author : Mauricio Chimento; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Runtime Verification; Java; Static Verification; Formal Methods;

    Abstract : At the time of verifying software one can make use of several verification techniques. These techniques mostly fall in one of two categories: Static Verification and Dynamic Verification. READ MORE

  7. 5. Autonomous cloud resource provisioning : accounting, allocation, and performance control

    Author : Ewnetu Bayuh Lakew; Erik Elmroth; Hiaohui (Helen) Gu; Umeå universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; cloud computing; distributed infrastructure; monitoring; accounting; performance modeling; service differentiation; business data processing; administrativ databehandling;

    Abstract : The emergence of large-scale Internet services coupled with the evolution of computing technologies such as distributed systems, parallel computing, utility computing, grid, and virtualization has fueled a movement toward a new resource provisioning paradigm called cloud computing. The main appeal of cloud computing lies in its ability to provide a shared pool of infinitely scalable computing resources for cloud services, which can be quickly provisioned and released on-demand with minimal effort. READ MORE