Control system software now plays a key role on many platforms, including aircraft and
automobiles. However, as control system software has been performing increasingly …

Aerospace systems are increasingly dependent upon software for their functionality, with
associated software spanning a wide range of application domains. These include aircraft …

Safe operation is crucial to safety-critical systems, and formal verification of implementations
is a desirable means to increase confidence in safety. Traditional formal verification …

Many tools can check if a test set provides control coverage; they are, however, of little or no
help when coverage is not achieved and the test set needs to be completed. In this paper …

This paper addresses the assumption that software verification is valuable. Using
experience from the assessment of safety critical software it makes observations of where …

Safe operation is crucial to safety-critical systems, such as fly-by-wire flight-control systems
in aircraft. Software in these systems has to be correct, or, more precisely, the risk of being …

This paper presents a rapid software prototy** environment, based on Matlab/Simulink, for
realtime simulation and control of a mini-helicopter robot. The application of the environment …

This paper presents a rapid software prototy** environment, based on Matlab/Simulink, for
realtime simulation and control of a mini-helicopter robot. The application of the environment …

A computação ganha cada vez mais espaço em aplicações embarcadas críticas e,
dependendo do software, seu mau funcionamento pode provocar desde um grave prejuízo …