328 search results - page 17 / 66 » Software engineering for safety: a roadmap |
106
click to vote
ICONS
2009
IEEE
15 years 6 months ago
2009
IEEE
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...
AMAST
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The motivation for this work is to support a natural separation of concerns during formal system development. In a developmentby-refinement context, we would like to be a...
SIGSOFT
2003
ACM
16 years 13 days ago
2003
ACM
Foundational and scalable techniques for runtime safety analysis of multithreaded programs are explored in this paper. A technique based on vector clocks to extract the causal dep...
113
click to vote
EUROMICRO
2004
IEEE
15 years 3 months ago
2004
IEEE
Component-based development has proven effective in many engineering domains, and several general component technologies are available. Most of these are focused on providing an e...
101
click to vote
ICRE
1998
IEEE
15 years 4 months ago
1998
IEEE
A safety analysis was performed on the software requirements for a family of ight instrumentation displays of commercial aircraft. First, an existing Safety Checklist was extended...