Multi-domain surety modeling and analysis for high assurance systems

Proceedings - ECBS 1999, IEEE Conference and Workshop on Engineering of Computer-Based Systems

Volumn , Issue , 1999, Pages 254-260

  Davis, J ^a   Scott, J ^a   Sztipanovits, J ^a   Martinez, M ^b  

^a VANDERBILT UNIVERSITY   (United States)

^b SANDIA NATIONAL LABORATORIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INTEGRATION; RELIABILITY; SAFETY ENGINEERING;

BEHAVIORAL REPRESENTATION; COMMERCIAL OFF-THE SHELVES; DEPARTMENT OF DEFENSE; HIGH ASSURANCE SYSTEMS; HIGH-CONSEQUENCE SYSTEM; MODELING ENVIRONMENTS; MULTIGRAPH ARCHITECTURE; STATE-OF-THE-ART TECHNOLOGY;

RISK ASSESSMENT;

EID: 85008057606     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECBS.1999.755889     Document Type: Conference Paper

References (9)

1. Harel, D., "StateCharts: A Visual Formalism For Complex Systems", Science of Computer Programming 8, pp. 231-278, 1987
2. D'Antonio, P., Werner, P., Covan, J., "High Consequence Systems Engineering," Sandia National Laboratories Technical Report, Sandia National Laboratories, October 17, 1997
3. Sztipanovits, et al., "MULTIGRAPH: An Architecture for Model-Integrated Computing" Proc. of the IEEE ICECCS'95 Ft. Lauderdale, Florida, Nov. 6-10. 1995
4. Bryant, R. E., "Graph-based algorithms for Boolean function manipulation," IEEE Transactions on Computers, C-35(8), 1986
5. Lee, C. Y., "Representation of Switching Circuits by Binary Decision Programs," Bell System technical Journal pp. 985-999, 1959
6. Bryant, R. E., "Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams", Technical Report CMUCS-92-160, School of Computer Science, Carnegie Mellon University, June 1992
7. Burch, J. R., Clarke, E.M., Long, D. E., "Symbolic Model Checking for Sequential Circuit Verification," Technical Report, CMU-CS-93-211, Carnegie Mellon University, July 15, 1993
8. Sandia National Laboratories, WinR Reliability Analysis Software, Systems Reliability Department, 1996
9. Davis, J., et al, "Integrated Analysis Environment for High Impact Systems", Proc. of Engineering of Computer Based Systems, pp. 218-225, Jerusalem, Israel, April 1998