1264 search results - page 35 / 253 » Designing Safe, Reliable Systems using Scade |
103
Voted
SRDS
2007
IEEE
15 years 8 months 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 ...
118
Voted
USENIX
2000
15 years 3 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, ...
144
Voted
IEEEAMS
2002
IEEE
15 years 6 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...
90
Voted
CHI
2008
ACM
16 years 2 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...
121
click to vote
RTS
2010
15 years 7 days 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...