140 search results - page 13 / 28 » Assurance of Automotive Safety - A Safety Case Approach |
ICECCS
2006
IEEE
15 years 5 months ago
2006
IEEE
There is great interest in the application of nanotechnology to medicine, but concerns for safety are paramount. We present a modelling technique based on CSP and B as a starting ...
107
click to vote
CAI
2006
Springer
14 years 11 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
SEFM
2005
IEEE
15 years 5 months ago
2005
IEEE
The spoken language interface is now becoming an increasingly serious research topic with application to a wide range of highly engineered systems. Such systems not only include i...
SEFM
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper, we introduce a component-based design methodology and present a practical analysis approach that makes use of the modular nature of component-based designs to allev...
122
Voted
ICST
2010
IEEE
14 years 10 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...