302 search results - page 18 / 61 » An approach to synthesise safe systems |
80
Voted
CTW
2006
15 years 13 days ago
2006
Throughout the history of human-machine systems design has had a technological bias in the sense that design for technology came first with design for humans as a distant second. O...
101
Voted
SOSP
2009
ACM
15 years 9 months ago
2009
ACM
Faulty device drivers cause significant damage through down time and data loss. The problem can be mitigated by an improved driver development process that guarantees correctness...
81
Voted
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
Interaction protocols for multiagent systems have been described diagrammatically in an extension of UML called AUML (Agent UML). In this paper, we show how to translate these pro...
SAFECOMP
1998
Springer
1998
Springer
Increasing System Safety for By-Wire Applications in Vehicles by Using a Time Triggered Architecture
15 years 4 months ago
By-wire systems have been established for several years in the area of aircraft construction and there are now approaches to utilize this technology in vehicles. The required elect...
94
Voted
EUROPAR
2008
Springer
15 years 2 months ago
2008
Springer
We investigate a decentralised approach to committing transactions in a replicated database, under partial replication. Previous protocols either reexecute transactions entirely an...