A language for advanced protocol analysis in automotive networks

ABSTRACT

The increased use and interconnection of electronic components in automobiles has made communication behavior in automotive networks drastically more complex. Both communication designs at application level and complex communication scenarios are often under-specified or out of scope of existing analysis techniques. We extend traditional protocol analyzers in order to capture communication at the level of abstraction that reflects application design and show that the same technique can be used to specify, monitor and test complex scenarios. We present CFR (Channel Filter Rule) models, a novel approach for the specification of analyzers and a domain-specific language that implements this approach. From CFR models, we can fully generate powerful analyzers that extract design intentions, abstract protocol layers and even complex scenarios from low level communication data. We show that three basic concepts (channels, filters and rules) are sufficient to build such powerful analyzers and identify possible areas of application.

REFERENCES

• 1: CAN Specification Version 2.0. Technical specification, Robert Bosch GmbH, 1991.
• 2: OCL 2.0 OMG Final Adopted Specification. Technical specification, OMG, Oct 2003.
• 3: Meta Object Facility (MOF) Core Specification, v2.0. Technical specification, OMG, Jan 2006.
• 4: Most specification rev. 2.5. Technical specification, MOST Cooperation, 2006.
• 5: Information Technology ? Open Systems Interconnection ? Basic Reference Model: The Basic Model. ITU-T Recommendation X.200, International Telecommunication Union, July 1994.
• 6: J. Botaschanjan , L. Kof , C. Kühnel , M. Spichkova, Towards verified automotive software, Proceedings of the second international workshop on Software engineering for automotive systems, p.1-6, May 21-21, 2005, St. Louis, Missouri
• 7: Frank Budinsky , Stephen A. Brodsky , Ed Merks, Eclipse Modeling Framework, Pearson Education, 2003
• 8: Object Modeling with the OCL, The Rationale behind the Object Constraint Language, January 2002
• 9: F. Corno , S. Tosato , P. Gabrielli, System-Level Analysis of Fault Effects in an Automotive Environment, Proceedings of the 18th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, p.529, November 03-05, 2003
• 10: Martin Fowler, UML Distilled: A Brief Guide to the Standard Object Modeling Language, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2003
• 11: J. Hall. Multi-layer network monitoring and analysis. Technical report, University of Cambridge, July 2003.
• 12: Arne Hamann , Marek Jersak , Kai Richter , Rolf Ernst, A framework for modular analysis and exploration of heterogeneous embedded systems, Real-Time Systems, v.33 n.1-3, p.101-137, July 2006 [doi>10.1007/s11241-006-6884-x]
• 13: D. Herzberg , M. Broy, Modeling layered distributed communication systems, Formal Aspects of Computing, v.17 n.1, p.1-18, May 2005 [doi>10.1007/s00165-004-0051-8]
• 14: Gerard J. Holzmann, Design and validation of computer protocols, Prentice-Hall, Inc., Upper Saddle River, NJ, 1990
• 15: Jeff Magee , Jeff Kramer, Concurrency: state models & Java programs, John Wiley & Sons, Inc., New York, NY, 2000
• 16: Alex Martelli, Python in a Nutshell (In a Nutshell (O'Reilly)), O'Reilly Media, Inc., 2006
• 17: A. Meroth and D. Herzberg. An open approach to protocol analysis and simulation for automotive applications. In Embedded World Conference, 2007.
• 18: A. Meroth and B. Tolg. Infotainmentsysteme im Kraftfahrzeug: Grundlagen, Komponenten, Systeme und Anwendungen. Vieweg, Wiesbaden, 2008.
• 19: Angela D. Orebaugh , Gilbert Ramirez, Ethereal Packet Sniffing, Syngress Publishing, 2004
• 20: Alexander Pretschner , Manfred Broy , Ingolf H. Kruger , Thomas Stauner, Software Engineering for Automotive Systems: A Roadmap, 2007 Future of Software Engineering, p.55-71, May 23-25, 2007 [doi>10.1109/FOSE.2007.22]
• 21: Christian Seybold , Silvio Meier , Martin Glinz, Scenario-driven modeling and validation of requirements models, Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools, May 27-27, 2006, Shanghai, China [doi>10.1145/1138953.1138969]
• 22: Ellen Siever , Nathan Patwardhan , Stephen Spainhour, PERL in a Nutshell, O'Reilly & Associates, Inc., Sebastopol, CA, 2002
• 23: Andrew S. Tanenbaum, Computer Networks, Prentice Hall PTR, Upper Saddle River, NJ, 1985
• 24: The Eclipse Foundation. Eclipse IDE. http://www.eclipse.org, 2007.
• 25: Ed Wilson, Network monitoring and analysis: a protocol approach to troubleshooting, Prentice Hall PTR, Upper Saddle River, NJ, 2000

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS
      C.2.2 Network Protocols

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.5 Testing and Debugging

General Terms:
Languages, Verification

Keywords:
automotive systems engineering, protocol analysis, protocol specifications