103 search results - page 1 / 21 » A Contract-based Approach to Designing Safe Systems |
SFM
2009
Springer
15 years 4 months ago
2009
Springer
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behaviour...
112
click to vote
APSCC
2008
IEEE
14 years 11 months ago
2008
IEEE
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...
79
Voted
SCS
2003
14 years 11 months ago
2003
Architectural based approaches to designing software are motivating changes in the way software is developed for safety-critical systems. These new approaches allow developers to d...
MEDINFO
2007
14 years 11 months ago
2007
Large-scale implementation of electronic prescribing systems (e-PS) is likely to introduce at least some machinerelated errors that will harm patients. We present a dynamic system...
124
click to vote
ASPLOS
2012
ACM
13 years 5 months ago
2012
ACM
Emerging fast, non-volatile memories (e.g., phase change memories, spin-torque MRAMs, and the memristor) reduce storage access latencies by an order of magnitude compared to state...