Titlebook: Reliable Software Technologies - Ada-Europe 2008; 13th Ada-Europe Inte Fabrice Kordon,Tullio Vardanega Conference proceedings 2008 Springer

肮脏

A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions,se techniques typically require a staggering investment of time and manpower. There is also no guarantee that the multiple versions are correct or equivalent. This paper presents a novel approach that addresses the above problems, by automatically producing multiple, semantically equivalent copies f

单纯

Abominate

含沙射影

RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs,s. Multi-threaded/parallel programs have many advantages but also introduce new types of errors that do not occur in purely sequential programs. Race conditions are one important class of these special problems because the effects of race conditions occur nondeterministically and range from incorrec

BRAVE

esculent

BRACE

截断

A Modelling Approach with Coloured Petri Nets,s been developed in the context of algebraic specifications [CR06], and was later adapted to Petri nets [CP04, CPR07]. Here, we show how such a method, with precise and detailed guidelines, can be applied for writing modular coloured Petri nets. This is illustrated on a model railway case study, where modules are a key aspect.

冷漠

Infelicity

,StateML + : From Graphical State Machine Models to Thread-Safe Ada Code,ling capabilities, which include regions and macro-state definition. In this paper, a case study regarding the design of a robotic system will be used to demonstrate the benefits of the proposed approach.