Titlebook: Reliable Software Technologies - Ada-Europe 2009; 14th Ada-Europe Inte Fabrice Kordon,Yvon Kermarrec Conference proceedings 2009 Springer-V

不要不诚实

A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems, are becoming more and more common. This papers discusses the feasibility of designing a real-time middleware for distributed high-integrity Ada programs with an statically analysable behaviour, and the necessary language restrictions that should be used in order to enable the required predictability and timeliness properties.

arthroscopy

An Experience on Ada Programming Using On-Line Judging,y of the code. To ensure the authorship of the programs, a source-code plagiarism detection environment is used. Experimental results show the effectiveness of the proposed approach. The dropout rate decreased from 61% in the autumn semester 2007 to 48% in the autumn semester 2008.

BROW

Modelling and Evaluating Real-Time Software Architectures, small and medium real-time systems, identifying and solving concurrency problems at the architecture phase thus saving later testing and debugging efforts. An illustrative example of modelling and evaluation of an elevator control system is presented.

排斥

A Formal Foundation for Metamodeling,model, the OMG standard for expressing transformations. The goal of this formalization is, on the one hand, to reason about ambiguity and consistency of metamodels and, on the other hand, to support tests and proofs in model transformations.

砍伐

Requirements on the Target Programming Language for High-Integrity MDE,driven engineering environment. We show that the dominant point of view for this selection becomes that of the designer of the model-to-code transformation engine. We then illustrate the application of the proposed requirements on a simple example.

要控制

FLIC

Validating Safety and Security Requirements for Partitioned Architectures,ailure, etc.). Each year, millions of dollars are lost due to these kinds of issues. Consequently, safety and security requirements must be enforced. Systems must be validated against these requirements to improve safety and security and to make them more reliable and robust. We present our approach

Lime石灰

On Comparing Testing Criteria for Logical Decisions, criteria have different sizes and fault-detecting ability. Moreover, test sets that satisfy a stronger criterion and detect more faults usually consist of more test cases. A question that often puzzles software testing professionals and researchers is: when a testing criterion .1 helps to detect mo

fender

Console