Cited By
View all- Bondavalli ACeccarelli ALollini P(2010)Architecting and validating dependable systemsArchitecting dependable systems VII10.5555/1985596.1985613(297-321)Online publication date: 1-Jan-2010
The autonomous vehicles emergence is a significant step forward in the development of safe and dependable intelligent transportation systems. In vehicular automation, digital connectivity has been one of the most critical specifications. In this ...
Safety instrumented systems might be evaluated regarding their safety-relevant availability in the occurrence of an error. By means of the procedures indicated in the IEC/EN 61508 standard such a value, called Probability of Failure on Demand (PFD), can ...
Many software-intensive systems have significant safety ramifications and need to have their associated safety-related requirements properly engineered. It has been observed by multiple consultants, researchers, and authors that inadequate requirements ...
IEEE Computer Society
United States