40 search results - page 6 / 8 » A Goal-Oriented Approach for Safety Requirements Specificati... |
JCST
2010
13 years 2 months ago
2010
With recent efforts to build foundational certified software systems, two different approaches have been proposed to certify thread context switching. One is to certify both thread...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
SRDS
1999
IEEE
13 years 12 months ago
1999
IEEE
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...
ROBIO
2006
IEEE
14 years 1 months ago
2006
IEEE
- Suddenly occurring collisions or unintentional motions represent a high safety risk in robotics and must be prevented. Especially for humanoid robots, the influence of disturbanc...
ENVSOFT
2011
13 years 2 months ago
2011
Jet fans are applied for control of air flow and support of pollutant dispersal in large enclosures. In The Netherlands, application is well known for car parks as part of the fir...