328 search results - page 36 / 66 » Software engineering for safety: a roadmap |
182
click to vote
EMSOFT
2011
Springer
14 years 5 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
139
click to vote
LCTRTS
2004
Springer
15 years 11 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
164
Voted
EMSOFT
2007
Springer
15 years 12 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
264
click to vote
ASPLOS
2009
ACM
16 years 6 months ago
2009
ACM
In a virtualized environment, device drivers are often run inside a virtual machine (VM) rather than in the hypervisor, for reasons of safety and reduction in software engineering...
189
click to vote
HCI
2009
15 years 3 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...