• 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.

    A Rationale-Based Classification of MISRA C Guidelines

    An orthogonal classification that associates MISRA C guidelines with their main rationale is added and the advantages of this new classification are illustrated for different kinds of projects, including those not (yet) having MISRA compliance among their objectives.

    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.

    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.

    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, we

    A New Approach to Promote Safety in the Software Life Cycle

    This paper introduces an approach to engineering evidence that examines the software in its lifecycle according to the principles of software safety and system safety engineering, which ensures that software risks are identified and documented in the software lifecycle.

    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.

    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.

    Towards a risk-based approach for the design of highly resilient future vehicles

    This paper outlines the elements of a unified risk-based approach to support the development of future vehicles that are highly resilient to environmental and criminal threats, thus ensuring acceptable levels of functional safety, safety of the intended functionality, cyber security and mission-critical functionality.



    Intellectual Property, 3rd Edition, David Bainbridge. Pitman Publishing (1996), 572, 0273 622 79X £27.99 soft-cover

    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.

    Software Metrics: Establishing a Company-Wide Program

    This dissertation is the most detailed study of a metrics program ever done.

    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.

    Kirwan, “A Reliability Study of a Platform Blowdown System”, in Automation for Safety in Shipping and Offshore

    • Petroleum Operations,
    • 1986

    Software and Copyright Law, Pitman Publishing

    • 1993

    Cognitive Psychology, West Publishing

    • 1986