This content is not included in your SAE MOBILUS subscription, or you are not logged in.
Formal Requirements Analysis Techniques for Software-Intensive Automotive Electronic Control Systems
ISSN: 0148-7191, e-ISSN: 2688-3627
Published April 12, 2011 by SAE International in United States
Annotation ability available
The ever increasing number and complexity of software-controlled features in today's automotive vehicles mandate the use of numerous techniques and tools for ensuring the absence of any kind of defects in them. In this connection, one of the key areas of applied research today involves the identification, development and use of various analyses on Feature Requirements so that any defects can be caught early in the system development lifecycle. In this paper, the following aspects will be covered: 1) an overview of various analyses available within current commercial requirements tools, 2) a discussion on what additional analyses at the requirements level would be desirable to help various stakeholders in the system development lifecycle, 3) an overview of what GM R&D has been developing/have developed to-date in order to identify or help identify various kinds of defects and thereby improve the requirements, 4) some key results and experiences in utilizing such analyses in one/more pilot applications and 5) a discussion of how the benefits of both current and new techniques and tools can be made use of in the development of new software -based automotive electronic control systems.
|Technical Paper||Communication Protocols Analysis for Automotive Diagnostic: KWP2000, J1939 and UDS|
|Technical Paper||Development of Diagnostic Tools in Automotive Electronics|
|Ground Vehicle Standard||E/E Data Link Security|
CitationChakrapani Rao, A., Dixit, M., and Sethu, R., "Formal Requirements Analysis Techniques for Software-Intensive Automotive Electronic Control Systems," SAE Technical Paper 2011-01-1002, 2011, https://doi.org/10.4271/2011-01-1002.
- Borland's CalibreRM website at http://www.borland.com/us/products/caliber/index.html (2010).
- IBM Rational DOORS' website at http://www-01.ibm.com/software/awdtools/doors/ (2010).
- T-VEC tool-suite website at http://www.t-vec.com/ (2010).
- “Model Checking”, Clarke, Edmund M. Jr., Grumberg, Orna and Peled, Doron A., ISBN-10: 0262032708, The MIT Press.
- Formal Methods Virtual Library at http://archive.comlab.ox.ac.uk/comp/formal-methods.html (2010).
- Logic in Computer Science - Modeling and Reasoning about Systems, Huth, Michael and Ryan, Mark, ISBN: 052154310X, Cambridge University Press.
- The SPIN Model Checker: Primer and Reference Manual, Holzmann, Gerard J., ISBN: 0-321-22862-6, Pearson Education, Inc.
- The MiniSAT Solver website at http://minisat.se/ (2010).
- The Prover Plug-in product website at http://www.prover.com/products/prover_plugin/ (2010).
- Software Engineering: A Practitioner's Approach, Pressman, Roger, ISBN-10: 007301933X, McGraw-Hill.
- “Requirements Specification for Process Control Systems”, Leveson, Nancy, Heimdahl, Mats P.E., Hildreth, Holy and Reese, John D., IEEE Transactions on Software Engineering, September 1994.
- “Developing High-Assurance Avionics Systems with the SCR Requirements Method”, Bharadwaj, R. and Heitmeyer, C., In Proceedings of the 19th Digital Avionics Systems Conference, 7-13 October 2000, Philadelphia, USA.
- “Structured Transition Systems: A formalism for specifying requirements”, Sampath, Prahladavaradan, Arora, Silky and Ramesh, S., Blue Cover Report: ISL-189, India Science Lab., GM R&D, 2008.
- “User Manual for REQUIREMENTS EDITOR (REDIT)”, Rheame, Douglas P., Venkatesan, Haripriya, Collaborative Report, GM R&D, 7 March 2008.
- “Automated Identification of LTL Patterns in Natural Language Requirements”, Nikora, Allen P., Balcom, Galen, In Proceedings of the 20th International Symposium on Software Reliability Engineering, November 2009, Mysuru, India.
- “Patterns in property specifications for finite-state verification”, Dwayer, Matthew B., Avrunin, George S., Corbett, James C., In Proceedings of International Conference on Software Engineering, 1999.