328 search results - page 28 / 66 » Software engineering for safety: a roadmap |
165
click to vote
ADAEUROPE
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. We present an approach for enhancing dependability of component-based software. Functionality related to security, safety and reliability is encapsulated in specific com...
151
click to vote
COMPSAC
2006
IEEE
15 years 12 months ago
2006
IEEE
Even though traceability is legally required in most safety critical software applications and is a recognized component of many software process improvement initiatives, organiza...
161
click to vote
EUROSYS
2007
ACM
15 years 9 months ago
2007
ACM
The majority of aspect-oriented middlewares supporting dynamic aspect weaving fail to preserve important safety properties while weaving or unweaving a distributed aspect at runti...
179
click to vote
APSEC
1999
IEEE
15 years 10 months ago
1999
IEEE
Safety critical systems, such as aviation systems controlled by software, often have hard real-time requirements. Producing the correct resultat the right time is thefundamental g...
144
click to vote
FSTTCS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. This paper presents the first formal verification of the RicartAgrawala algorithm [RA81] for distributed mutual exclusion of an arbitrary number of nodes. It uses the Tem...