Sciweavers

670 search results - page 15 / 134
» Software safety: relating software assurance and software in...
Sort
View
COMPSAC
2002
IEEE
14 years 2 months ago
Application of Hazard Analysis to Software Quality Modelling
Quality is a fundamental concept in software and information system development. It is also a complex and elusive concept. A large number of quality models have been developed for...
Hong Zhu, Yanlong Zhang, Qingning Huo, Sue Greenwo...
EMSOFT
2004
Springer
14 years 2 months ago
An approach for integrating basic retiming and software pipelining
Basic retiming is an algorithm originally developed for hardware optimization. Software pipelining is a technique proposed to increase instruction-level parallelism for parallel p...
Noureddine Chabini, Wayne Wolf
EMSOFT
2001
Springer
14 years 1 months ago
Bus Architectures for Safety-Critical Embedded Systems
Abstract. Embedded systems for safety-critical applications often integrate multiple “functions” and must generally be fault-tolerant. These requirements lead to a need for mec...
John M. Rushby
ICSM
2005
IEEE
14 years 2 months ago
Rapid "Crash Testing" for Continuously Evolving GUI-Based Software Applications
Several rapid-feedback-based quality assurance mechanisms are used to manage the quality of continuously evolving software. Even though graphical user interfaces (GUIs) are one of...
Qing Xie, Atif M. Memon
ACSAC
2003
IEEE
14 years 2 months ago
MLS-PCA: A High Assurance Security Architecture for Future Avionics
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...
Clark Weissman