Sciweavers

1130 search results - page 173 / 226
» Challenges in the design of automotive software
Sort
View
SAFECOMP
2009
Springer
15 years 4 months ago
Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control
The behaviour of control functions in safety critical software systems is typically bounded to prevent the occurrence of known system level hazards. These bounds are typically deri...
Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Cal...
HASE
2008
IEEE
15 years 4 months ago
Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...
Jonas Elmqvist, Simin Nadjm-Tehrani
CIKM
2007
Springer
15 years 4 months ago
Optimizing parallel itineraries for knn query processing in wireless sensor networks
Spatial queries for extracting data from wireless sensor networks are important for many applications, such as environmental monitoring and military surveillance. One such query i...
Tao-Young Fu, Wen-Chih Peng, Wang-Chien Lee
EMSOFT
2007
Springer
15 years 4 months ago
Performance estimation of distributed real-time embedded systems by discrete event simulations
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...
Gabor Madl, Nikil Dutt, Sherif Abdelwahed
MTSR
2007
Springer
15 years 3 months ago
Quality Metrics in Learning Objects
In today's rapidly evolving society, the range and depth of information available to us is quickly growing which affects educational institutions, who find it difficult to kee...
Juan F. Cervera, María G. López-L&oa...