نتایج جستجو برای: run time verification

تعداد نتایج: 2009787  

Journal: :Sci. Comput. Program. 2015
Vitor Rodrigues Benny Akesson Mário Florido Simão Melo de Sousa João Pedro Pedroso Pedro B. Vasconcelos

This article presents a semantics-based program verification framework for critical embedded real-time systems using the worst-case execution time (WCET) as the safety parameter. The verification algorithm is designed to run on devices with limited computational resources where efficient resource usage is a requirement. For this purpose, the framework of abstract-carrying code (ACC) is extended...

Journal: :Electr. Notes Theor. Comput. Sci. 2003
Usa Sammapun Raman Sharykin Margaret DeLap Myong Kim Steve Zdancewic

The Java-MaC framework is a run-time verification system for Java programs that can be used to dynamically test and enforce safety policies. This paper presents a formal model of the Java-MaC safety properties in terms of an operational semantics for Middleweight Java, a realistic subset of full Java. This model is intended to be used as a framework for studying the correctness of Java-MaC prog...

2009
Edison Mera Pedro López-García Manuel V. Hermenegildo

We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approach is that we preserve the use of a unified assertion language for all of these tasks. We first describe a method for compiling run-time checks for (parts of) assertions which cannot be verified at compile-time via program trans...

2009
Aaron F. Bobick Yuri Ivanov

In this thesis, I designed and implemented a background subtraction method based upon disparity verification that is invariant to run-time changes in illumination. Using two or more cameras, the method models the background by using disparity maps, which warp the primary image to each of the additional auxiliary images. During run-time, segmentation is performed by checking the color and lumino...

Journal: :IEEE Trans. Computers 1999
Teresa L. Johnson Daniel A. Connors Matthew C. Merten Wen-mei W. Hwu

2006
Marco Alberti Federico Chesani Marco Gavanelli Evelina Lamma Paola Mello Marco Montali Sergio Storari Paolo Torroni

In this work, we investigate the feasibility of using a framework based on computational logic, and mainly defined in the context of Multi-Agent Systems for Global Computing (SOCS UE Project), for modeling choreographies of Web Services with respect to the conversational aspect. One of the fundamental motivations of using computational logic, beside its declarative and highly expressive nature,...

2006
Orna Kupferman Yoad Lustig Moshe Y. Vardi

The large computational price of formal verification of general ωregular properties has led to the study of restricted classes of properties, and to the development of verification methodologies for them. Examples that have been widely accepted by the industry include the verification of safety properties, and bounded model checking. We introduce and study another restricted class of properties...

Journal: :Advanced Robotics 2017
Johannes Wienke Sebastian Wrede

Unintended changes in the utilization of resources like CPU and memory can lead to severe problems for the operation of robotics and intelligent systems. Still, systematic testing for such performance regressions has largely been ignored in this domain. We present a method to specify and execute performance tests for individual components of component-based robotics systems based on their compo...

Journal: :Comput. J. 2004
Luigi Catuogno Ivan Visconti

Digital signatures have been proposed by several researchers as a way of preventing execution of malicious code. In this paper we propose a general architecture for performing the signature verification as part of the kernel execution process. The proposed architecture does not require any change in the interpreters used to execute code and it can accommodate any executable format. We also repo...

2011
Klaus Havelund Martin Leucker Martin Sachenbacher Oleg Sokolsky Brian C. Williams Cyrille Artho Andreas Bauer Richard W. Dearden

From November 7 to 12, 2010, the Dagstuhl Seminar 10451 “Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems” was held in Schloss Dagstuhl – Leibniz Center for Informatics. During the seminar, 35 participants presented their current research and discussed ongoing work and open problems. This document puts together abstracts of the presentations given during the seminar,...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید