The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software
K. Venkatesh Prasad, TJ Giuli, and David Watson

TL;DR
This paper advocates for incorporating security, privacy, usability, and reliability modeling into automotive software requirements to enhance vehicle safety and user trust as vehicles become more connected and data-driven.
Contribution
It introduces a comprehensive approach to modeling four critical attributes—security, privacy, usability, and reliability—in automotive software specifications.
Findings
Highlights the importance of modeling these attributes in vehicle software
Proposes a framework for integrating these attributes into requirements
Emphasizes benefits for safety and user trust
Abstract
Over the past five years, there has been considerable growth and established value in the practice of modeling automotive software requirements. Much of this growth has been centered on requirements of software associated with the established functional areas of an automobile, such as those associated with powertrain, chassis, body, safety and infotainment. This paper makes a case for modeling four additional attributes that are increasingly important as vehicles become information conduits: security, privacy, usability, and reliability. These four attributes are important in creating specifications for embedded in-vehicle automotive software.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsReal-Time Systems Scheduling · Formal Methods in Verification · Safety Systems Engineering in Autonomy
