Sciweavers

8 search results - page 1 / 2
» hase 1997
Sort
View
167
Voted
HASE
1997
IEEE
15 years 11 months ago
Analytical Design of Evolutionary Control Flow Components
Insup Lee, Oleg Sokolsky
179
Voted
HASE
1997
IEEE
15 years 11 months ago
Verifying Fault-Tolerant Behavior of State Machines
Fault-tolerant behavior is an important non-functional requirement for systems that involve high criticality. We present a framework which allows the analysis of faulttolerant beh...
Mario Dal Cin
199
Voted
HASE
1997
IEEE
15 years 11 months ago
A Mechanism for Communicating in Dynamically Reconfigurable Embedded Systems
Abstract: We present a time-bounded state-based communication mechanism for dynamically reconfigurable embedded systems. The mechanism is a single-processor, low-overhead version o...
Mehrdad Hassani, David B. Stewart
175
Voted
HASE
1997
IEEE
15 years 11 months ago
Analytical Modelling and Evaluation of Phased-Mission Systems for Space Applications
This paper deals with the modelling and evaluation of mission-phased systems devoted to space applications. We propose a two level hierarchical method that allows to model such sy...
Andrea Bondavalli, Ivan Mura, Manuela Nelli
HASE
1997
IEEE
15 years 11 months ago
ReSoFT: A Reusable Testbed for Development and Evaluation of Software Fault-Tolerant Systems
The Reusable Software Fault Tolerance Testbed ReSoFT was developed to facilitate the development and evaluation of high-assurance systems that require tolerance of both hardware...
Kam S. Tso, Eltefaat Shokri, Roger J. Dziegiel Jr.