Handling Runtime Monitoring Overhead - Christian Colombo from monitors in java Watch Video

⏲ Duration: 33 min 36 sec
✓ Published: 09-Sep-2011

Description:
In view of non-scalable model checking, non-exhaustive testing, andncomplex software systems, runtime monitoring offers an additionalnlayer of security, enabling error detection and correction at runtime.nRuntime monitoring involves the specification and synthesis ofnsoftware properties into automatically instrumentable monitors. Thendrawback of employing software monitors is the overhead they induce,npossibly leading to undesirable effects such as slowed down software.nAlthough impossible to el