Corpus ID: 45860513

Development Guidelines for Vehicle Based Software

  title={Development Guidelines for Vehicle Based Software},
The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software
This paper introduces MISRA C, its role in the development of critical software, especially in embedded systems, its relevance to industry safety standards, as well as the challenges of working with a general-purpose programming language standard that is written in natural language with a slow evolution over the last 40+ years. Expand
An enhanced vehicle control model for assessing highly automated driving safety
An Enhanced Vehicle Control Model (VCM) is defined that extends the notion of controllability and joint cognition for highly automated tasks and is applied to three contemporary driver assistance systems by undertaking a scenario-based evaluation. Expand
Assessing the Effects of Failure Alerts on Transitions of Control from Autonomous Driving Systems
Significant changes in user trust in the system over time and between events are observed and the first failure's severity level did not affect user performance in the subsequent failure; rather, the system's detection and alert both times was sufficient to successfully complete the transition of control. Expand
BARR-C: 2018 and MISRA C: 2012: Synergy Between the Two Most Widely Used C Coding Standards
BARR-C:2018 can be seen as a first, dramatically useful step to C language subsetting that is suitable for all kinds of projects; critical projects can then evolve toward MISRA C:2012 compliance smoothly while maintaining the Barr-C programming style. Expand
New Opportunities for Integrated Formal Methods
Formal methods have provided approaches for investigating software engineering fundamentals and also have high potential to improve current practices in dependability assurance. In this article, weExpand
A Safety Standard Approach for Fully Autonomous Vehicles
This work proposes a safety standard approach for fully autonomous vehicles based on setting scope requirements for an overarching safety case, which forms the underlying basis for the UL 4600 initial draft standard. Expand
Computer Safety, Reliability, and Security: SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings
This work investigates how STAMP and STPA can be related to use of assurance cases by representing the STPA steps as part of the evidence and claim documentations within GSN. Expand
Practical Experience Report: Automotive Safety Practices vs. Accepted Principles
  • P. Koopman
  • Engineering, Computer Science
  • 2018
There is a wide gulf between some observed automotive practices and established principles for safety critical system engineering, and deployment of highly autonomous vehicles in a non-regulatory environment threatens to undermine safety engineering rigor. Expand
Survey of Modelling Formalisms for MISRA-C:1998 Software Architecture Modelling
The complexity of electrical and electronic automotivesystems have increased steadily over the previous decades, with modern vehicles containing as many as 50-70 Elec-tronic Control Units, and seveExpand
Towards Certification of Automotive Software
The most relevant standards that have been used in the automotive industry, namely for software development, stressing the development and safety lifecycle are described and some of the main challenges it poses to this industry are addressed. Expand


Intellectual Property, 3rd Edition, David Bainbridge. Pitman Publishing (1996), 572, 0273 622 79X £27.99 soft-cover
Software and Copyright Law, Pitman Publishing
  • 1993
Software metrics - a rigorous approach
The book has been comprehensively re-written and re-designed to take account of the fast changing developments in software metrics, most notably their widespread penetration into industrial practice. Expand
Program analysis and systematic testing
The automated testing tools referred to are various derivatives of the LDRA Testbeds, namely Ada, C, Cobol, Coral 66, Fortran, Pascal, PL/1, and PL/M86 have been used in industry since 1975 and have been the subject of extensive experimentation at the University of Liverpool since 1970. Expand
Software Metrics: Establishing a Company-Wide Program
This dissertation is the most detailed study of a metrics program ever done. Expand
Cognitive Psychology, West Publishing
  • 1986
Kirwan, “A Reliability Study of a Platform Blowdown System”, in Automation for Safety in Shipping and Offshore
  • Petroleum Operations,
  • 1986