We think you have liked this presentation. If you wish to download it, please recommend it to your friends in any social system. Share buttons are a little bit lower. Thank you!
Presentation is loading. Please wait.
Published byJohn Crabtree
Modified over 4 years ago
© Copyright QinetiQ limited 2006 Objectives of Coding Standards & MISRA C++ Clive Pygott, Systems Assurance Group, QinetiQ Chris Tapp, Keylevel Consultants & MISRA C++ chair
© Copyright QinetiQ limited 2006 2 DARP Workshop April 2006 Conclusions Predictability: behaviour, time, memory usage A requirement for more precise definition of the language/subset to be used in a high integrity environment A requirement for a more structured and capable means of recording intent and invariants in source code Verification A requirement for a means of collecting data on the effectiveness of any high-integrity guidelines Participants at the last Defence Aerospace Research Partnership C++ workshop were asked: what do you want to see in a generic software vulnerabilities standard
© Copyright QinetiQ limited 2006 3 Reasons for coding standards To avoid undefined behaviour To avoid implementation defined behaviour To improve clarity for review and maintenance To provide a consistent style across a program or set of programs To avoid common programmer errors To incorporate good practice, particularly with regard to future proofing
© Copyright QinetiQ limited 2006 4 Who are MISRA? Motor Industry Software Reliability Association Started in 1990 Mission: to provide assistance to the automotive industry in the creation and application of safe and reliable software in vehicle systems The original project was part of the UK Governments SafeIT programme Now self-supported – and used far outside the automotive industry
© Copyright QinetiQ limited 2006 5 MISRA C++ Extension of MISRA-C No language feature totally barred (except goto – for a better reason than in MISRA-C) Target date for draft for peer review – January 2007 Being developed by a working group including –Software safety consultants/researchers –Tool vendors –Users
© Copyright QinetiQ limited 2006 6 MISRA C++ sources Identification of Issues –QinetiQ Vulnerabilities Report Evaluation of Existing Material –Other Coding Standards MISRA-C JSF++ Medical Systems Transportation Tool Vendors (real world experience). –Other Publications Scott Meyers Stephen Dewhurst Etc.
© Copyright QinetiQ limited 2006 7 MISRA C++ Aims Predictability – mostly functional Portability Clarity for review/maintenance Avoiding common errors Not systematically addressed Predictability – temporal, memory usage Not Consistency of style Good practice/future proofing
© Copyright QinetiQ limited 2006 8 MISRA C++ (&C) rule structure Rule Structure –Rule Number and category (Mandatory…) –Headline Text (should be) precise and testable –Issue and Existing Material References –Explanation of the issue(s) and rule justification. –Examples of non-conforming and, where appropriate, conforming code. –Expected deviations (if appropriate and may include none!)
© Copyright QinetiQ limited 2006 9 MISRA C++ relationship with OWGV? Would hope that this group sets the objectives for high integrity software MISRA C++ would then want to claim compliance
COUNTER: improving usage statistics Peter Shepherd Director COUNTER December 2006.
Project VIABLE: Behavioral Specificity and Wording Impact on DBR Accuracy Teresa J. LeBel 1, Amy M. Briesch 1, Stephen P. Kilgus 1, T. Chris Riley-Tillman.
Usage statistics in context - panel discussion on understanding usage, measuring success Peter Shepherd Project Director COUNTER AAP/PSP 9 February 2005.
SCQF RPL Project Ruth Whittaker SCQF RPL Consultant Recognising Prior Informal Learning (RPL) within the Scottish Credit & Qualifications Framework (SCQF)
Safer IT Systems for the NHS Dr. Maureen Baker CBE DM FRCGP Special Clinical Adviser NPSA Clinical Safety Officer CfH.
Chapter 11 user support. Issues –different types of support at different times –implementation and presentation both important –all need careful design.
OBP Research Oy for simpler creation of embedded systems.
B. Sharma, S.D. Dhodapkar, S. Ramesh 1 Assertion Checking Environment (ACE) for Formal Verification of C Programs Babita Sharma, S.D.Dhodapkar RCnD, BARC,
James M. Hevezi, Ph.D., FACR/FAAPM On behalf of American College of Radiology Chair, ACR Commission on Medical Physics Director of Medical Physics CyberKnife.
Research Quality Framework Presentation to APSR - ARROW The Adaptable Repository 3 May 2007 Dr Alexander Cooke Department of Education Science and Training.
1 Certification Chapter 14, Storey. 2 Topics What is certification? Various forms of certification The process of system certification (the planning.
Progress on MISRA C++ DARP workshop, York, 18 th April 2007 Chris TappKeylevel Consultants Ltd. Dr C H PygottQinetiQ.
RQF Trials and the Newcastle Experience Barney Glover.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 6 Slide 1 Software Requirements.
10 th January QinetiQ in confidence © Copyright QinetiQ 1.
School of Computer ScienceG53FSP Formal Specification1 Dr. Rong Qu Introduction to Formal Specification
© 2018 SlidePlayer.com Inc. All rights reserved.