Sciweavers

4930 search results - page 11 / 986
» Testing a Safety-Critical Application
Sort
View
HCI
2009
14 years 9 months ago
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too
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 ...
Philippe A. Palanque, Jean-François Ladry, ...
COMPSAC
2006
IEEE
15 years 5 months ago
Just Enough Requirements Traceability
Even though traceability is legally required in most safety critical software applications and is a recognized component of many software process improvement initiatives, organiza...
Jane Cleland-Huang
DATE
2000
IEEE
117views Hardware» more  DATE 2000»
15 years 3 months ago
Evaluating System Dependability in a Co-Design Framework
The widespread adoption of embedded microprocessor-based systems for safety critical applications mandates the use of co-design tools able to evaluate system dependability at ever...
Marcello Lajolo, Maurizio Rebaudengo, Matteo Sonza...
ICFEM
2000
Springer
15 years 3 months ago
Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ
A family of well known problems on graphs includingthe shortest path problem and the data flow analysis problem can be uniformly formulated as a fixed-point problem on graphs. We ...
Tetsuo Tamai
SNPD
2003
15 years 22 days ago
Application of Behavior-Preserving Transformations to Improve Non-Functional Properties of an Architecture Specification
In particular for safety critical systems it is necessary to make sure that the non-functional properties imposed by a system architecture meet the corresponding requirements as e...
Lars Grunske