Sciweavers

713 search results - page 33 / 143
» Fault Analysis of a Distributed Flight Control System
Sort
View
SIGSOFT
2003
ACM
14 years 9 months ago
Deadline analysis of interrupt-driven software
Real-time, reactive, and embedded systems are increasingly used throughout society (e.g., flight control, railway signaling, vehicle management, medical devices, and many others)....
Dennis Brylow, Jens Palsberg
DFG
2004
Springer
14 years 2 months ago
Combining Formal Methods and Safety Analysis - The ForMoSA Approach
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
Frank Ortmeier, Andreas Thums, Gerhard Schellhorn,...
BIOADIT
2004
Springer
14 years 2 months ago
Distributed Central Pattern Generator Model for Robotics Application Based on Phase Sensitivity Analysis
Abstract. A method is presented to predict phase relationships between coupled phase oscillators. As an illustration of how the method can be applied, a distributed Central Pattern...
Jonas Buchli, Auke Jan Ijspeert
SRDS
1998
IEEE
14 years 10 days ago
A Metaobject Protocol for Fault-Tolerant CORBA Applications
Abstract: The use of meta-level architectures for the implementation of faulttolerant systems is today very appealing. Nevertheless, all existing fault-tolerant systems based on th...
Marc-Olivier Killijian, Jean-Charles Fabre, Juan-C...
HASE
1998
IEEE
14 years 1 months ago
Formal Specification in Collaborative Design of Critical Software Tools
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
David Coppit, Kevin J. Sullivan