Titlebook: Reliable Software Technologies -- Ada-Europe 2006; 11th Ada-Europe Inte Luís Miguel Pinho,Michael González Harbour Conference proceedings 2

昆虫

POSIX Trace Based Behavioural Reflectionapplication must co-exist with any limitations imposed by such design. For modern real-time applications this limits the quality of services offered to the end-user. Research in this field has shown that it is possible to develop dynamic systems where adaptation is the key for success. However, adap

吼叫

One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Sts continuing maturation means that it is now capable of treating millions of lines of code in a few hours on very modest platforms. It detects about two uncorrected deadlock situations per thousand C source files or million lines of source code in the Linux kernel, and three accesses to freed memor

barium-study

好忠告人

SPARK Annotations Within Executable UMLting development techniques for high integrity systems. Work is in progress to develop a code generator for SPARK Ada from the executable UML (xUML) subset. This paper concentrates on the work completed, which enables the utilisation of SPARK annotations within xUML models for a prototype code gener

Decrepit

Runtime Verification of Java Programs for Scenario-Based Specificationsafety consistency and the mandatory consistency. The safety consistency requires that any forbidden scenario described by a given sequence diagram never happens during the execution of a program, and the mandatory consistency requires that if a reference scenario described by the given sequence diag

贸易

Secure Execution of Computations in Untrusted Hostsservers) from mobile applications and mobile applications from remote hosts. This paper proposes and evaluates a solution to the latter problem for applications based on linear computations that involve scalar as well as array arithmetic. We demonstrate that, for certain classes of applications, it

心胸开阔

CREEK

sleep-spindles

A Software Reliability Model Based on a Geometric Sequence of Failure Ratesxhibit strengths in different areas. This paper proposes a model that is based on a geometric sequence (or progression) of the failure rates of faults. This property of the failure process was observed in practice at Siemens among others and led to the development of the proposed model. It is descri

连锁