Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Barbara J. Czerny"'
Autor:
Barbara J. Czerny
Publikováno v:
SAE International Journal of Passenger Cars - Electronic and Electrical Systems. 6:349-359
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a33b9d611cf6dd8fcbcff1e69adce8d1
https://doi.org/10.4271/2013-01-1419
https://doi.org/10.4271/2013-01-1419
Publikováno v:
SAE International Journal of Passenger Cars - Electronic and Electrical Systems. 2:281-286
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7ae913eafb338df2a743ac9f7e92dc28
https://doi.org/10.4271/2009-01-0756
https://doi.org/10.4271/2009-01-0756
Autor:
Barbara J. Czerny, Mats P. E. Heimdahl
Publikováno v:
Science of Computer Programming. 36(1):65-96
In a previous investigation we formally defined procedures for analyzing hierarchical state-based requirements specifications for two properties: (1) completeness with respect to a set of criteria related to robustness (a response is specified for ev
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fd424e5d6b3887ccd7af97ee5a0e2543
Publikováno v:
Computer. 31:47-54
The correctness, safety and robustness of the specification of a critical system are assessed through a combination of rigorous specification capture and inspection, formal analysis of the specification, and execution and simulation of the specificat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bc296bece2f114e55cd0a565bf0305ab
https://doi.org/10.1109/2.666842
https://doi.org/10.1109/2.666842
Publikováno v:
SAE Technical Paper Series.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::169ddbe66df1cf059595c58a85c109fe
https://doi.org/10.4271/2011-01-1004
https://doi.org/10.4271/2011-01-1004
Publikováno v:
SAE Technical Paper Series.
Execution of a software safety program is an accepted best practice to help verify that potential software hazards are identified and their associated risks are mitigated. Successful execution of a software safety program involves selecting and apply
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::536c02c600cbc40a58fd1b51f3cb96e5
https://doi.org/10.4271/2005-01-0785
https://doi.org/10.4271/2005-01-0785
Autor:
Barbara J. Czerny, Christopher L. Denlinger, Deron C. Littlejohn, Eldon Gerrald Leaphart, Joseph G. D'Ambrosio
Publikováno v:
SAE Technical Paper Series.
A requirement of many modern safety-critical automotive applications is to provide failsafe operation. Several analysis methods are available to help confirm that automotive safety-critical systems are designed properly and operate as intended to pre
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2931b98d78e0683b42f495a779b21ea7
https://doi.org/10.4271/2005-01-0779
https://doi.org/10.4271/2005-01-0779
Publikováno v:
SAE Technical Paper Series.
In this paper, we review existing software safety standards, guidelines, -and other software safety documents. Common software safety elements from these documents are identified. We then describe an adaptable software safety process for automotive s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3d9bdd0636001fe49e8c92812d920215
https://doi.org/10.4271/2004-01-1666
https://doi.org/10.4271/2004-01-1666
Publikováno v:
SAE Technical Paper Series.
A new generation of software-controlled vehicle systems promises to help enhance vehicle safety, performance and comfort. As these new, often complex systems are added, system safety programs are followed to help eliminate potential hazards. An impor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6bb6e0f4802267b4364fddb58c52a670
https://doi.org/10.4271/2003-01-1293
https://doi.org/10.4271/2003-01-1293
Publikováno v:
HASE
A new generation of automotive systems, such as brake-, steer-, throttle-by-wire, and combinations of these by-wire systems, offer the promise of improved vehicle performance and safety. However, these by-wire systems represent a major technology cha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cb40eaabef428897eea067ece55a8dc9
https://doi.org/10.1109/hase.2000.895458
https://doi.org/10.1109/hase.2000.895458