8022 search results - page 163 / 1605 » Predictability in Critical Systems |
137
click to vote
DSN
2006
IEEE
15 years 11 months ago
2006
IEEE
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system inter...
119
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
Dependability evaluation is an important, often indispensable, step in (critical) systems design and analysis pro
140
Voted
MSR
2010
ACM
15 years 7 months ago
2010
ACM
Abstract—Change prediction helps developers by recommending program entities that will have to be changed alongside the entities currently being changed. To evaluate their accura...
131
click to vote
SEC
2001
15 years 6 months ago
2001
There is a strong demand for techniques to aid development and modelling of security critical systems. Based on general security evaluation criteria, we show how to extend the syst...
150
click to vote
FM
2008
Springer
15 years 6 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...