Technical Paper
Formal Requirements Analysis Techniques for Software-Intensive Automotive Electronic Control Systems
2011-04-12
2011-01-1002
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.
