Pub Date : 2013-10-21DOI: 10.1109/AVSS.2013.6636679
Rafael Martin Nieto, J. Sanchez
This paper presents an automatic system which after a simple previous configuration is able to detect and track each one of the players on the court or field in single player sports. After that, the system is able to extract statistics and performance of the players. This system is complete, general and modular, to be improved and modified by future work. The system is based on a monocamera detection and tracking system, originally designed for video surveillance, which has been adapted for its use in the individual sports domain. Target sports of the developed system are individual sports (e.g., tennis, paddle tennis) where the players have its own side of the field.
{"title":"An automatic system for sports analytics in multi-camera tennis videos","authors":"Rafael Martin Nieto, J. Sanchez","doi":"10.1109/AVSS.2013.6636679","DOIUrl":"https://doi.org/10.1109/AVSS.2013.6636679","url":null,"abstract":"This paper presents an automatic system which after a simple previous configuration is able to detect and track each one of the players on the court or field in single player sports. After that, the system is able to extract statistics and performance of the players. This system is complete, general and modular, to be improved and modified by future work. The system is based on a monocamera detection and tracking system, originally designed for video surveillance, which has been adapted for its use in the individual sports domain. Target sports of the developed system are individual sports (e.g., tennis, paddle tennis) where the players have its own side of the field.","PeriodicalId":332995,"journal":{"name":"Advanced Video and Signal Based Surveillance","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2013-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129899207","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-08-30DOI: 10.1109/AVSS.2011.6027405
Simone de Titta, G. Gera, L. Marcenaro
Summary form only given. TENCON delegates are invited to attend the following tutorial sessions, free of charge, which will be held at the USC Engineering Audio Visual Room, University of San Carlos - Talamban Campus on November 19, 2012. Tutorial 1: Recent Advances in Robotics and Emerging Opportunities. This tutorial reviews the recent exciting developments in robotics centering on humans and operating in unstructured environments. It covers emerging trends in manufacturing, autonomous mobile robots, social robotics, and security and service applications. Current state of the art techniques to realize fundamental capabilities of robotic systems are concisely explained and challenges for research discussed. Tutorial 2: The Next Generation MIMO-OFDM Systems. This tutorial describes the VLSI implementation of our proposed 4x4 MIMO-OFDM (2.6G bps with 160MHz BW) and SxS MIMO-OFDM (3.0G bps with SOMHz BW) systems. A low-latency and a full-pipelined architecture are employed for all processing blocks to provide the real-time operations on OFDM modulation and MIMO detection. The designed transceiver has been evaluated in the circuit size and power dissipation by using a 90-nm CMOS process. In an FPGA board, the proposed total system has been implemented. For the designed system, the circuit behavior on gate size and power consumption is verified. The communication performance is also evaluated.
{"title":"VTrack: Video analytics for automatic video-surveillance","authors":"Simone de Titta, G. Gera, L. Marcenaro","doi":"10.1109/AVSS.2011.6027405","DOIUrl":"https://doi.org/10.1109/AVSS.2011.6027405","url":null,"abstract":"Summary form only given. TENCON delegates are invited to attend the following tutorial sessions, free of charge, which will be held at the USC Engineering Audio Visual Room, University of San Carlos - Talamban Campus on November 19, 2012. Tutorial 1: Recent Advances in Robotics and Emerging Opportunities. This tutorial reviews the recent exciting developments in robotics centering on humans and operating in unstructured environments. It covers emerging trends in manufacturing, autonomous mobile robots, social robotics, and security and service applications. Current state of the art techniques to realize fundamental capabilities of robotic systems are concisely explained and challenges for research discussed. Tutorial 2: The Next Generation MIMO-OFDM Systems. This tutorial describes the VLSI implementation of our proposed 4x4 MIMO-OFDM (2.6G bps with 160MHz BW) and SxS MIMO-OFDM (3.0G bps with SOMHz BW) systems. A low-latency and a full-pipelined architecture are employed for all processing blocks to provide the real-time operations on OFDM modulation and MIMO detection. The designed transceiver has been evaluated in the circuit size and power dissipation by using a 90-nm CMOS process. In an FPGA board, the proposed total system has been implemented. For the designed system, the circuit behavior on gate size and power consumption is verified. The communication performance is also evaluated.","PeriodicalId":332995,"journal":{"name":"Advanced Video and Signal Based Surveillance","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127128359","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-08-30DOI: 10.1109/AVSS.2011.6027396
P. Tu, Ting Yu, Dashan Gao, R. Nevatia, S. Lee, Hale Kim, P. Rhee, J. Baek
Summary form only given. The rapid evolution of tools and software systems to design experiments, automatically monitor, collect and warehouse large amounts of data, from applications such as life sciences and industrial processes has resulted in a new paradigm shift. This change of paradigm is so fast that some of the practices for optimization and management of these processes that were valid only 5–10 years ago may no longer be fully acceptable or sufficient for today's business optimization and management. This has a direct influence on the best practices for knowledge discovery and management of the discovered knowledge in real-world data mining applications. Establishing and managing a real-world data mining project in any domain, in particular in today's life science industry, is not a trivial task. A few approaches have been proposed in the literature. However, initiation and successful management of such efforts may depend on where a given case study fits in the overall classification of data mining approaches. Today's knowledge discovery from data can be classified in several ways: (i) data mining on engineered systems (e.g. complex equipment) or systems designed by nature (e.g. life sciences), (ii) explanatory or predictive data mining, (iii) data mining from static data (e.g. data warehouse) or dynamic data (e.g. data streams), (iv) user operated or automated data mining. There could still be other ways to classify data mining applications. This talk provides an overview of the above listed knowledge discovery applications. We provide examples where we demonstrate how small or large amounts of data, when understood from a real-world data mining point of view and the required data is properly integrated, can result in novel knowledge discovery case studies. We explain motivations and challenges of establishing real-world dat
{"title":"AVSS 2011 demo session: A systems level approach to perimeter protection","authors":"P. Tu, Ting Yu, Dashan Gao, R. Nevatia, S. Lee, Hale Kim, P. Rhee, J. Baek","doi":"10.1109/AVSS.2011.6027396","DOIUrl":"https://doi.org/10.1109/AVSS.2011.6027396","url":null,"abstract":"Summary form only given. The rapid evolution of tools and software systems to design experiments, automatically monitor, collect and warehouse large amounts of data, from applications such as life sciences and industrial processes has resulted in a new paradigm shift. This change of paradigm is so fast that some of the practices for optimization and management of these processes that were valid only 5–10 years ago may no longer be fully acceptable or sufficient for today's business optimization and management. This has a direct influence on the best practices for knowledge discovery and management of the discovered knowledge in real-world data mining applications. Establishing and managing a real-world data mining project in any domain, in particular in today's life science industry, is not a trivial task. A few approaches have been proposed in the literature. However, initiation and successful management of such efforts may depend on where a given case study fits in the overall classification of data mining approaches. Today's knowledge discovery from data can be classified in several ways: (i) data mining on engineered systems (e.g. complex equipment) or systems designed by nature (e.g. life sciences), (ii) explanatory or predictive data mining, (iii) data mining from static data (e.g. data warehouse) or dynamic data (e.g. data streams), (iv) user operated or automated data mining. There could still be other ways to classify data mining applications. This talk provides an overview of the above listed knowledge discovery applications. We provide examples where we demonstrate how small or large amounts of data, when understood from a real-world data mining point of view and the required data is properly integrated, can result in novel knowledge discovery case studies. We explain motivations and challenges of establishing real-world dat","PeriodicalId":332995,"journal":{"name":"Advanced Video and Signal Based Surveillance","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125579148","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-08-30DOI: 10.1109/AVSS.2011.6027401
Fadi Al Machot, Bernhard Dieber, Petra Hossl, K. Kyamakya, Sabrina Londero, C. Micheloni, Paolo Omero, C. Piciarelli, B. Rinner, C. Tasso, M. Valotto
Summary form only given. The invited talks are: How to Compare Alternative Architectures by Radia Perlman of Intel; Portals 4: Enabling Application/Architecture Co-Design for High-Performance Interconnects by Ron Brightwell of Sandia National Laboratories; and Electronic-Photonic Integration within Switches and Routers by Mike Watts of MIT. Brief author biographies are also included.
{"title":"AVSS 2011 demo session: Smart Resource-Aware Multi-Sensor Network","authors":"Fadi Al Machot, Bernhard Dieber, Petra Hossl, K. Kyamakya, Sabrina Londero, C. Micheloni, Paolo Omero, C. Piciarelli, B. Rinner, C. Tasso, M. Valotto","doi":"10.1109/AVSS.2011.6027401","DOIUrl":"https://doi.org/10.1109/AVSS.2011.6027401","url":null,"abstract":"Summary form only given. The invited talks are: How to Compare Alternative Architectures by Radia Perlman of Intel; Portals 4: Enabling Application/Architecture Co-Design for High-Performance Interconnects by Ron Brightwell of Sandia National Laboratories; and Electronic-Photonic Integration within Switches and Routers by Mike Watts of MIT. Brief author biographies are also included.","PeriodicalId":332995,"journal":{"name":"Advanced Video and Signal Based Surveillance","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132089466","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-08-30DOI: 10.1109/AVSS.2011.6027400
Sangmin Oh, Anthony J. Hoogs, A. Perera, Naresh P. Cuntoor, Chia-Chih Chen, J. T. Lee, Saurajit Mukherjee, J. Aggarwal, Hyungtae Lee, L. Davis, E. Swears, Xiaoyang Wang, Q. Ji, K. Reddy, M. Shah, Carl Vondrick, H. Pirsiavash, Deva Ramanan, Jenny Yuen, A. Torralba, Bi Song, Anesco Fong, A. Roy-Chowdhury, M. Desai
Summary form only given. We present a concept for automatic construction site monitoring by taking into account 4D information (3D over time), that is acquired from highly-overlapping digital aerial images. On the one hand today's maturity of flying micro aerial vehicles (MAVs) enables a low-cost and an efficient image acquisition of high-quality data that maps construction sites entirely from many varying viewpoints. On the other hand, due to low-noise sensors and high redundancy in the image data, recent developments in 3D reconstruction workflows have benefited the automatic computation of accurate and dense 3D scene information. Having both an inexpensive high-quality image acquisition and an efficient 3D analysis workflow enables monitoring, documentation and visualization of observed sites over time with short intervals. Relating acquired 4D site observations, composed of color, texture, geometry over time, largely supports automated methods toward full scene understanding, the acquisition of both the change and the construction site's progress.
{"title":"AVSS 2011 demo session: A large-scale benchmark dataset for event recognition in surveillance video","authors":"Sangmin Oh, Anthony J. Hoogs, A. Perera, Naresh P. Cuntoor, Chia-Chih Chen, J. T. Lee, Saurajit Mukherjee, J. Aggarwal, Hyungtae Lee, L. Davis, E. Swears, Xiaoyang Wang, Q. Ji, K. Reddy, M. Shah, Carl Vondrick, H. Pirsiavash, Deva Ramanan, Jenny Yuen, A. Torralba, Bi Song, Anesco Fong, A. Roy-Chowdhury, M. Desai","doi":"10.1109/AVSS.2011.6027400","DOIUrl":"https://doi.org/10.1109/AVSS.2011.6027400","url":null,"abstract":"Summary form only given. We present a concept for automatic construction site monitoring by taking into account 4D information (3D over time), that is acquired from highly-overlapping digital aerial images. On the one hand today's maturity of flying micro aerial vehicles (MAVs) enables a low-cost and an efficient image acquisition of high-quality data that maps construction sites entirely from many varying viewpoints. On the other hand, due to low-noise sensors and high redundancy in the image data, recent developments in 3D reconstruction workflows have benefited the automatic computation of accurate and dense 3D scene information. Having both an inexpensive high-quality image acquisition and an efficient 3D analysis workflow enables monitoring, documentation and visualization of observed sites over time with short intervals. Relating acquired 4D site observations, composed of color, texture, geometry over time, largely supports automated methods toward full scene understanding, the acquisition of both the change and the construction site's progress.","PeriodicalId":332995,"journal":{"name":"Advanced Video and Signal Based Surveillance","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122942934","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-08-30DOI: 10.1109/AVSS.2011.6027393
Csaba Beleznai, Michael Rauter, Dan Shao
Summary form only given. Anthropomatics addresses the symbiosis between humans and machines, focusing on a deeper understanding of the cooperation, interaction and coexistence between humans and machines stimulating and strengthen advanced and deep research in response to the challenges of increasingly smart environments and multimodal access to various complex technical systems. At KIT the Focus Anthropomatics and Robotics - APR has been set up by a number of research groups focusing on the research field of Anthropomatics and Robotics with more than 250 researchers. Modelling humans and their capabilities requires a deep understanding of the principle of biomechanics and kinematics, as well as the underlaying neural control principles and the perceptive and actuatoric system. Modelling and understanding of the sensomotoric mechanisms, learning and developement of skills and cognititve capabilities to enable humans to interact with the world is of high importance to design technical systems operating closely and interactively with humans via various modalities like speech, haptics, vision, grasping and locomotion. Typical research fields are related to active vision, interpretation of scenes and human activities, recognition and tracking technologies multimodal & perceptual user interfaces, understanding and translation of speech. Complementary research needed is related to the retrieval & access and summarization of multimedia data sources, translation of spoken text, context aware learning computers, implicit services and many more. The robotics application field ranges from interactive industrial robotics, service robotic companions, humanoids and medical robotics. In all domains the integrating aspects are focusing on algorithms processing real word data as well as open self-organizing architectures which allow autonomy, skill an
{"title":"AVSS2011 demo session: Real-time human detection using fast contour template matching for visual surveillance","authors":"Csaba Beleznai, Michael Rauter, Dan Shao","doi":"10.1109/AVSS.2011.6027393","DOIUrl":"https://doi.org/10.1109/AVSS.2011.6027393","url":null,"abstract":"Summary form only given. Anthropomatics addresses the symbiosis between humans and machines, focusing on a deeper understanding of the cooperation, interaction and coexistence between humans and machines stimulating and strengthen advanced and deep research in response to the challenges of increasingly smart environments and multimodal access to various complex technical systems. At KIT the Focus Anthropomatics and Robotics - APR has been set up by a number of research groups focusing on the research field of Anthropomatics and Robotics with more than 250 researchers. Modelling humans and their capabilities requires a deep understanding of the principle of biomechanics and kinematics, as well as the underlaying neural control principles and the perceptive and actuatoric system. Modelling and understanding of the sensomotoric mechanisms, learning and developement of skills and cognititve capabilities to enable humans to interact with the world is of high importance to design technical systems operating closely and interactively with humans via various modalities like speech, haptics, vision, grasping and locomotion. Typical research fields are related to active vision, interpretation of scenes and human activities, recognition and tracking technologies multimodal & perceptual user interfaces, understanding and translation of speech. Complementary research needed is related to the retrieval & access and summarization of multimedia data sources, translation of spoken text, context aware learning computers, implicit services and many more. The robotics application field ranges from interactive industrial robotics, service robotic companions, humanoids and medical robotics. In all domains the integrating aspects are focusing on algorithms processing real word data as well as open self-organizing architectures which allow autonomy, skill an","PeriodicalId":332995,"journal":{"name":"Advanced Video and Signal Based Surveillance","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127692933","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-08-30DOI: 10.1109/AVSS.2011.6027394
Stephane Clauss, F. Pelisson
Based on a unique video stream analysis and combined with the Sony Smartcamera architecture, Blue Eye Video stand alone solution is able to determine how many persons are waiting in a queue, the customer behaviour when moving in a department store, airports, theatre or stadium.
{"title":"AVSS 2011 demo session: People flow analysis","authors":"Stephane Clauss, F. Pelisson","doi":"10.1109/AVSS.2011.6027394","DOIUrl":"https://doi.org/10.1109/AVSS.2011.6027394","url":null,"abstract":"Based on a unique video stream analysis and combined with the Sony Smartcamera architecture, Blue Eye Video stand alone solution is able to determine how many persons are waiting in a queue, the customer behaviour when moving in a department store, airports, theatre or stadium.","PeriodicalId":332995,"journal":{"name":"Advanced Video and Signal Based Surveillance","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114377400","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-08-30DOI: 10.1109/AVSS.2011.6027390
W. Favoreel
Summary form only given. In this presentation titled Noise Issues in CMOS Devices and Circuits, state-of-art low-frequency and high-frequency noise performance and modeling in modern semiconductor devices and circuits will be discussed. The first part of the presentation will be on low-frequency noise where it will be shown that the increase of noise-to-DC current ratio may compromise circuit performance in the near future. For statistically valid experiments, it will be demonstrated that the low-frequency noise (LFN) tends to a log-normal distribution. Since the random-telegraph-signal (RTS) noise is pronounced in deep submicron devices, new techniques for characterization of multilevel RTS being observed will be discussed. The second part of the presentation will be focused on radio-frequency (RF) noise modeling of MOSFETs, including a model for the important effect of gate-tunneling current for future devices, plus sample experimental results. Then, based on the extracted active noise sources form high-frequency noise measurements, physics-based noise models for these noise sources of interest in deep submicron MOSFETs will be discussed. A simple analytic model that can be used as a guide for circuit design will be highlighted, including its scalability. The third part of the presentation will briefly introduce the subject of noise in circuits. Here, results from different types of oscillators will be discussed. Finally, the effects of hot-carrier stress on the performance of a RF voltage-controlled oscillator and a RF low-noise amplifier will be discussed.
{"title":"Traffic video detection: A manufacturers' point of view","authors":"W. Favoreel","doi":"10.1109/AVSS.2011.6027390","DOIUrl":"https://doi.org/10.1109/AVSS.2011.6027390","url":null,"abstract":"Summary form only given. In this presentation titled Noise Issues in CMOS Devices and Circuits, state-of-art low-frequency and high-frequency noise performance and modeling in modern semiconductor devices and circuits will be discussed. The first part of the presentation will be on low-frequency noise where it will be shown that the increase of noise-to-DC current ratio may compromise circuit performance in the near future. For statistically valid experiments, it will be demonstrated that the low-frequency noise (LFN) tends to a log-normal distribution. Since the random-telegraph-signal (RTS) noise is pronounced in deep submicron devices, new techniques for characterization of multilevel RTS being observed will be discussed. The second part of the presentation will be focused on radio-frequency (RF) noise modeling of MOSFETs, including a model for the important effect of gate-tunneling current for future devices, plus sample experimental results. Then, based on the extracted active noise sources form high-frequency noise measurements, physics-based noise models for these noise sources of interest in deep submicron MOSFETs will be discussed. A simple analytic model that can be used as a guide for circuit design will be highlighted, including its scalability. The third part of the presentation will briefly introduce the subject of noise in circuits. Here, results from different types of oscillators will be discussed. Finally, the effects of hot-carrier stress on the performance of a RF voltage-controlled oscillator and a RF low-noise amplifier will be discussed.","PeriodicalId":332995,"journal":{"name":"Advanced Video and Signal Based Surveillance","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127202522","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-08-30DOI: 10.1109/AVSS.2011.6027391
N. Viertl
Summary form only given. Steve Wozniak will be interviewed live on stage by San Jose Mercury News columnist Mike Cassidy on a wide range of topics, including the ‘joy’ of engineering and following your passion to convert innovative ideas into reality. Steve will provide a unique insight into the vision that started the largest and most successful technology company in the world.
{"title":"A high-way operator's view on automated video surveillance","authors":"N. Viertl","doi":"10.1109/AVSS.2011.6027391","DOIUrl":"https://doi.org/10.1109/AVSS.2011.6027391","url":null,"abstract":"Summary form only given. Steve Wozniak will be interviewed live on stage by San Jose Mercury News columnist Mike Cassidy on a wide range of topics, including the ‘joy’ of engineering and following your passion to convert innovative ideas into reality. Steve will provide a unique insight into the vision that started the largest and most successful technology company in the world.","PeriodicalId":332995,"journal":{"name":"Advanced Video and Signal Based Surveillance","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122480202","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-08-30DOI: 10.1109/AVSS.2011.6027407
Felix Pletzer, B. Rinner, R. Tusch, L. Böszörményi, M. Harrer, Thomas Mariacher
Summary form only given. Automated code analysis is technology aimed at locating, describing and repairing areas of weakness in code. Code weaknesses range from security vulnerabilities, logic errors, concurrency violations, to improper resource usage, violations of architectures or coding guidelines. Common to all code analysis techniques is that they build abstractions of code and then check those abstractions for properties of interest. For instance a type checker computes how types are used, abstract interpreters and symbolic evaluators check how values flow, model checkers analyze how state evolves. Building modern program analysis tools thus requires a multi-pronged approach to find a variety of weaknesses. In this talk I will discuss and compare several program analysis tools, which MSR build during the last ten years. They include theorem provers, program verifiers, bug finders, malware scanners, and test case generators. I will describe the need for their development, their innovation, and application. Many of these tools had considerable impact on Microsoft's development practices, as well as on the research community. Some of them are being shipped in products such as the Static Driver Verifier or as part of Visual Studio. Performing program analysis as part of quality assurance is meanwhile standard practice in many software development companies. However several challenges have not yet been resolved. Thus, I will conclude with a set of open challenges in program analysis which hopefully triggers new aspiring directions in our joint quest of delivering predictable software that is free from defect and vulnerabilities.
{"title":"AVSS 2011 demo session: Level of service classification for smart cameras","authors":"Felix Pletzer, B. Rinner, R. Tusch, L. Böszörményi, M. Harrer, Thomas Mariacher","doi":"10.1109/AVSS.2011.6027407","DOIUrl":"https://doi.org/10.1109/AVSS.2011.6027407","url":null,"abstract":"Summary form only given. Automated code analysis is technology aimed at locating, describing and repairing areas of weakness in code. Code weaknesses range from security vulnerabilities, logic errors, concurrency violations, to improper resource usage, violations of architectures or coding guidelines. Common to all code analysis techniques is that they build abstractions of code and then check those abstractions for properties of interest. For instance a type checker computes how types are used, abstract interpreters and symbolic evaluators check how values flow, model checkers analyze how state evolves. Building modern program analysis tools thus requires a multi-pronged approach to find a variety of weaknesses. In this talk I will discuss and compare several program analysis tools, which MSR build during the last ten years. They include theorem provers, program verifiers, bug finders, malware scanners, and test case generators. I will describe the need for their development, their innovation, and application. Many of these tools had considerable impact on Microsoft's development practices, as well as on the research community. Some of them are being shipped in products such as the Static Driver Verifier or as part of Visual Studio. Performing program analysis as part of quality assurance is meanwhile standard practice in many software development companies. However several challenges have not yet been resolved. Thus, I will conclude with a set of open challenges in program analysis which hopefully triggers new aspiring directions in our joint quest of delivering predictable software that is free from defect and vulnerabilities.","PeriodicalId":332995,"journal":{"name":"Advanced Video and Signal Based Surveillance","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115997906","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：