A Data Flow Monitoring Service Based on Runtime Verification for AUTOSAR.
Sylvain CotardSébastien FaucouJean-Luc BéchennecAudrey QueudetYvon TrinquetPublished in: HPCC-ICESS (2012)
Keyphrases
- data flow
- database machine
- control flow
- symbolic execution
- monitoring system
- object oriented software
- web services
- object oriented
- service providers
- service composition
- service oriented
- data transfer
- digital signal processing
- systolic array
- service quality
- model checking
- management system
- service discovery
- real time
- bottle neck
- software systems
- artificial intelligence