SCOPUS 정보 검색 플랫폼

Volumn 47, Issue 3, 2005, Pages 181-187

EC - A measurement based safer subset of ISO C suitable for embedded system development

Author keywords

Base subset; Embedded system; ISO C

Indexed keywords

BASE SUBSET; EMBEDDED CONTROL SYSTEMS; ISO C; PROBABILITY OF FAILURE ON DEMAND (PFD);

ALGORITHMS; C (PROGRAMMING LANGUAGE); COMPUTER PROGRAMMING; COMPUTER SYSTEM RECOVERY; CONTROL SYSTEMS; SIGNAL TO NOISE RATIO; SOFTWARE ENGINEERING;

EMBEDDED SYSTEMS;

EID: 11344289816 PISSN: 09505849 EISSN: None Source Type: Journal
DOI: 10.1016/j.infsof.2004.08.001 Document Type: Article

Times cited : (5)

References (13)

1
- 0003589551
- McGraw-Hill New York
- L. Hatton Safer C: Developing High-integrity and Safety-critical Systems 1995 McGraw-Hill New York ISBN 0-07-707640-0
- (1995) Safer C: Developing High-integrity and Safety-critical Systems
- Hatton, L.¹

2
- 0031125357
- The T experiments: Errors in scientific software
- L. Hatton The T experiments: errors in scientific software IEEE Computational Science and Engineering April-June 1997 1997
- (1997) IEEE Computational Science and Engineering , pp. 1997
- Hatton, L.¹

3
- 1642309241
- Safer Language Subsets: An overview and a case history, MISRA C
- L. Hatton Safer Language Subsets: an overview and a case history, MISRA C Information and Software Technology 46 2004 465 472
- (2004) Information and Software Technology , vol.46 , pp. 465-472
- Hatton, L.¹

4
- 11344288653
- Addison-Wesley Reading, MA
- L. Hatton Software Failure: Avoiding the Avoidable and Living with the Rest 2004 Addison-Wesley Reading, MA in press
- (2004) Software Failure: Avoiding the Avoidable and Living with the Rest
- Hatton, L.¹

5
- 11344280648
- submitted for publication
- L. Hatton, Embedded system paranoia: a tool for testing the quality of embedded system arithmetic, 2004, submitted for publication.
- (2004) Embedded System Paranoia: A Tool for Testing the Quality of Embedded System Arithmetic
- Hatton, L.¹

6
- 84860061410
- JTC1/SC22/WG14-C
- JTC1/SC22/WG14-C (2004). The official home of JTC1/SC22/WG14-C, http://www.open-std.org/jtcl/sc22/wgl4.
- (2004) The Official Home of JTC1/SC22/WG14-C

7
- 1642284044
- Addison-Wesley Reading, MA
- A. Koenig C Traps and Pitfalls 1988 Addison-Wesley Reading, MA ISBN 0-201-17928-8
- (1988) C Traps and Pitfalls
- Koenig, A.¹

8
- 0041644054
- MISRA ISBN 0-9524156-9-0
- MISRA, MISRA C: guidelines for the use of C language in vehicle based software, MISRA, 1998, ISBN 0-9524156-9-0.
- (1998) MISRA C: Guidelines for the Use of C Language in Vehicle Based Software

9
- 0031078267
- Investigating the influence of formal methods
- L. Pfleeger, and L. Hatton Investigating the influence of formal methods IEEE Computer 30 2 1997
- (1997) IEEE Computer , vol.30 , Issue.2
- Pfleeger, L.¹ Hatton, L.²

10
- 11344278645
- Butterworth-Heinemann London
- D.J. Smith Maintainability and Risk 1997 Butterworth-Heinemann London ISBN 0-7506-3752-8
- (1997) Maintainability and Risk
- Smith, D.J.¹

11
- 84860069073
- C. Safer, The Safer C toolset, 2000, h ttp://www.oakcomp.co.uk/.
- (2000) The Safer C Toolset
- Safer, C.¹

12
- 1642409131
- Prentice-Hall New Jersy
- D.A. Spuler C++ and C debugging, testing and reliability 1994 Prentice-Hall New Jersy ISBN 0-13-308172-9
- (1994) C++ and C Debugging, Testing and Reliability
- Spuler, D.A.¹

13
- 1642272716
- Prentice-Hall New Jersy
- P. van der Linden Expert C programming: deep C secrets 1994 Prentice-Hall New Jersy ISBN 0-13-177429-8
- (1994) Expert C Programming: Deep C Secrets
- Van Der Linden, P.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.