Sciweavers

148 search results - page 16 / 30
» Interaction Walkthrough: Evaluation of Safety Critical Inter...
Sort
View
DFT
2003
IEEE
145views VLSI» more  DFT 2003»
14 years 24 days ago
System-Level Analysis of Fault Effects in an Automotive Environment
In the last years, new requirements in terms of vehicle performance increased significantly the amount of on-board electronics, thus raising more concern about safety and fault to...
Fulvio Corno, S. Tosato, P. Gabrielli
ATAL
2008
Springer
13 years 9 months ago
Towards a reliable air traffic control
Since critical socio-technical systems include people interacting with equipments in workplaces, their intrinsic reliability problems have been concerned with both these two "...
Minh Nguyen-Duc, Zahia Guessoum, Olivier Marin, Je...
ICFEM
2003
Springer
14 years 21 days ago
Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
Mickaël Kerboeuf, David Nowak, Jean-Pierre Ta...
JUCS
2008
177views more  JUCS 2008»
13 years 7 months ago
An Improved Multi-Agent Simulation Methodology for Modelling and Evaluating Wireless Communication Systems Resource Allocation A
: Multi-Agent Systems (MAS) constitute a well known approach in modelling dynamical real world systems. Recently, this technology has been applied to Wireless Communication Systems...
P. M. Papazoglou, Dimitris A. Karras, Rallis C. Pa...
CDC
2010
IEEE
161views Control Systems» more  CDC 2010»
13 years 2 months ago
A geometric approach to air traffic complexity evaluation for strategic trajectory management
In the perspective next generation Air Traffic Management (ATM) systems, aircraft will be endowed with part of the responsibility for separation maintenance, and traffic complexity...
Luigi Piroddi, Maria Prandini