1264 search results - page 35 / 253 » Designing Safe, Reliable Systems using Scade |
140
click to vote
SRDS
2007
IEEE
16 years 6 days ago
2007
IEEE
The reliability of a large-scale storage system is influenced by a complex set of inter-dependent factors. This paper presents a comprehensive and extensible analytical framework ...
162
click to vote
USENIX
2000
15 years 7 months ago
2000
Language-basedextensible systems, such as Java Virtual Machines and SPIN, use type safety to provide memory safety in a single address space. By using software to provide safety, ...
191
click to vote
IEEEAMS
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we present the design, architecture and implementation of the A2QM3 System. It provides programmers re-usable QoS-aware Control Objects to enable building a complete...
135
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
Increasing functionality, growing media volumes and dynamic data in today's in-vehicle information systems bear new challenges for user interaction design. Traditional hierar...
170
click to vote
RTS
2010
15 years 4 months ago
2010
The current practice to design software for real-time systems is tedious. There is almost no tool support that assists the designer in automatically deriving safe bounds of the wor...