Sciweavers

1130 search results - page 173 / 226
» Challenges in the design of automotive software
Sort
View
SAFECOMP
2009
Springer
16 years 22 days 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
16 years 19 days 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
16 years 11 days 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
16 years 10 days 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
16 years 9 days 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...