485 search results - page 15 / 97 » System Safety Requirements as Control Structures |
GECCO
2003
Springer
14 years 2 months ago
2003
Springer
Evolutionary Testing (ET) has been shown to be very successful for testing real world applications [10]. The original ET approach focusesonsearching for a high coverage of the test...
TRUSTBUS
2004
Springer
14 years 2 months ago
2004
Springer
The functioning of modern IT-systems with autonomously acting components requires an elaborate access control system in which each participant can maintain her own trust structure....
CODES
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
ISORC
1998
IEEE
14 years 1 months ago
1998
IEEE
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...
ISSTA
2000
ACM
14 years 1 months ago
2000
ACM
—Before designing safety- or mission-critical real-time systems, a specification of the required behavior of the system should be produced and reviewed by domain experts. After ...