메뉴 건너뛰기
Information and Software Technology
Volumn 49, Issue 5, 2007, Pages 475-482
Language subsetting in an industrial context: A comparison of MISRA C 1998 and MISRA C 2004
Author keywords

Embedded control systems; MISRA C; Safer language subsets; Vehicle systems
Indexed keywords

AUTOMOTIVE INDUSTRY; C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE; CONTROL SYSTEMS; EMBEDDED SYSTEMS; WORD PROCESSING;
EID: 33847669831     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2006.07.004     Document Type: Article
Times cited : (12)
References (12)
  • 1
    • 0021199968 scopus 로고
    • Optimising preventive service of software products
    • Adams E. Optimising preventive service of software products. IBM Journal of Research and Development 1 28 (1984) 2-14
    • (1984) IBM Journal of Research and Development , vol.1 , Issue.28 , pp. 2-14
    • Adams, E.1
  • 3
    • 84896322797 scopus 로고    scopus 로고
    • B. Carre, J. Garnsworthy, Spark - an annotated Ada subset for safety-critical programming. in: Proceedings of conference on TRI-ADA '90, 1990, pp. 392-402, ISBN 0-89791-409-0.
  • 4
    • 33847607022 scopus 로고    scopus 로고
    • P.A. Cousot (Ed.), Static Analysis, Springer, 2001. ISBN 3-540-42314-1.
  • 5
    • 33847689813 scopus 로고    scopus 로고
    • L. Hatton. Safer C: Developing software in high-integrity and safety-critical systems, McGraw-Hill, 1995. ISBN 0-07-707640-0.
  • 6
    • 1642309241 scopus 로고    scopus 로고
    • Safer language subsets: an overview and a case history, MISRA C
    • Hatton L. 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.1
  • 7
    • 11344289816 scopus 로고    scopus 로고
    • EC - a measurement based safer subset of ISO C suitable for embedded system development
    • Hatton L. EC - a measurement based safer subset of ISO C suitable for embedded system development. Information and Software Technology 47 (2005) 181-187
    • (2005) Information and Software Technology , vol.47 , pp. 181-187
    • Hatton, L.1
  • 8
    • 33847647148 scopus 로고    scopus 로고
    • A. Koenig, C Traps and Pitfalls. Addison-Wesley, 1989. ISBN 0-201-17928-8.
  • 9
    • 33847643666 scopus 로고    scopus 로고
    • MIRA Ltd. Guidelines for the use of the programming language C in vehicle based systems, 1998. Available at: .
  • 10
    • 33847686341 scopus 로고    scopus 로고
    • J. Moore. Proposal to SC 22 future directions study group regarding support of high-integrity applications. Web, 2005. Available at: .
  • 11
    • 33847644976 scopus 로고    scopus 로고
    • S. Parker, Comparison of MISRA C testing tools. Web, 2001. Available at: .
  • 12
    • 0031078267 scopus 로고    scopus 로고
    • Do formal methods really work?
    • Pfleeger S.L., and Hatton L. Do formal methods really work?. IEEE Computer 30 2 (1997) 33-43
    • (1997) IEEE Computer , vol.30 , Issue.2 , pp. 33-43
    • Pfleeger, S.L.1    Hatton, L.2

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