skip to main content
column

Software Engineering Education (SEEd)

Published: 05 May 2011 Publication History

Abstract

No abstract available.

References

[1]
NASA Engineering and Safety Center, Technical Support to the National Highway Traffic Safety Administration (NHTSA) on the Reported Toyota Motor Corporation (TMC) Unintended Acceleration (UA) Investigation, January 18, 2011, available online: http://www.nhtsa.gov/staticfiles/nvs/pdf/NASA-UA_report.pdf
[2]
Ibid., Appendix A. Software, available online: http://www.nhtsa.gov/staticfiles/nvs/pdf/NASA_FR_Appendix_A_Software.pdf
[3]
gcc: http://gcc.gnu.org/
[4]
Coverity: http://coverity.com/products/static-analysis.html
[5]
CodeSonar: http://grammatech.com/products/codesonar/overview.html
[6]
Uno: http://spinroot.com/uno
[7]
MISRA: http://www.misra.org.uk
[8]
Gerard J. Holzmann "The Power of Ten -- Rules for Developing Safety Critical Code,'" IEEE Computer, June 2006, pp. 93--95, available online: http://spinroot.com/p10/
[9]
Spin: http://spinroot.com
[10]
Swarm: http://www.spinroot.com/swarm/
[11]
MATLAB: http://www.mathworks.com/products/matlab/
[12]
Simulink: http://www.mathworks.com/products/simulink/
[13]
Stateflow: http://www.mathworks.com/products/stateflow/
[14]
SystemTest: http://www.mathworks.com/products/systemtest/
[15]
aiT: http://www.absint.com/ait/
[16]
QA-C: http://www.programmingresearch.com/qac_main.html

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes  Volume 36, Issue 3
May 2011
89 pages
ISSN:0163-5948
DOI:10.1145/1968587
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 05 May 2011
Published in SIGSOFT Volume 36, Issue 3

Check for updates

Qualifiers

  • Column

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 194
    Total Downloads
  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 07 Mar 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media