An introduction to computational learning theory
An introduction to computational learning theory
Classical and Object-Oriented Software Engineering
Classical and Object-Oriented Software Engineering
Approximation algorithms for grammar-based compression
SODA '02 Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms
Journal of Automata, Languages and Combinatorics - Selected papers of the workshop on logic and algebra for concurrency
Foundations of Sequence-Based Software Specification
IEEE Transactions on Software Engineering
Discoverer: automatic protocol reverse engineering from network traces
SS'07 Proceedings of 16th USENIX Security Symposium on USENIX Security Symposium
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Iterative refinement of specification for component based embedded systems
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Hi-index | 0.00 |
Modern vehicular systems include Electronic Control Units (ECUs) equipped with software that implements vehicle functions. The composition and validation of ECUs is a complex task since they include propriety software in which functional details are often unspecified. These details also vary from one supplier to another which has a greater impact on the behavior of the entire composed system. This paper presents the application of model inference approach for automatic discovery of unspecified behaviors in an electronic door control unit supplied by our industrial partner. The final results can be used to address the problem of selecting quality components, validation and maintenance of component variants and their integration in embedded control systems.