Handling Runtime Monitoring Overhead - Christian Colombo from monitors in java Watch Video
Preview(s):
Gallery
Play Video: (Note: The default playback of the video is HD VERSION. If your browser is buffering the video slowly, please play the REGULAR MP4 VERSION or Open The Video below for better experience. Thank you!)
⏲ 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
Play Video: (Note: The default playback of the video is HD VERSION. If your browser is buffering the video slowly, please play the REGULAR MP4 VERSION or Open The Video below for better experience. Thank you!)