170 search results - page 10 / 34 » ProMoSA - Probabilistic Models for Safety Analysis |
FM
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
VTC
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract—Dedicated Short Range Communications (DSRC)based communications enable novel automotive safety applications such as an Extended Electronic Brake Light or Intersection Co...
DATE
2010
IEEE
15 years 2 months ago
2010
IEEE
—Safety-critical automotive systems must fulfill hard real-time constraints for reliability and safety. This paper presents a case study for the application of an AUTOSARbased l...
105
click to vote
ECBS
1999
IEEE
15 years 1 months ago
1999
IEEE
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...
WSC
2000
14 years 11 months ago
2000
Analysis of large, complex systems requires simulations of hybrid-system dynamics, i.e., dynamics which are best described by a combination of continuous-time and discrete-event m...