Design and validation of computer protocols
Design and validation of computer protocols
Network monitoring and analysis: a protocol approach to troubleshooting
Network monitoring and analysis: a protocol approach to troubleshooting
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Computer Networks
PERL in a Nutshell
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
UML Distilled: A Brief Guide to the Standard Object Modeling Language
UML Distilled: A Brief Guide to the Standard Object Modeling Language
Eclipse Modeling Framework
System-Level Analysis of Fault Effects in an Automotive Environment
DFT '03 Proceedings of the 18th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems
Ethereal Packet Sniffing
Modeling layered distributed communication systems
Formal Aspects of Computing
Towards verified automotive software
SEAS '05 Proceedings of the second international workshop on Software engineering for automotive systems
Scenario-driven modeling and validation of requirements models
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Python in a Nutshell (In a Nutshell (O'Reilly))
Python in a Nutshell (In a Nutshell (O'Reilly))
Software Engineering for Automotive Systems: A Roadmap
FOSE '07 2007 Future of Software Engineering
| Hi-index | 0.00 |
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.