Constraint-driven synthesis and tool-support for FlexRay-based automotive control systems.
Reinhard SchneiderDip GoswamiSohaib ZafarMartin LukasiewyczSamarjit ChakrabortyPublished in: CODES+ISSS (2011)
Keyphrases
- tool support
- safety critical
- control system
- communication protocol
- software tools
- software development
- formal methods
- embedded systems
- software engineering
- design decisions
- software projects
- fault tolerant
- agent architecture
- support systems
- test suite
- real time
- requirements engineering
- database systems
- decision support system
- monitoring system
- development process
- distributed systems
- object oriented
- web services