Sciweavers

84 search results - page 2 / 17
» Safety assessment with AltaRica
Sort
View
ASM
2008
ASM
13 years 7 months ago
FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B
On-board Fault Detection, Isolation and Recovery (FDIR) systems are considered to ensure the safety and to increase the autonomy of spacecrafts. They shall be carefully designed an...
Jean-Charles Chaudemar, Charles Castel, Christel S...
ATAL
2010
Springer
13 years 6 months ago
Can we predict safety culture?
Safety culture is broadly recognized as important for Air Traffic Management and various studies have addressed its characterization and assessment. Nevertheless, relations betwee...
Alexei Sharpanskykh, Sybert H. Stroeve
WSC
2007
13 years 8 months ago
Assessing tram schedules using a library of simulation components
Assessing tram schedules is important to assure an efficient use of infrastructure and for the provision of a good quality service. Most existing infrastructure modeling tools pr...
Elisangela Mieko Kanacilo, Alexander Verbraeck
DSVIS
2006
Springer
13 years 9 months ago
Interaction Walkthrough: Evaluation of Safety Critical Interactive Systems
Usability evaluation methods are a battery of techniques for assessing the usability of interactive systems or of proposed interactive systems. This paper describes a new evaluatio...
Harold W. Thimbleby
EDCC
2010
Springer
13 years 10 months ago
Opportunities from standardization in automotive safety assessment
An important initiative in the automotive domain is the development of the ISO 26262 standard for functional safety of road vehicles. The standard introduces numerous techniques f...
Raul Barbosa, Johan Karlsson