Sökning: "Runtime monitoring"

Visar resultat 1 - 5 av 27 avhandlingar innehållade orden Runtime monitoring.

1. 1. Runtime Monitoring of Automated Driving Systems

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

   Sammanfattning : 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. LÄS MER

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

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

   Sammanfattning : 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). LÄS MER

4. 3. Runtime Monitoring for Safe Automated Driving Systems

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

   Sammanfattning : 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. LÄS MER

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

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

   Sammanfattning : 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. LÄS MER

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

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

   Sammanfattning : 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. LÄS MER