10 search results - page 1 / 2 » Development of a Normative Package for Safety-Critical Softw... |
PROFES
2004
Springer
2004
Springer
Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements
13 years 9 months ago
Abstract. The important tasks in requirement engineering are resolving requirements inconsistencies between regulators and developers of safety-critical computer systems, and the v...
FMICS
2009
Springer
13 years 11 months ago
2009
Springer
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
SCS
2004
13 years 5 months ago
2004
Commercial-Off-The-Shelf (COTS) software components are being used within complex safety-critical applications. However, to use them with confidence, it is necessary to ensure tha...
HCI
2009
13 years 2 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
BMCBI
2010
2010
The IronChip evaluation package: a package of perl modules for robust analysis of custom microarrays
13 years 4 months ago
Background: Gene expression studies greatly contribute to our understanding of complex relationships in gene regulatory networks. However, the complexity of array design, producti...