HASE 2005 | Sciweavers

39

click to vote

HASE
2005
IEEE

107views Control Systems» more HASE 2005»

The Simulation of Anomalies in the Functional Testing of the ERTMS/ETCS Trackside System

14 years 8 months ago

Download www.asf.it

Pasquale di Tommaso, Francesco Flammini, Armando L...

claim paper

Read More »

44

click to vote

HASE
2005
IEEE

105views Control Systems» more HASE 2005»

Safe Allocation of Avionics Shared Resources

14 years 8 months ago

Download www.cert.fr

We propose an approach to analyse the safety of avionic systems that takes into account the impact of computation and communication resource sharing. The approach is made of three...

Laurent Sagaspe, Gérard Bel, Pierre Bieber,...

claim paper

Read More »

39

click to vote

HASE
2005
IEEE

127views Control Systems» more HASE 2005»

Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements

14 years 8 months ago

Download home.mit.bme.hu

Checking various temporal requirements is a key dependability concern in safety-critical systems. As modelchecking approaches do not scale well to systems of high complexity the r...

Gergely Pintér, István Majzik

claim paper

Read More »

62

click to vote

HASE
2005
IEEE

148views Control Systems» more HASE 2005»

Design and Analysis of Fault Tolerant Architectures by Model Weaving

14 years 8 months ago

Download mycite.omikk.bme.hu

Aspect-oriented modeling is proposed to design the architecture of fault tolerant systems. Notations are introduced that support the separate and modularized design of functional ...

Péter Domokos, István Majzik

claim paper

Read More »

40

click to vote

HASE
2005
IEEE

103views Control Systems» more HASE 2005»

View Graphs for Analysis and Testing of Programs at Different Abstraction Levels

14 years 8 months ago