An embedded system for safe, secure and reliable execution of high consequence software

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn 2000-January, Issue , 2000, Pages 107-114

  McCoy, J A ^a  

^a SANDIA NATIONAL LABORATORIES   (United States)

Author keywords

Application software; Availability; Computer architecture; Computer languages; Embedded software; Embedded system; Hardware; Java; Object oriented modeling; Software safety

Indexed keywords

APPLICATION PROGRAMS; AVAILABILITY; COMPUTATIONAL LINGUISTICS; COMPUTER ARCHITECTURE; COMPUTER HARDWARE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; COMPUTER SOFTWARE SELECTION AND EVALUATION; EMBEDDED SOFTWARE; EMBEDDED SYSTEMS; HARDWARE; HARDWARE SECURITY; INTEGRATED CIRCUIT DESIGN; JAVA PROGRAMMING LANGUAGE; MODELING LANGUAGES; SOFTWARE DESIGN; SOFTWARE ENGINEERING; SYSTEMS ENGINEERING;

DEVELOPMENT ENVIRONMENT; EMBEDDED APPLICATION; JAVA; OBJECT ORIENTED METHODOLOGY; OBJECT ORIENTED MODEL; SOFTWARE DEVELOPMENT PROCESS; SOFTWARE SAFETY; SYSTEM-LEVEL ARCHITECTURES;

OBJECT ORIENTED PROGRAMMING;

EID: 84949556612     PISSN: 15302059     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.2000.895448     Document Type: Conference Paper

References (10)

1. Summers, R., Secure Computing, McGraw-Hill, 1997.
2. Gosling, J., B. Joy and G. Steele, The Java Language Specification, Addison-Wesley, 1996.
3. Arnold, K. and J. Gosling. The Java Programming Language Second Edition, Addison-Wesley, 1998.
4. Lindholm, T. and F. Yellin, The Java Virtual Machine Specification Second Edition, Addison-Wesley, 1999.
5. Venners, B. Inside The Java Virtual Machine Second Edition, McGraw-Hill, 1999.
6. Meyer, J. and T. Downing, Java Virtual Machine, O'Reilly and Associates, Inc., 1997.
7. Eckel, B., Thinking In Java, Prentice Hall PTR, 1998.
8. Sun Microsystems, Inc., www.sun.com/microelectronics/picoJava.
9. Patriot Scientific Corporation., www.ptsc.com/psc1000.
10. V. L. Winter. "Software Construction via Abstraction, Synthesis, and Transformation", Proceedings High Integrity Software Conference, 1997.