John C. Knight
ABSTRACT
No abstract available.
- Anderson, R., Security Engineering: A Guide to Building Dependable Distributed Systems, Wiley (2001). Google Scholar
Digital Library
- Avizienis, Laprie, Randell, "Fundamental Concepts in System Dependability", IARP / IEEE-RAS Workshop on Robot Dependability (May 2001)Google Scholar
- Butler, R. and G. Finelli, "The infeasibility of experimental quantification of life-critical software reliability." IEEE Transactions on Software Engineering, 19(1):3-12, Jan. 1993 Google ScholarDigital Library
- Leveson, N., Safeware: System Safety and Computers, Addison Wesley (1995). Google Scholar
- Storey, N., Safety-Critical Computer Systems, Addison Wesley (1996). Google ScholarDigital Library
Index Terms
- Dependability of embedded systems
Recommendations
Toward User Oriented Dependability Standard for Future Embedded Systems
STFSSD '09: Proceedings of the 2009 Software Technologies for Future Dependable Distributed SystemsWe outline our new project User Oriented Dependability, a project within the research program "Dependable embedded operating systems for practical use (DEOS)'' in Core Research for Evolutional Science and Technology (CREST) program of Japan Science and ...
A UML profile for dependability analysis of real-time embedded systems
WOSP '07: Proceedings of the 6th international workshop on Software and performanceIn this paper, we aim at giving a contribution toward the definition of a UML profile supporting the dependability analysis of real-time and embedded systems (RTES) that conforms to the upcoming profile named "Modeling and Analysis of Real-Time and ...
Comments